GPCE '23: "Virtual Domain Specific Languages ..."
Virtual Domain Specific Languages via Embedded Projectional Editing
Niklas Korz and Artur Andrzejak
(Alugha, Germany; Heidelberg University, Germany)
@InProceedings{GPCE23p145,
author = {Niklas Korz and Artur Andrzejak},
title = {Virtual Domain Specific Languages via Embedded Projectional Editing},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3624007.3624059},
year = {2023},
}
Publisher's Version
GPCE '23: "A Monadic Framework for Name ..."
A Monadic Framework for Name Resolution in Multi-phased Type Checkers
Casper Bach Poulsen, Aron Zwaan, and Paul Hübner
(Delft University of Technology, Netherlands)
@InProceedings{GPCE23p17,
author = {Casper Bach Poulsen and Aron Zwaan and Paul Hübner},
title = {A Monadic Framework for Name Resolution in Multi-phased Type Checkers},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3624007.3624051},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
GPCE '23: "Automatically Generated Supernodes ..."
Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance
Matteo Basso, Daniele Bonetta, and Walter Binder
(USI, Switzerland; Oracle Labs, Netherlands)
@InProceedings{GPCE23p1,
author = {Matteo Basso and Daniele Bonetta and Walter Binder},
title = {Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3624007.3624050},
year = {2023},
}
Publisher's Version
GPCE '23: "Unleashing the Power of Implicit ..."
Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead
Raul Medeiros, Oscar Díaz, and David Benavides
(University of the Basque Country, San Sebastián, Spain; University of Seville, Seville, Spain)
@InProceedings{GPCE23p129,
author = {Raul Medeiros and Oscar Díaz and David Benavides},
title = {Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {129-128},
doi = {10.1145/3624007.3624058},
year = {2023},
}
Publisher's Version
GPCE '23: "Automatically Generated Supernodes ..."
Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance
Matteo Basso, Daniele Bonetta, and Walter Binder
(USI, Switzerland; Oracle Labs, Netherlands)
@InProceedings{GPCE23p1,
author = {Matteo Basso and Daniele Bonetta and Walter Binder},
title = {Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3624007.3624050},
year = {2023},
}
Publisher's Version
GPCE '23: "Automatically Generated Supernodes ..."
Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance
Matteo Basso, Daniele Bonetta, and Walter Binder
(USI, Switzerland; Oracle Labs, Netherlands)
@InProceedings{GPCE23p1,
author = {Matteo Basso and Daniele Bonetta and Walter Binder},
title = {Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3624007.3624050},
year = {2023},
}
Publisher's Version
GPCE '23: "Partial Evaluation of Automatic ..."
Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers
Oscar Eriksson, Viktor Palmkvist, and David Broman
(KTH Royal Institute of Technology, Sweden; Stanford University, USA)
@InProceedings{GPCE23p65,
author = {Oscar Eriksson and Viktor Palmkvist and David Broman},
title = {Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {65-64},
doi = {10.1145/3624007.3624054},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
GPCE '23: "Generating Constraint Programs ..."
Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach
Camilo Correa Restrepo, Jacques Robin, and Raul Mazo
(University of Paris 1 Pantheon-Sorbonne, Paris, France; ESIEA, Paris, France; ENSTA Bretagne, Brest, France)
@InProceedings{GPCE23p161,
author = {Camilo Correa Restrepo and Jacques Robin and Raul Mazo},
title = {Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3624007.3624060},
year = {2023},
}
Publisher's Version
GPCE '23: "Generating Conforming Programs ..."
Generating Conforming Programs with Xsmith
William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, and Eric Eide
(University of Utah, USA; University of Washington, USA)
@InProceedings{GPCE23p97,
author = {William Gallard Hatch and Pierce Darragh and Sorawee Porncharoenwase and Guy Watson and Eric Eide},
title = {Generating Conforming Programs with Xsmith},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {97-96},
doi = {10.1145/3624007.3624056},
year = {2023},
}
Publisher's Version
GPCE '23: "Unleashing the Power of Implicit ..."
Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead
Raul Medeiros, Oscar Díaz, and David Benavides
(University of the Basque Country, San Sebastián, Spain; University of Seville, Seville, Spain)
@InProceedings{GPCE23p129,
author = {Raul Medeiros and Oscar Díaz and David Benavides},
title = {Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {129-128},
doi = {10.1145/3624007.3624058},
year = {2023},
}
Publisher's Version
GPCE '23: "Generating Conforming Programs ..."
Generating Conforming Programs with Xsmith
William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, and Eric Eide
(University of Utah, USA; University of Washington, USA)
@InProceedings{GPCE23p97,
author = {William Gallard Hatch and Pierce Darragh and Sorawee Porncharoenwase and Guy Watson and Eric Eide},
title = {Generating Conforming Programs with Xsmith},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {97-96},
doi = {10.1145/3624007.3624056},
year = {2023},
}
Publisher's Version
GPCE '23: "Partial Evaluation of Automatic ..."
Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers
Oscar Eriksson, Viktor Palmkvist, and David Broman
(KTH Royal Institute of Technology, Sweden; Stanford University, USA)
@InProceedings{GPCE23p65,
author = {Oscar Eriksson and Viktor Palmkvist and David Broman},
title = {Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {65-64},
doi = {10.1145/3624007.3624054},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
GPCE '23: "Generating Conforming Programs ..."
Generating Conforming Programs with Xsmith
William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, and Eric Eide
(University of Utah, USA; University of Washington, USA)
@InProceedings{GPCE23p97,
author = {William Gallard Hatch and Pierce Darragh and Sorawee Porncharoenwase and Guy Watson and Eric Eide},
title = {Generating Conforming Programs with Xsmith},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {97-96},
doi = {10.1145/3624007.3624056},
year = {2023},
}
Publisher's Version
GPCE '23: "A pred-LL(*) Parsable Typed ..."
A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages
Christoph Hochrainer and Andreas Krall
(TU Wien, Austria)
@InProceedings{GPCE23p33,
author = {Christoph Hochrainer and Andreas Krall},
title = {A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3624007.3624052},
year = {2023},
}
Publisher's Version
GPCE '23: "A Monadic Framework for Name ..."
A Monadic Framework for Name Resolution in Multi-phased Type Checkers
Casper Bach Poulsen, Aron Zwaan, and Paul Hübner
(Delft University of Technology, Netherlands)
@InProceedings{GPCE23p17,
author = {Casper Bach Poulsen and Aron Zwaan and Paul Hübner},
title = {A Monadic Framework for Name Resolution in Multi-phased Type Checkers},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3624007.3624051},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
GPCE '23: "Virtual Domain Specific Languages ..."
Virtual Domain Specific Languages via Embedded Projectional Editing
Niklas Korz and Artur Andrzejak
(Alugha, Germany; Heidelberg University, Germany)
@InProceedings{GPCE23p145,
author = {Niklas Korz and Artur Andrzejak},
title = {Virtual Domain Specific Languages via Embedded Projectional Editing},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3624007.3624059},
year = {2023},
}
Publisher's Version
GPCE '23: "A pred-LL(*) Parsable Typed ..."
A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages
Christoph Hochrainer and Andreas Krall
(TU Wien, Austria)
@InProceedings{GPCE23p33,
author = {Christoph Hochrainer and Andreas Krall},
title = {A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3624007.3624052},
year = {2023},
}
Publisher's Version
GPCE '23: "C2TACO: Lifting Tensor Code ..."
C2TACO: Lifting Tensor Code to TACO
José Wesley de Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
@InProceedings{GPCE23p49,
author = {José Wesley de Souza Magalhães and Jackson Woodruff and Elizabeth Polgreen and Michael F. P. O'Boyle},
title = {C2TACO: Lifting Tensor Code to TACO},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3624007.3624053},
year = {2023},
}
Publisher's Version
GPCE '23: "Generating Constraint Programs ..."
Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach
Camilo Correa Restrepo, Jacques Robin, and Raul Mazo
(University of Paris 1 Pantheon-Sorbonne, Paris, France; ESIEA, Paris, France; ENSTA Bretagne, Brest, France)
@InProceedings{GPCE23p161,
author = {Camilo Correa Restrepo and Jacques Robin and Raul Mazo},
title = {Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3624007.3624060},
year = {2023},
}
Publisher's Version
GPCE '23: "Unleashing the Power of Implicit ..."
Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead
Raul Medeiros, Oscar Díaz, and David Benavides
(University of the Basque Country, San Sebastián, Spain; University of Seville, Seville, Spain)
@InProceedings{GPCE23p129,
author = {Raul Medeiros and Oscar Díaz and David Benavides},
title = {Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {129-128},
doi = {10.1145/3624007.3624058},
year = {2023},
}
Publisher's Version
GPCE '23: "Crossover: Towards Compiler-Enabled ..."
Crossover: Towards Compiler-Enabled COBOL-C Interoperability
Mart van Assen, Manzi Aimé Ntagengerwa, Ömer Faruk Sayilir, and Vadim Zaytsev
(University of Twente, Netherlands)
@InProceedings{GPCE23p81,
author = {Mart van Assen and Manzi Aimé Ntagengerwa and Ömer Faruk Sayilir and Vadim Zaytsev},
title = {Crossover: Towards Compiler-Enabled COBOL-C Interoperability},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3624007.3624055},
year = {2023},
}
Publisher's Version
GPCE '23: "C2TACO: Lifting Tensor Code ..."
C2TACO: Lifting Tensor Code to TACO
José Wesley de Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
@InProceedings{GPCE23p49,
author = {José Wesley de Souza Magalhães and Jackson Woodruff and Elizabeth Polgreen and Michael F. P. O'Boyle},
title = {C2TACO: Lifting Tensor Code to TACO},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3624007.3624053},
year = {2023},
}
Publisher's Version
GPCE '23: "Partial Evaluation of Automatic ..."
Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers
Oscar Eriksson, Viktor Palmkvist, and David Broman
(KTH Royal Institute of Technology, Sweden; Stanford University, USA)
@InProceedings{GPCE23p65,
author = {Oscar Eriksson and Viktor Palmkvist and David Broman},
title = {Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {65-64},
doi = {10.1145/3624007.3624054},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
GPCE '23: "C2TACO: Lifting Tensor Code ..."
C2TACO: Lifting Tensor Code to TACO
José Wesley de Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
@InProceedings{GPCE23p49,
author = {José Wesley de Souza Magalhães and Jackson Woodruff and Elizabeth Polgreen and Michael F. P. O'Boyle},
title = {C2TACO: Lifting Tensor Code to TACO},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3624007.3624053},
year = {2023},
}
Publisher's Version
GPCE '23: "Generating Conforming Programs ..."
Generating Conforming Programs with Xsmith
William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, and Eric Eide
(University of Utah, USA; University of Washington, USA)
@InProceedings{GPCE23p97,
author = {William Gallard Hatch and Pierce Darragh and Sorawee Porncharoenwase and Guy Watson and Eric Eide},
title = {Generating Conforming Programs with Xsmith},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {97-96},
doi = {10.1145/3624007.3624056},
year = {2023},
}
Publisher's Version
GPCE '23: "Generating Constraint Programs ..."
Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach
Camilo Correa Restrepo, Jacques Robin, and Raul Mazo
(University of Paris 1 Pantheon-Sorbonne, Paris, France; ESIEA, Paris, France; ENSTA Bretagne, Brest, France)
@InProceedings{GPCE23p161,
author = {Camilo Correa Restrepo and Jacques Robin and Raul Mazo},
title = {Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3624007.3624060},
year = {2023},
}
Publisher's Version
GPCE '23: "Crossover: Towards Compiler-Enabled ..."
Crossover: Towards Compiler-Enabled COBOL-C Interoperability
Mart van Assen, Manzi Aimé Ntagengerwa, Ömer Faruk Sayilir, and Vadim Zaytsev
(University of Twente, Netherlands)
@InProceedings{GPCE23p81,
author = {Mart van Assen and Manzi Aimé Ntagengerwa and Ömer Faruk Sayilir and Vadim Zaytsev},
title = {Crossover: Towards Compiler-Enabled COBOL-C Interoperability},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3624007.3624055},
year = {2023},
}
Publisher's Version
GPCE '23: "Multi-Stage Vertex-Centric ..."
Multi-Stage Vertex-Centric Programming for Agent-Based Simulations
Zilu Tian
(EPFL, Switzerland)
@InProceedings{GPCE23p113,
author = {Zilu Tian},
title = {Multi-Stage Vertex-Centric Programming for Agent-Based Simulations},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3624007.3624057},
year = {2023},
}
Publisher's Version
GPCE '23: "Crossover: Towards Compiler-Enabled ..."
Crossover: Towards Compiler-Enabled COBOL-C Interoperability
Mart van Assen, Manzi Aimé Ntagengerwa, Ömer Faruk Sayilir, and Vadim Zaytsev
(University of Twente, Netherlands)
@InProceedings{GPCE23p81,
author = {Mart van Assen and Manzi Aimé Ntagengerwa and Ömer Faruk Sayilir and Vadim Zaytsev},
title = {Crossover: Towards Compiler-Enabled COBOL-C Interoperability},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3624007.3624055},
year = {2023},
}
Publisher's Version
GPCE '23: "Generating Conforming Programs ..."
Generating Conforming Programs with Xsmith
William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, and Eric Eide
(University of Utah, USA; University of Washington, USA)
@InProceedings{GPCE23p97,
author = {William Gallard Hatch and Pierce Darragh and Sorawee Porncharoenwase and Guy Watson and Eric Eide},
title = {Generating Conforming Programs with Xsmith},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {97-96},
doi = {10.1145/3624007.3624056},
year = {2023},
}
Publisher's Version
GPCE '23: "C2TACO: Lifting Tensor Code ..."
C2TACO: Lifting Tensor Code to TACO
José Wesley de Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
@InProceedings{GPCE23p49,
author = {José Wesley de Souza Magalhães and Jackson Woodruff and Elizabeth Polgreen and Michael F. P. O'Boyle},
title = {C2TACO: Lifting Tensor Code to TACO},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3624007.3624053},
year = {2023},
}
Publisher's Version
GPCE '23: "Crossover: Towards Compiler-Enabled ..."
Crossover: Towards Compiler-Enabled COBOL-C Interoperability
Mart van Assen, Manzi Aimé Ntagengerwa, Ömer Faruk Sayilir, and Vadim Zaytsev
(University of Twente, Netherlands)
@InProceedings{GPCE23p81,
author = {Mart van Assen and Manzi Aimé Ntagengerwa and Ömer Faruk Sayilir and Vadim Zaytsev},
title = {Crossover: Towards Compiler-Enabled COBOL-C Interoperability},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3624007.3624055},
year = {2023},
}
Publisher's Version
GPCE '23: "A Monadic Framework for Name ..."
A Monadic Framework for Name Resolution in Multi-phased Type Checkers
Casper Bach Poulsen, Aron Zwaan, and Paul Hübner
(Delft University of Technology, Netherlands)
@InProceedings{GPCE23p17,
author = {Casper Bach Poulsen and Aron Zwaan and Paul Hübner},
title = {A Monadic Framework for Name Resolution in Multi-phased Type Checkers},
booktitle = {Proc.\ GPCE},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3624007.3624051},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available