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 ORCID logo, Jaemin Hong ORCID logo, and Sukyoung RyuORCID logo
(KAIST, South Korea)
Publisher's Version
Symbolic Execution of Hadamard-Toffoli Quantum Circuits
Jacques Carette ORCID logo, Gerardo Ortiz ORCID logo, and Amr Sabry ORCID logo
(McMaster University, Canada; Indiana University, USA)
Publisher's Version Published Artifact Artifacts Available
Generating Programs for Polynomial Multiplication with Correctness Assurance
Ryo Tokuda ORCID logo and Yukiyoshi KameyamaORCID logo
(University of Tsukuba, Japan)
Publisher's Version
Efficient Embedding of Strategic Attribute Grammars via Memoization
José Nuno Macedo ORCID logo, Emanuel Rodrigues ORCID logo, Marcos Viera ORCID logo, and João Saraiva ORCID logo
(HASLab - INESC TEC, Portugal; University of Minho, Portugal; Universidad de la República, Uruguay)
Publisher's Version
Towards a Reflection for Effect Handlers
Youyou CongORCID logo and Kenichi Asai ORCID logo
(Tokyo Institute of Technology, Japan; Ochanomizu University, Japan)
Publisher's Version

proc time: 2.18