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
Article: poplws19pepmforeword-fm000-p doi:
Message from the Chairs
Article: poplws19pepmforeword-fm001-p doi:

Papers

A Simpler Lambda Calculus
Barry Jay
(University of Technology Sydney, Australia)
Publisher's Version Article: poplws19pepmmain-p64-p doi:10.1145/3294032.3294085
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 Article: poplws19pepmmain-p8-p doi:10.1145/3294032.3294079
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 Article: poplws19pepmmain-p2-p doi:10.1145/3294032.3294077
Typed Parsing and Unparsing for Untyped Regular Expression Engines
Gabriel Radanne
(University of Freiburg, Germany)
Publisher's Version Article: poplws19pepmmain-p30-p doi:10.1145/3294032.3294082
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 Article: poplws19pepmmain-p13-p doi:10.1145/3294032.3294081
Control Flow Obfuscation via CPS Transformation
Kenny Zhuo Ming Lu
(Nanyang Polytechnic, Singapore)
Publisher's Version Article: poplws19pepmmain-p32-p doi:10.1145/3294032.3294083
Extracting a Call-by-Name Partial Evaluator from a Proof of Termination
Kenichi Asai
(Ochanomizu University, Japan)
Publisher's Version Article: poplws19pepmmain-p51-p doi:10.1145/3294032.3294084
Futures and Promises in Haskell and Scala
Tamino Dauth and Martin Sulzmann
(Karlsruhe University of Applied Sciences, Germany)
Publisher's Version Article: poplws19pepmmain-p9-p doi:10.1145/3294032.3294080
Generating Mutually Recursive Definitions
Jeremy Yallop and Oleg Kiselyov
(University of Cambridge, UK; Tohoku University, Japan)
Publisher's Version Article: poplws19pepmmain-p5-p doi:10.1145/3294032.3294078

proc time: 0.01