This program is tentative and subject to change.

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

While it is a highly flexible and efficient language, C program- ming can be annoying for beginners who have difficultly finding, debugging, or understanding errors — especially those related to memory manipulation. This paper describes an initial phase of Im-C, a project whose goal is to develop a number of related envi- ronments that progress from easy-to-understand ‘C-with-objects’ to a safe environment for both testing and learning to write ‘real’ C programs, bringing more fun to the programming experience. In the current phase an experimental C interpreter has been developed to provide a foundation for real-time validation of C program behavior. The interpreter identifies errors related to memory manipulation, pointer operations and array access, by storing all values as objects containing meta-data, while preserving the semantics expected by C programmers. We validate the effectiveness of our interpreter by comparing its ability to detect a range of both common and obscure errors again

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