PEPM 2023 – Proceedings

2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2023)

Frontmatter

Papers

Semantic Transformation Framework for Rewriting Rules
Jihee Park, Jaemin Hong, and Sukyoung Ryu
(KAIST, South Korea)


@InProceedings{PEPM23p1, author = {Jihee Park and Jaemin Hong and Sukyoung Ryu}, title = {Semantic Transformation Framework for Rewriting Rules}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3571786.3573016}, year = {2023}, } Publisher's Version Article: poplws23pepmmain-p6-p doi:10.1145/3571786.3573016

Symbolic Execution of Hadamard-Toffoli Quantum Circuits
Jacques Carette, Gerardo Ortiz, and Amr Sabry
(McMaster University, Canada; Indiana University, USA)


@InProceedings{PEPM23p18, author = {Jacques Carette and Gerardo Ortiz and Amr Sabry}, title = {Symbolic Execution of Hadamard-Toffoli Quantum Circuits}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {18-17}, doi = {10.1145/3571786.3573018}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: poplws23pepmmain-p9-p doi:10.1145/3571786.3573018

Generating Programs for Polynomial Multiplication with Correctness Assurance
Ryo Tokuda and Yukiyoshi Kameyama
(University of Tsukuba, Japan)


@InProceedings{PEPM23p35, author = {Ryo Tokuda and Yukiyoshi Kameyama}, title = {Generating Programs for Polynomial Multiplication with Correctness Assurance}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {35-34}, doi = {10.1145/3571786.3573017}, year = {2023}, } Publisher's Version Article: poplws23pepmmain-p8-p doi:10.1145/3571786.3573017

Efficient Embedding of Strategic Attribute Grammars via Memoization
José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, and João Saraiva
(HASLab - INESC TEC, Portugal; University of Minho, Portugal; Universidad de la República, Uruguay)


@InProceedings{PEPM23p52, author = {José Nuno Macedo and Emanuel Rodrigues and Marcos Viera and João Saraiva}, title = {Efficient Embedding of Strategic Attribute Grammars via Memoization}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {52-51}, doi = {10.1145/3571786.3573019}, year = {2023}, } Publisher's Version Article: poplws23pepmmain-p10-p doi:10.1145/3571786.3573019

Towards a Reflection for Effect Handlers
Youyou Cong and Kenichi Asai
(Tokyo Institute of Technology, Japan; Ochanomizu University, Japan)


@InProceedings{PEPM23p69, author = {Youyou Cong and Kenichi Asai}, title = {Towards a Reflection for Effect Handlers}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {69-68}, doi = {10.1145/3571786.3573015}, year = {2023}, } Publisher's Version Article: poplws23pepmmain-p3-p doi:10.1145/3571786.3573015

proc time: 0.01