PEPM 2016 – Proceedings

2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2016), January 18–19, 2016, St. Petersburg, FL, USA

Frontmatter

Title Page
Article: pepm16foreword-fm000-p (type: Frontmatter) doi:

Message from the Chairs
Article: pepm16foreword-fm001-p (type: Frontmatter) doi:

Committees
Article: pepm16foreword-fm002-p (type: Frontmatter) doi:

Parsing

Practical, General Parser Combinators
Anastasia Izmaylova, Ali Afroozeh, and Tijs van der Storm
(CWI, Netherlands)
Article: pepm16main-mainid18-p (type: Full Paper (12 pages)) doi:

Operator Precedence for Data-Dependent Grammars
Ali Afroozeh and Anastasia Izmaylova
(CWI, Netherlands)
Article: pepm16main-mainid19-p (type: Full Paper (12 pages)) doi:

Domain-Specific Languages 1

Everything Old Is New Again: Quoted Domain-Specific Languages
Shayan Najd, Sam Lindley, Josef Svenningsson, and Philip Wadler
(University of Edinburgh, UK; Chalmers University of Technology, Sweden)
Article: pepm16main-mainid3-p (type: Full Paper (12 pages)) doi:

Finally, Safely-Extensible and Efficient Language-Integrated Query
Kenichi Suzuki, Oleg Kiselyov, and Yukiyoshi Kameyama
(University of Tsukuba, Japan; Tohoku University, Japan)
Article: pepm16main-mainid14-p (type: Full Paper (12 pages)) doi:

Domain-Specific Languages 2

A Constraint Language for Static Semantic Analysis Based on Scope Graphs
Hendrik van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, and Guido Wachsmuth
(Delft University of Technology, Netherlands; Portland State University, USA)
Article: pepm16main-mainid15-p (type: Full Paper (12 pages)) doi:

BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming
Hsiang-Shang Ko, Tao Zan, and Zhenjiang Hu
(National Institute of Informatics, Japan; Sokendai, Japan)
Article: pepm16main-mainid6-p (type: Full Paper (12 pages)) doi:

Staging

Removing Runtime Overhead for Optimized Object Queries
Jon Brandvein and Yanhong A. Liu
(Stony Brook University, USA)
Article: pepm16main-mainid5-p (type: Full Paper (12 pages)) doi:

Staging Generic Programming
Jeremy Yallop
(University of Cambridge, UK)
Article: pepm16main-mainid21-p (type: Full Paper (12 pages)) doi:

Toward Introducing Binding-Time Analysis to MetaOCaml
Kenichi Asai
(Ochanomizu University, Japan)
Article: pepm16main-mainid8-p (type: Short Paper (6 pages)) doi:

Staging beyond Terms: Prospects and Challenges
Jun Inoue, Oleg Kiselyov, and Yukiyoshi Kameyama
(National Institute of Advanced Industrial Science and Technology, Japan; Tohoku University, Japan; University of Tsukuba, Japan)
Article: pepm16main-mainid13-p (type: Short Paper (6 pages)) doi: