POPL 2019 Co-Located Events
POPL 2019 Co-Located Events
Powered by
Conference Publishing Consulting

2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2019), January 14–15, 2019, Cascais, Portugal

PEPM 2019 – Proceedings

Contents - Abstracts - Authors

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


Title Page
Message from the Chairs


A Simpler Lambda Calculus
Barry Jay
(University of Technology Sydney, Australia)
Article Search
Method Name Suggestion with Hierarchical Attention Networks
Sihan Xu, Sen Zhang, Weijing Wang, Xinya Cao, Chenkai Guo, and Jing Xu
(Nankai University, China)
Article Search
Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking
Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa, and Naoki Kobayashi
(University of Tokyo, Japan)
Article Search
Typed Parsing and Unparsing for Untyped Regular Expression Engines
Gabriel Radanne
(University of Freiburg, Germany)
Article Search Info
Combining Higher-Order Model Checking with Refinement Type Inference
Ryosuke Sato, Naoki Iwayama, and Naoki Kobayashi
(Kyushu University, Japan; University of Tokyo, Japan)
Article Search
Control Flow Obfuscation via CPS Transformation
Kenny Zhuo Ming Lu
(Nanyang Polytechnic, Singapore)
Article Search
Extracting a Call-by-Name Partial Evaluator from a Proof of Termination
Kenichi Asai
(Ochanomizu University, Japan)
Article Search Info
Futures and Promises in Haskell and Scala
Tamino Dauth and Martin Sulzmann
(Karlsruhe University of Applied Sciences, Germany)
Article Search
Generating Mutually Recursive Definitions
Jeremy Yallop and Oleg Kiselyov
(University of Cambridge, UK; Tohoku University, Japan)
Article Search

proc time: 0.58