POPL 2023 Co-Located Events
POPL 2023 Co-Located Events
Powered by
Conference Publishing Consulting
2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2023), January 16-17, 2023, Boston, MA, USA

PEPM 2023 – Proceedings

 Contents - Abstracts - Authors

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

Frontmatter

Title Page
Article: poplws23pepmforeword-fm000-p doi:
Message from the Chairs
Article: poplws23pepmforeword-fm001-p doi:
PEPM 2023 Organization
Article: poplws23pepmforeword-fm002-p doi:

Papers

Semantic Transformation Framework for Rewriting Rules
Jihee Park, Jaemin Hong, and Sukyoung Ryu
(KAIST, South Korea)
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)
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)
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)
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)
Publisher's Version Article: poplws23pepmmain-p3-p doi:10.1145/3571786.3573015

proc time: 0.01