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

meta
09:00 - 10:30: META 2019 - Model and Theory at Room 1A
Chair(s): Guido ChariCzech Technical University
meta09:00 - 09:30
Full-paper
Toni MattisHasso Plattner Institute, University of Potsdam, Patrick ReinHasso Plattner Institute, Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
meta09:30 - 10:00
Full-paper
Adrian Mensing, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology, Casper Bach PoulsenDelft University of Technology
Link to publication Pre-print
meta10:00 - 10:30
Short-paper
Isaac Oscar GarianoVictoria University of Wellington, Marco ServettoVictoria University Wellington, New Zealand
File Attached