POPL 2022 Co-Located Events
POPL 2022 Co-Located Events
Powered by
Conference Publishing Consulting
2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM 2022), January 17-18, 2022, Philadelphia, PA, USA

PEPM 2022 – Proceedings

 Contents - Abstracts - Authors

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

Frontmatter

Title Page
Article: poplws22pepmforeword-fm000-p doi:
Message from the Chairs
Article: poplws22pepmforeword-fm001-p doi:

Papers

Dependent Tagless Final
Nicolas Biri
(Luxembourg Institute of Science and Technology, Luxembourg)
Publisher's Version Article: poplws22pepmmain-p2-p doi:10.1145/3498886.3502201
Semi-automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types
Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, and Chen Gu
(University of St. Andrews, UK; Imperial College London, UK; Inria, France; DGA, France; Hefei University of Technology, China)
Publisher's Version Article: poplws22pepmmain-p5-p doi:10.1145/3498886.3502202

proc time: 0.01