GPCE 2023
who it's for
dsl implementers, programming language researchers, compiler engineers, program analysis researchers, software tooling engineers
topics
conforming program generators; vertex-centric staging with wait; pred-LL(*) macro parsing; monadic phased name resolution; lifting C to TACO tensor-DSL; Xbase Java/JVM expression language; Coccinelle semantic patching; COBOL-C LLVM interoperability; partial evaluation for automatic differentiation; embedded projectional editors via CodeMirror
| title | author | length |
|---|---|---|
| Generating Conforming Programs With Xsmith | William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, Eric Eide | 30m |
Xsmith is a Racket DSL and library that generates conforming programs — syntactically, statically and dynamically valid tests that avoid undefined or… | ||
| Multi-Stage Vertex-Centric Programming for Agent-Based Simulations | Zilu Tian | 19m |
Vertex-centric compute functions are lifted at compile time into a sequence of closures separated by a wait() staging primitive so code for different… | ||
| A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Descriptio... | Christoph Hochrainer, Andreas Krall | 30m |
Pattern-based, syntactically typed macros are integrated into VADL and parsed at compile time by a pred-LL() parser, using record-style syntax types and… | ||
| A Monadic Framework for Name Resolution in Multi-Phased Type Checkers | Casper Bach Poulsen, Aron Zwaan, Paul Hübner | 32m |
Paper builds a monadic interface for phased name resolution that detects and rejects subtle phasing errors by checking whether later-added bindings would… | ||
| C2TACO: Lifting Tensor Code to TACO | Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle | 28m |
C2TACO synthesizes TACO tensor-DSL programs from C by using enumerative program synthesis guided by automatically generated IO examples and static code… | ||
| Most Influential Paper - Xbase: Implementing Domain-Specific Languages ... | Sven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Wilhelm Hasselbring, Michael Hanus | 39m |
The paper claims a reusable expression language that plugs into Xtext so external DSLs get full Xtext IDE support, type checking, code generation and an… | ||
| Most Influential Paper - Don’t Underestimate the Importance of Experime... | Sandro Schulze, Jörg Liebig, Janet Siegmund, Sven Apel | 43m |
A controlled experiment compares 19 students working 90 minutes on four C systems (web server, chart, IRC client, terminal) with refactored versions that… | ||
| Coccinelle: Impact and Internals | Julia Lawall | 01h 14m |
Coccinelle is a pattern-based matcher and transformer for C that turns semantic patches into CTL checks over a per-function control-flow graph and produces… | ||
| Crossover: Towards Compiler-enabled COBOL-C Interoperability | Mart van Assen, Manzi Aimé Ntagengerwa, Ömer Faruk Sayilir, Vadim Zaytsev | 25m |
Crossover compiles BabyCobol and C modules into one executable using LLVM and an explicit foreign-function interface, exposing a C runtime bstd library that… | ||
| Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equati... | Oscar Eriksson, Viktor Palmkvist, David Broman | 29m |
Partial evaluation of forward-mode AD reduces runtime overhead for DAE index reduction and Jacobian generation by producing a low-index residual and a sparse… | ||
| Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-... | Camilo Correa Restrepo, Jacques Robin, Raul Mazo | 31m |
Claims a fully generic, solver-agnostic pipeline that decouples variability modeling languages from solvers by generating CLIF pivot semantics and then… | ||
| Virtual Domain Specific Languages via Embedded Projectional Editing | Niklas Korz, Artur Andrzejak | 28m |
Presents a working hybrid editor that matches AST patterns in Python or JavaScript and renders matched code as live web components, serializing always back to… | ||
| Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits ahe... | Raul Medeiros, Oscar Díaz, David Benavides | 23m |
Proposes a concrete pipeline that defines a feedback specification model, a feedback transformation that injects usage trackers into derived products, and a… | ||
| Automatically Generated Supernodes for AST Interpreters Improve Virtual-machine P... | Matteo Basso, Daniele Bonetta, Walter Binder | 29m |
Generates ahead-of-time generated AST supernodes for GraalVM JavaScript (GraalJS/Truffle), creates a prefix lookup trie of supernode structures, and installs… | ||
| nothing matches | ||