PEPM 2019 – Proceedings

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

Frontmatter

Papers

A Simpler Lambda Calculus
Barry Jay
(University of Technology Sydney, Australia)

Publisher's Version

Method Name Suggestion with Hierarchical Attention Networks
Sihan Xu, Sen Zhang, Weijing Wang, Xinya Cao, Chenkai Guo, and Jing Xu
(Nankai University, China)

Publisher's Version

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)

Publisher's Version

Typed Parsing and Unparsing for Untyped Regular Expression Engines
Gabriel Radanne
(University of Freiburg, Germany)

Publisher's Version Info

Combining Higher-Order Model Checking with Refinement Type Inference
Ryosuke Sato, Naoki Iwayama, and Naoki Kobayashi
(Kyushu University, Japan; University of Tokyo, Japan)

Publisher's Version

Control Flow Obfuscation via CPS Transformation
Kenny Zhuo Ming Lu
(Nanyang Polytechnic, Singapore)

Publisher's Version

Extracting a Call-by-Name Partial Evaluator from a Proof of Termination
Kenichi Asai
(Ochanomizu University, Japan)

Publisher's Version Info

Futures and Promises in Haskell and Scala
Tamino Dauth and Martin Sulzmann
(Karlsruhe University of Applied Sciences, Germany)

Publisher's Version

Generating Mutually Recursive Definitions
Jeremy Yallop and Oleg Kiselyov
(University of Cambridge, UK; Tohoku University, Japan)

Publisher's Version

proc time: 1.31