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)

Frontmatter

Title Page
Message from the Chairs

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: 2.43