POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Tue 16 Jan 2024 11:50 - 12:15 at Haslett Room - Program Inversion & DSLs Chair(s): Youyou Cong

Flowchart languages are traditionally used to study the foundations of partial evaluation. This article presents a systematic and formal development of a method for partial evaluation of a reversible flowchart language. The results confirm that partial evaluation in this unconventional computing paradigm shows effects consistent with traditional partial evaluation. Experiments include specializing a symmetric encryption algorithm and a reversible interpreter for Bennett's reversible Turing machines. A defining feature of reversible languages is their invertibility. This study reports the first experiments composing program inversion and partial evaluation. The presented method is fully implemented. It is potentially of interest because reversible computing has found applications in areas as diverse as low-power computing, debugging, robotics, and quantum-inspired computing.

Tue 16 Jan

Displayed time zone: London change

11:00 - 12:30
Program Inversion & DSLsPEPM at Haslett Room
Chair(s): Youyou Cong Tokyo Institute of Technology
11:00
25m
Talk
Complete Stream Fusion for Software-Defined RadioDistinguished Paper
PEPM
Tomoaki Kobayashi Tohoku University, Oleg Kiselyov Tohoku University
DOI
11:25
25m
Talk
A Case Study in Functional Conversion and Mode Inference in miniKanren
PEPM
Ekaterina Verbitskaia JetBrains Research; Constructor University Bremen, Igor Engel JetBrains Research; Constructor University Bremen, Daniil Berezun JetBrains Research; Constructor University Bremen
DOI
11:50
25m
Talk
Partial Evaluation of Reversible Flowchart Programs
PEPM
Louis Marott Normann University of Copenhagen, Robert Glück University of Copenhagen
DOI
12:15
15m
Talk
Towards a Language-parametric DSL for Refactoring (Short Paper)
PEPM
Casper Bach Poulsen Delft University of Technology, Xulei Liu Delft University of Technology, Luka Miljak Delft University of Technology
File Attached