Ambiguous, Informal, and Unsound: Metaprogramming for Naturalness
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 OctDisplayed time zone: Beirut change
09:00 - 10:30 | |||
09:00 30mFull-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 30mFull-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 30mShort-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 |