PEPM 2017
2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2017)
Powered by
Conference Publishing Consulting

2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2017), January 16–17, 2017, Paris, France

PEPM 2017 – Author Index

Contents - Abstracts - Authors

A B D F H I J K L M N P R S T

Asada, Kazuyuki PEPM '17: "A Functional Reformulation ..."
Berezun, Daniil PEPM '17: "Compiling Untyped Lambda Calculus ..."
Brown, Kevin J. PEPM '17: "Functional Parallels of Sequential ..."
De Wolff, Ivo Gabe PEPM '17: "Refining Types using Type ..."
Fritz, Levin PEPM '17: "Cost versus Precision for ..."
Hage, Jurriaan PEPM '17: "Lightweight Soundness for ..." PEPM '17: "Predicting Resource Consumption ..." PEPM '17: "Refining Types using Type ..." PEPM '17: "Cost versus Precision for ..."
Henglein, Fritz PEPM '17: "PEG Parsing in Less Space ..."
Igarashi, Atsushi PEPM '17: "Verification of Code Generators ..."
Jansen, Jan Martin PEPM '17: "Predicting Resource Consumption ..."
Jones, Neil D. PEPM '17: "Compiling Untyped Lambda Calculus ..."
Katsushima, Tatsuya PEPM '17: "Language-Integrated Query ..."
Kiselyov, Oleg PEPM '17: "Language-Integrated Query ..."
Klinik, Markus PEPM '17: "Predicting Resource Consumption ..."
Kobayashi, Naoki PEPM '17: "Verification of Code Generators ..."
Lawall, Julia PEPM '17: "Interactive Data Representation ..."
Matsuda, Kazutaka PEPM '17: "A Functional Reformulation ..."
Matsushita, Tsubasa PEPM '17: "Detecting Code Clones with ..."
Narasimhan, Krishna PEPM '17: "Interactive Data Representation ..."
Plasmeijer, Rinus PEPM '17: "Predicting Resource Consumption ..."
Rasmussen, Ulrik Terp PEPM '17: "PEG Parsing in Less Space ..."
Reichenbach, Christoph PEPM '17: "Interactive Data Representation ..."
Rompf, Tiark PEPM '17: "Functional Parallels of Sequential ..."
Sasano, Isao PEPM '17: "Detecting Code Clones with ..."
Serrano, Alejandro PEPM '17: "Lightweight Soundness for ..."
Suwa, Takashi PEPM '17: "Verification of Code Generators ..."
Tsukada, Takeshi PEPM '17: "Verification of Code Generators ..."

26 authors

proc time: 3.67