GPCE 2020
who it's for
language designers, domain specific language engineers, programming languages researchers, tooling and developer-experience engineers, software architects, embedded and real-time systems engineers, formal methods and verification engineers
topics
variable usage semantics inference; staged classes with Squid Scala; query reorganization for SQL; feature-oriented correctness by construction; executable norms DSL eFLINT; variability injection for graphical DSLs; declarative GUI transformation rules; application-level packet filtering DSL; generative scheduling for real-time systems; metaprogramming with dependent types; probabilistic synthesis of black-box components; artifact evaluation and virtual conference workflows
| title | author | length |
|---|---|---|
| VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics | Yin Liu, Eli Tilevich | 16m |
VarSem is a DSL that declaratively encodes variable-usage semantics and automatically infers likelihoods by combining textual NLP with data/control-flow… | ||
| Multi-stage Programming in the Large with Staged Classes | Lionel Parreaux, Amir Shaikhha | 14m |
Introduces staged classes implemented in the Squid Scala framework to generate class and module definitions with static typing and scope guarantees, producing… | ||
| Reorganizing Queries with Grouping | Rui Okura, Yukiyoshi Kameyama | 15m |
An implementation of Quelg produces SQL via an IR with select and gselect primitives and a new reorganization algorithm that rewrites nested grouping to reduce… | ||
| Correctness-by-Construction for Feature-Oriented Software Product Lines | Tabea Bordis | 15m |
Claims a construction method that computes relevant feature sequences for both original and variational method calls, defines CBC refinement rules for them… | ||
| eFLINT: A Domain-Specific Language for Executable Norm Specifications | L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, Tom van Engers | 14m |
eFLINT is a DSL that claims to make legal norms executable and assessable: the paper presents a working Haskell implementation with a REPL, a TCP server and a… | ||
| Automated Variability Injection for Graphical Modelling Languages | Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, Juan de Lara | 15m |
Automates injecting feature-based variability into graphical DSLs and produces ready-to-use editors and product models. Implements Verso Eclipse plug-in that… | ||
| Manipulating GUI Structures Declaratively | Knut Anders Stokke, Mikhail Barash, Jaakko Järvi | 15m |
A DSL models GUI components, relations like precedes, and transformation rules that generate JavaScript transformation functions which unestablish and… | ||
| A Domain-Specific Language for Filtering in Application-Level Gateways | Hampus Balldin, Christoph Reichenbach | 15m |
A compact declarative DSL implements application-level packet filters, automatically synthesizes a validator and filter, and uses static verification via an… | ||
| PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definit | Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, Clemens Grelck | 13m |
PReGO is a generative methodology that turns a legacy search-and-rescue app on an Apalis TK1 into a schedulable system for a fixed‑wing drone by producing… | ||
| Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types | Shadaj Laddad, Koushik Sen | 14m |
Fluid Quotes uses dependent types to carry serialized code through the type system so macros can serialize AST in string literal types and later spliceCall at… | ||
| Modeling Black-Box Components with Probabilistic Synthesis | Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle | 17m |
Presyn builds executable models of opaque library functions by composing a library of 11 fragment families, scoring fragments with a probabilistic fragment… | ||
| GPCE/SLE Opening | Juan de Lara | 40m |
Virtual GPCE/SLE runs as a mirrored, fully virtual program with sessions repeated 12 hours later and each paper delivered as a pre-recorded talk + live Q&A (5… | ||
| nothing matches | ||