Powered by
2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2024), January 16, 2024,
London, UK
2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2024)
Frontmatter
Title Page
Article: poplws24pepmforeword-fm000-p (type: Frontmatter) doi:
Invited Contributions
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)
Peter Sestoft and
Harald Søndergaard
(IT University of Copenhagen, Denmark; University of Melbourne, Australia)
@InProceedings{PEPM24p1,
author = {Peter Sestoft and Harald Søndergaard},
title = {The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3635800.3637445},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id13-p (type: Invited Talk) doi:10.1145/3635800.3637445
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
Alberto Pettorossi,
Maurizio Proietti,
Fabio Fioravanti, and
Emanuele De Angelis
(University of Rome Tor Vergata, Italy; IASI-CNR, Italy; University of Chieti-Pescara, Italy)
@InProceedings{PEPM24p71,
author = {Alberto Pettorossi and Maurizio Proietti and Fabio Fioravanti and Emanuele De Angelis},
title = {A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3635800.3637446},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id14-p (type: Invited Talk) doi:10.1145/3635800.3637446
 |  Corrigendum: Corrigendum to "A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)" by Pettorossi et al., Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM '24). |
Papers
Complete Stream Fusion for Software-Defined Radio
Tomoaki Kobayashi and
Oleg Kiselyov
(Tohoku University, Japan)
@InProceedings{PEPM24p176,
author = {Tomoaki Kobayashi and Oleg Kiselyov},
title = {Complete Stream Fusion for Software-Defined Radio},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {176-175},
doi = {10.1145/3635800.3636962},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id4-p (type: Full Paper (12 pages, appendices and references excluded)) doi:10.1145/3635800.3636962
Productivity Verification for Functional Programs by Reduction to Termination Verification
Ren Fukaishi,
Naoki Kobayashi, and
Ryosuke Sato
(University of Tokyo, Japan)
@InProceedings{PEPM24p211,
author = {Ren Fukaishi and Naoki Kobayashi and Ryosuke Sato},
title = {Productivity Verification for Functional Programs by Reduction to Termination Verification},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {211-210},
doi = {10.1145/3635800.3636963},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id6-p (type: Full Paper (12 pages, appendices and references excluded)) doi:10.1145/3635800.3636963
Scoped and Typed Staging by Evaluation
Guillaume Allais
(University of Strathclyde, UK)
@InProceedings{PEPM24p246,
author = {Guillaume Allais},
title = {Scoped and Typed Staging by Evaluation},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {246-245},
doi = {10.1145/3635800.3636964},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id7-p (type: Full Paper (12 pages, appendices and references excluded)) doi:10.1145/3635800.3636964
Ownership Types for Verification of Programs with Pointer Arithmetic
Izumi Tanaka,
Ken Sakayori, and
Naoki Kobayashi
(University of Tokyo, Japan)
@InProceedings{PEPM24p281,
author = {Izumi Tanaka and Ken Sakayori and Naoki Kobayashi},
title = {Ownership Types for Verification of Programs with Pointer Arithmetic},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {281-280},
doi = {10.1145/3635800.3636965},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id5-p (type: Full Paper (12 pages, appendices and references excluded)) doi:10.1145/3635800.3636965
A Case Study in Functional Conversion and Mode Inference in miniKanren
Ekaterina Verbitskaia,
Igor Engel, and
Daniil Berezun
(JetBrains Research, Serbia; Constructor University Bremen, Germany; JetBrains Research, Germany; JetBrains Research, Netherlands)
@InProceedings{PEPM24p316,
author = {Ekaterina Verbitskaia and Igor Engel and Daniil Berezun},
title = {A Case Study in Functional Conversion and Mode Inference in miniKanren},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {316-315},
doi = {10.1145/3635800.3636966},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id9-p (type: Full Paper (12 pages, appendices and references excluded)) doi:10.1145/3635800.3636966
Partial Evaluation of Reversible Flowchart Programs
Louis Marott Normann and
Robert Glück
(University of Copenhagen, Denmark)
@InProceedings{PEPM24p351,
author = {Louis Marott Normann and Robert Glück},
title = {Partial Evaluation of Reversible Flowchart Programs},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {351-350},
doi = {10.1145/3635800.3636967},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id12-p (type: Full Paper (13 pages, appendices and references excluded)) doi:10.1145/3635800.3636967
An Intrinsically Typed Compiler for Algebraic Effect Handlers
Syouki Tsuyama,
Youyou Cong, and
Hidehiko Masuhara
(Tokyo Institute of Technology, Japan)
@InProceedings{PEPM24p386,
author = {Syouki Tsuyama and Youyou Cong and Hidehiko Masuhara},
title = {An Intrinsically Typed Compiler for Algebraic Effect Handlers},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {386-385},
doi = {10.1145/3635800.3636968},
year = {2024},
}
Publisher's Version
Article: poplws24pepmmain-id2-p (type: Full Paper (12 pages, appendices and references excluded)) doi:10.1145/3635800.3636968
proc time: 0.03