POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Tue 16 Jan 2024 12:15 - 12:30 at Haslett Room - Program Inversion & DSLs Chair(s): Youyou Cong
Towards a Language-parametric DSL for Refactoring (Short Paper) (pepm 2024 Pretzel.pdf)500KiB

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