Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Sun 20 Oct 2019 09:00 - 09:30 at Room 1A - Model and Theory Chair(s): Guido Chari

Program code needs to be understood by both machines and programmers. While the goal of executing programs requires the unambiguity of a formal language, programmers use natural language within these formal constraints to explain implemented concepts to each other. This so called naturalness – the property of programs to resemble human communication – gave rise to statistical and machine learning (ML) approaches in software engineering.

The metaprogramming facilities of most programming environments model the formal elements of a program (meta-objects). If ML is used to support engineering tasks, complex infrastructure needs to bridge the gap between meta-objects and ML models, changes are not reflected in the ML model, and the mapping from an ML output back into the program’s meta-object domain is laborious.

In the scope of this work, we propose to extend metaprogramming facilities to give tool developers access to the representations of program elements within an exchangeable ML model. We demonstrate the usefulness of this abstraction in two case studies on test prioritization and refactoring. We conclude that aligning ML representations with the program’s formal structure lowers the entry barrier to exploit statistical properties in tool development.

Sun 20 Oct

Displayed time zone: Beirut change

09:00 - 10:30
Model and TheoryMETA at Room 1A
Chair(s): Guido Chari Czech Technical University
09:00
30m
Full-paper
Ambiguous, Informal, and Unsound: Metaprogramming for Naturalness
META
Toni Mattis Hasso Plattner Institute, University of Potsdam, Patrick Rein Hasso Plattner Institute, Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany
09:30
30m
Full-paper
From Definitional Interpreter To Symbolic Executor
META
Adrian Mensing , Hendrik van Antwerpen TU Delft, Eelco Visser Delft University of Technology, Casper Bach Poulsen Delft University of Technology
Link to publication Pre-print
10:00
30m
Short-paper
Mμl: The Power of Dynamic Multi-Methods
META
Isaac Oscar Gariano Victoria University of Wellington, Marco Servetto Victoria University Wellington, New Zealand
File Attached