‹Programming› 2026
Mon 16 - Fri 20 March 2026 Munich, Germany
Thu 19 Mar 2026 11:15 - 12:00 at Lecture Hall - Programming tools Chair(s): Gordana Rakić

Also in programming, better tools often yield better results. For that, modern programming environments offer mechanisms to allow for their extensibility. The closer those tools are to the code, the easier it is for programmers to map the information provided by a tool to the code this information is about. However, existing extension mechanisms do not facilitate the close integration of tools with textual source code. Tools must be able to track program structures across edits to appear at the right positions but the parsing step of text complicates tracking structures. We propose hybrid structured editing, an approach that supports tool builders by providing structural guarantees while providing tool users with a familiar and consistent text editing interface. Hybrid structured editing allows tool builders to declare constraints on the structure that a program must conform to and ensures their observance. We present an implementation and several case studies of tools based on hybrid structured editing to demonstrate its effectiveness. Hybrid structured editing supports the safe extension of programming environments with tools that work on a structured representation of code and provide a consistent and reliable user experience.

Thu 19 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
Programming toolsResearch Papers at Lecture Hall
Chair(s): Gordana Rakić University of Novi Sad
10:30
45m
Talk
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
Research Papers
Andreas Pointner University of Applied Sciences Upper Austria, Hagenberg, Austria, Josef Pichler University of Applied Sciences Upper Austria, Herbert Prähofer Johannes Kepler University Linz
DOI
11:15
45m
Talk
Hybrid Structured Editing: Structures for Tools, Text for Users
Research Papers
Tom Beckmann Hasso Plattner Institute, Christoph Thiede Hasso Plattner Institute, University of Potsdam, Germany, Jens Lincke Hasso Plattner Institute; University of Potsdam, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam
DOI