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
Message from the Chairs
PEPM 2023 Organization

Papers

Semantic Transformation Framework for Rewriting Rules
Jihee Park, Jaemin Hong, and Sukyoung Ryu
(KAIST, South Korea)
Publisher's Version
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
Generating Programs for Polynomial Multiplication with Correctness Assurance
Ryo Tokuda and Yukiyoshi Kameyama
(University of Tsukuba, Japan)
Publisher's Version
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
Towards a Reflection for Effect Handlers
Youyou Cong and Kenichi Asai
(Tokyo Institute of Technology, Japan; Ochanomizu University, Japan)
Publisher's Version

proc time: 0.6