GPCE 2024
who it's for
language designers, compiler engineers, dsl developers, tooling engineers, runtime engineers, data-platform engineers, software-architecture engineers
topics
polymorphic subtype inference; context-dependent name resolution; scope-safe metaprogramming; Scala 3 type class derivation; hot call-chain inlining for GHC; algebraic effects with handlers; LMS HDFS data specialization; model-level DSL self-extension; shallow-to-deep EDSL translation; feature-oriented code quality; automated generation of JML contracts
| title | author | length |
|---|---|---|
| GPCE24 Closing | Thomas Thüm, Shigeru Chiba | 03m |
Conference announcement: Gypsy moves to ECU, ending its collocation with SPLASH and instead running alongside the European PL conference. The next edition… | ||
| Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper) | Cunyuan Gao, Lionel Parreaux | 21m |
A new type system statically tracks code-fragment context requirements by combining Boolean-algebraic subtyping (union/intersection/negation types to encode… | ||
| On the Soundness of Auto-Completion Services for Dynamically Typed Languages | Damian Frölich, L. Thomas van Binsbergen | 28m |
Claims a name-sound auto-complete for dynamic languages by combining abstract interpretation with annotated scope graphs and a context-dependent name… | ||
| Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of(…) | Amir Shaikhha | 35m |
Proposes a concrete design pattern that replaces repetitive traversal code with a type class with children and rebuild interface so each AST node exposes its… | ||
| Hot Call-Chain Inlining for the Glasgow Haskell Compiler | Celeste Hollenbeck, Michael F. P. O'Boyle | 26m |
Proposes a profile-directed hot call-chain inlining pass for GHC that extracts call chains from the AST, marks functions with INLINE/INLINABLE pragmas during… | ||
| Type-Safe Code Generation With Algebraic Effects and Handlers | Kanaru Isoda, Ayato Yokoyama, Yukiyoshi Kameyama | 22m |
A two-stage calculus with algebraic effects and deep handlers enforces that well-typed generators never produce scope-extruding code and supports multi-level… | ||
| Specializing Data Access in a Distributed File System (Generative Pearl) | Pratyush Das, Anxhelo Xhebraj, Tiark Rompf | 22m |
DDLoader embeds HDFS partitioning and distribution into generated programs using LMS, fusing data-access and computation so code knows exact block paths at… | ||
| Applying Self-Extension Mechanism to DSLs for Establishing Model Libraries | Arkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe | 29m |
Proposes a model-level self-extension for DSLs that lets modelers define reusable components, import them, and generate HTML, CSS and TypeScript without… | ||
| Yin-Yang: Concealing the Deep Embedding of DSLs (Most Influential Paper) | Vojin Jovanovic, Amir Shaikhha, Sandro Stucki, Vladimir Nikolaev, Christoph E. Koch, Martin Odersky | 30m |
Framework automatically translates user-friendly shallow EDSL programs to fast deep EDSLs using Scala macros and a type-translation scheme that guarantees… | ||
| An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis | Karim Ghallab, Tewfik Ziadi, Zaak Chalal | 30m |
Presents a concrete pipeline that maps static analysis issues to features using InsightMapper and feature-location output from Mobioos Forge, with SonarQube as… | ||
| Automated Generation of Code Contracts - Generative AI to the Rescue? | Sandra Greiner, Noah Bühlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, Timo Kehrer | 30m |
Fine-tuned CodeT5+ on a dataset of ~14k Java methods with JML annotations and an original crawl of ~40k methods, the system inputs a single method (300–400… | ||
| nothing matches | ||