This program is tentative and subject to change.

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

Renkon-pad is a live programming environment based on an Functional Reactive Programming language called Renkon. In Renkon-pad, the user creates text boxes to write reactive expressions. The user can also create any number of ``runner'' windows (separate execution environments) to run the program. The user can modify the program and update a running runner or create a new one to experiment quickly.

The FRP-based model of the Renkon language is conducive to a boxes-and-wires dataflow diagram. However, Renkon-pad does not employ a typical box-and-wire visual representation. The dependency relationships are expressed in the code as text rather than by connecting boxes with wires. Additionally, a text box can contain any number of expressions. This design helps scale the size of a program that the user can handle in the environment. In other words, the programmer has greater flexibility in organizing their program in logically meaningful way. The system analyzes the dependencies among expressions and draws lines as a visualization of the program to aid comprehension.

Renkon-pad is powerful enough to create and live-edit non-trivial applications, including itself. Text box and runner window management, user interaction, generation of virtual DOM elements and their rendering, the file save and load feature, and dependency visualization are implemented in about 700 lines of Renkon and CSS definitions.

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
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
14:37
22m
Paper
PShapeTrace: Linking Drawing Instructions with Visual Outcomes in Processing
PX/25
Takashi Ishio Future University Hakodate, Yuta Yamasaki Future University Hakodate