PEPM 2017- Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Full Citation in the ACM Digital Library

SESSION: Invited Paper

Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper)

• Daniil Berezun
• Neil D. Jones

SESSION: Programming Languages

Detecting code clones with gaps by function applications

• Tsubasa Matsushita
• Isao Sasano

Lightweight soundness for towers of language extensions

• Alejandro Serrano
• Jurriaan Hage

PEG parsing in less space using progressive tabling and dynamic analysis

• Fritz Henglein
• Ulrik Terp Rasmussen

SESSION: Transformation

Interactive data representation migration: exploiting program dependence to aid program transformation

• Krishna Narasimhan
• Christoph Reichenbach
• Julia Lawall

Verification of code generators via higher-order model checking

• Takashi Suwa
• Takeshi Tsukada
• Naoki Kobayashi
• Atsushi Igarashi

A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction

• Kazutaka Matsuda
• Kazuyuki Asada

Functional parallels of sequential imperatives (short paper)

• Tiark Rompf
• Kevin J. Brown

SESSION: Types

Cost versus precision for approximate typing for Python

• Levin Fritz
• Jurriaan Hage

Predicting resource consumption of higher-order workflows

• Markus Klinik
• Jurriaan Hage
• Jan Martin Jansen
• Rinus Plasmeijer

Refining types using type guards in TypeScript

• Ivo Gabe de Wolff
• Jurriaan Hage

SESSION: Poster

Language-integrated query with ordering, grouping and outer joins (poster paper)

• Tatsuya Katsushima
• Oleg Kiselyov