PEPM 2020 – Proceedings

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

Frontmatter

Research Papers

Module Generation without Regret
Yuhi Sato, Yukiyoshi Kameyama, and Takahisa Watanabe
(University of Tsukuba, Japan)

Publisher's Version Article: poplws20pepmmain-p5-p (type: Full Paper (12 pages + references)) doi:10.1145/3372884.3373160

Symbolic Bisimulation for Open and Parameterized Systems
Zechen Hou and Eric Madelaine
(East China Normal University, China; Inria, France)

Publisher's Version Article: poplws20pepmmain-p7-p (type: Full Paper (12 pages + references)) doi:10.1145/3372884.3373161

: Video Presentation

High-Fidelity Metaprogramming with Separator Syntax Trees
Rodin T. A. Aarssen and Tijs van der Storm
(CWI, Netherlands; Eindhoven University of Technology, Netherlands; University of Groningen, Netherlands)

Publisher's Version Article: poplws20pepmmain-p8-p (type: Full Paper (12 pages + references)) doi:10.1145/3372884.3373162

: Video Presentation

Short Papers

An Approach to Generate Text-Based IDEs for Syntax Completion Based on Syntax Specification
Isao Sasano
(Shibaura Institute of Technology, Japan)

Publisher's Version Article: poplws20pepmmain-p2-p (type: Full Paper (Short paper: 6 pages + references)) doi:10.1145/3372884.3373158

: Video Presentation

GOOL: A Generic Object-Oriented Language
Jacques Carette, Brooks MacLachlan, and Spencer Smith
(McMaster University, Canada)

Publisher's Version Article: poplws20pepmmain-p4-p (type: Full Paper (Short paper: 6 pages + references)) doi:10.1145/3372884.3373159

: Video Presentation

proc time: 0.01