GPCE 2022
who it's for
programming language researchers, compiler engineers, domain specific language engineers, software architects, verification engineers, tooling and automation developers, embedded and IoT developers
topics
verifying compiler trade-offs; delimited control type system; temporal language-integrated query; SQL-to-Java-Stream compilation; incremental Datalog encoding; grammar-guided genetic programming frontend; fusion for nested recursion; composable sequence macros; model-driven IoT app stores; refactorability annotation processor; view-based model consistency preservation; generative self-play game toolchain
| title | author | length |
|---|---|---|
| Language Design meets Verifying Compilers | David J. Pearce | 01h 02m |
Compares two real verifying-compiler languages and shows concrete trade-offs: Dafny+Boogie+Z3 lets the verifier replace typing (flow typing, interpreted vs… | ||
| Type System for Four Delimited Control Operators | Chiaki Ishio, Kenichi Asai | 19m |
Presents a monomorphic type system that covers the four delimited control operators shift, control, shift0 and control0 by deriving types from a CPS… | ||
| Language-Integrated Query for Temporal Data | Simon Fowler, Vashti Galpin, James Cheney | 23m |
Extends language-integrated query so temporal operations for TLINQ (transaction time) and VLINQ (valid time) are rewritten into plain LINQ with provably… | ||
| SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream API | Filippo Schiavio, Andrea Rosà, Walter Binder | 24m |
S2S automatically compiles SQL query plans into Java Stream pipelines by reading tables via JDBC (SQLite supported), visiting planner nodes and emitting Stream… | ||
| PC Chair's Report | Yukiyoshi Kameyama | 05m |
Conference runs a double-blind review with reviewers barred from seeing author names, about two weeks of discussion, and 32 submissions this year of which 15… | ||
| Incremental Processing of Structured Data in Datalog | André Pacak, Tamás Szabó, Sebastian Erdweg | 15m |
Proposes a relational encoding that makes small edits to trees and lists produce small changes to Datalog inputs, claims up to 10,000x incremental speedups on… | ||
| Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming | Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, Alcides Fonseca | 19m |
Proposes encoding grammars as an internal DSL in the host language (Python), uses the host type system for autocomplete, linting and type checks, and… | ||
| Deep Fusion for Efficient Nested Recursive Computations | Amir Shaikhha | 23m |
The compiler turns high-level functional programs over lists, sets, bags and maps into imperative code that removes intermediate collections in three steps… | ||
| Composable Sequence Macros for Fast Iteration | Anna Bolotina, Ryan Culpepper | 17m |
Racket gets a library of fast-sequence map/fast-sequence filter and a generalized do-sequence comprehension that builds by manipulating compile-time expanded… | ||
| Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices | Arvid Butting, Jörg Christian Kirchhof, Anno Kleiss, Judith Michael, Radoslav Orlov, Bernhard Rumpe | 25m |
A model-driven app store maps OCL constraints on components to device object diagrams of a provided hardware ontology, generates facts and rules as Prolog rule… | ||
| Language Support for Refactorability Decay Prevention | David H. Lorenz, Dov Fraivert | 19m |
Paper argues that refactoring is split into small steps and introduces lightweight annotations plus an annotation processor that enforces properties so later… | ||
| Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems | Sofia Ananieva, Thomas Kühn, Ralf Reussner | 17m |
Proposes a Vitruvius-based prototype that unifies variability in space and time and adds view-based automated consistency-preservation rules, implemented and… | ||
| A Modern C++ Point of View of Programming in Image Processing | Michaël Roynard, Edwin Carlinet, Thierry Géraud | 23m |
Claims a C++20 library that implements image views (ranges-like, lazy, composable views including a zip view and transforms) so pixel-wise code is written at… | ||
| The Cost of Dynamism in Static Languages for Image Processing | Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna | 19m |
Paper evaluates a model that couples static genericity with a dynamic layer based on type erasure, implementing images as either templated buffers or… | ||
| A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players | Evgeny Kusmenko, Maximilian Münker, Matthias Nadenau, Bernhard Rumpe | 16m |
A model-driven toolchain generates an executable interpreter from a game description language (Stanford GDL-based with extensions for random events, hidden… | ||
| Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing | Miguel Campusano, Ulrik Pagh Schultz Lundquist | 17m |
Proposes using a dynamic forward slice to generate a new DOTS program at runtime so the existing planner is reused instead of restarting missions; implemented… | ||
| nothing matches | ||