This program is tentative and subject to change.

Mon 2 Jun 2025 14:37 - 15:00 at S 8 - PX/25 – 3

Programming requires understanding, using, and changing abstract source code and other rep- resentations of programs. Concrete examples demonstrate a particular instance of their abstract behavior. Hence, they play an important role in program comprehension, specification, and testing of requirements. Authoring examples entails a range of – often implicit – decisions about the content and presentation of the example.

In this work, we attempt to structure this decision space by describing a set of dimensions that characterize examples in programming. As the manual effort of creating examples is increasingly automated, e.g., through the use of generative AI, we expect this catalog of dimensions to help users and tool developers parametrize, guide, and evaluate the generation of examples in terms of the vocabulary we present here.

This program is tentative and subject to change.

Mon 2 Jun

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

13:30 - 15:00
PX/25 – 3PX/25 at S 8
13:30
22m
Paper
Renkon-pad: A Live and Self-Sustaining Programming Environment based on Functional Reactive Programming
PX/25
Yoshiki Ohshima Independent Contractor, Shizuoka University, Adam Bouhenguel Jemar Industries, Matthew Good Independent
13:52
22m
Paper
Im-C — a memory-safe C interpreter providing a better learning, testing, and debugging experience
PX/25
Masaki Kunii Kyoto University of Advanced Science, Ian Piumarta Kyoto University of Advanced Science
14:15
22m
Talk
Scrappy: Make Little Apps for Just You and Your Friends [Talk]
PX/25
John Chang Independent, Pontus Granström Independent
14:37
22m
Paper
Dimensions of Examples: Toward a Framework for Qualifying Examples in Programming
PX/25
Toni Mattis University of Potsdam; Hasso Plattner Institute, Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany, Stefan Ramson Hasso Plattner Institute, Germany, Tom Beckmann Hasso Plattner Institute, Martin C. Rinard Massachusetts Institute of Technology, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam