Powered by
2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2020), January 20, 2020,
New Orleans, LA, USA
2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2020)
Frontmatter
Title Page
Article: poplws20pepmforeword-fm000-p (type: Frontmatter) doi:
Research Papers
Module Generation without Regret
Yuhi Sato,
Yukiyoshi Kameyama, and
Takahisa Watanabe
(University of Tsukuba, Japan)
@InProceedings{PEPM20p1,
author = {Yuhi Sato and Yukiyoshi Kameyama and Takahisa Watanabe},
title = {Module Generation without Regret},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3372884.3373160},
year = {2020},
}
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)
@InProceedings{PEPM20p18,
author = {Zechen Hou and Eric Madelaine},
title = {Symbolic Bisimulation for Open and Parameterized Systems},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3372884.3373161},
year = {2020},
}
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)
@InProceedings{PEPM20p35,
author = {Rodin T. A. Aarssen and Tijs van der Storm},
title = {High-Fidelity Metaprogramming with Separator Syntax Trees},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3372884.3373162},
year = {2020},
}
Publisher's Version
Article: poplws20pepmmain-p8-p (type: Full Paper (12 pages + references)) doi:10.1145/3372884.3373162
 | : Video Presentation |
Short Papers
GOOL: A Generic Object-Oriented Language
Jacques Carette,
Brooks MacLachlan, and
Spencer Smith
(McMaster University, Canada)
@InProceedings{PEPM20p62,
author = {Jacques Carette and Brooks MacLachlan and Spencer Smith},
title = {GOOL: A Generic Object-Oriented Language},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {62-61},
doi = {10.1145/3372884.3373159},
year = {2020},
}
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.02