PEPM 2017 – Proceedings

Frontmatter

Invited Paper

Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Paper)
Daniil Berezun and Neil D. Jones
(JetBrains, Russia; St. Petersburg State University, Russia; University of Copenhagen, Denmark)


@InProceedings{PEPM17p1, author = {Daniil Berezun and Neil D. Jones}, title = {Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Paper)}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, }

Programming Languages

Detecting Code Clones with Gaps by Function Applications
Tsubasa Matsushita and Isao Sasano
(Shibaura Institute of Technology, Japan)


@InProceedings{PEPM17p13, author = {Tsubasa Matsushita and Isao Sasano}, title = {Detecting Code Clones with Gaps by Function Applications}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, }

Lightweight Soundness for Towers of Language Extensions
Alejandro Serrano and Jurriaan Hage
(Utrecht University, Netherlands)


@InProceedings{PEPM17p25, author = {Alejandro Serrano and Jurriaan Hage}, title = {Lightweight Soundness for Towers of Language Extensions}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, }

PEG Parsing in Less Space using Progressive Tabling and Dynamic Analysis
Fritz Henglein and Ulrik Terp Rasmussen
(University of Copenhagen, Denmark)


@InProceedings{PEPM17p37, author = {Fritz Henglein and Ulrik Terp Rasmussen}, title = {PEG Parsing in Less Space using Progressive Tabling and Dynamic Analysis}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, }

Transformation

Interactive Data Representation Migration: Exploiting Program Dependence to Aid Program Transformation
Krishna Narasimhan, Christoph Reichenbach, and Julia Lawall
(Goethe University Frankfurt, Germany; R² Software & Systeme, Germany; Sorbonne, France; UPMC, France; Inria, France; LIP6, France)


@InProceedings{PEPM17p49, author = {Krishna Narasimhan and Christoph Reichenbach and Julia Lawall}, title = {Interactive Data Representation Migration: Exploiting Program Dependence to Aid Program Transformation}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2017}, }

Verification of Code Generators via Higher-Order Model Checking
Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, and Atsushi Igarashi
(University of Tokyo, Japan; Kyoto University, Japan)


@InProceedings{PEPM17p61, author = {Takashi Suwa and Takeshi Tsukada and Naoki Kobayashi and Atsushi Igarashi}, title = {Verification of Code Generators via Higher-Order Model Checking}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2017}, }

A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction
Kazutaka Matsuda and Kazuyuki Asada
(Tohoku University, Japan; University of Tokyo, Japan)


@InProceedings{PEPM17p73, author = {Kazutaka Matsuda and Kazuyuki Asada}, title = {A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2017}, }

Functional Parallels of Sequential Imperatives (Short Paper)
Tiark Rompf and Kevin J. Brown
(Purdue University, USA; Stanford University, USA)


@InProceedings{PEPM17p85, author = {Tiark Rompf and Kevin J. Brown}, title = {Functional Parallels of Sequential Imperatives (Short Paper)}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {85-84}, doi = {}, year = {2017}, }

Types

Cost versus Precision for Approximate Typing for Python
Levin Fritz and Jurriaan Hage
(Utrecht University, Netherlands)


@InProceedings{PEPM17p91, author = {Levin Fritz and Jurriaan Hage}, title = {Cost versus Precision for Approximate Typing for Python}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {91-90}, doi = {}, year = {2017}, }

Predicting Resource Consumption of Higher-Order Workflows
Markus Klinik, Jurriaan Hage, Jan Martin Jansen, and Rinus Plasmeijer
(Radboud University Nijmegen, Netherlands; Utrecht University, Netherlands; Netherlands Defence Academy, Netherlands)


@InProceedings{PEPM17p103, author = {Markus Klinik and Jurriaan Hage and Jan Martin Jansen and Rinus Plasmeijer}, title = {Predicting Resource Consumption of Higher-Order Workflows}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {103-102}, doi = {}, year = {2017}, }

Refining Types using Type Guards in TypeScript
Ivo Gabe de Wolff and Jurriaan Hage
(Utrecht University, Netherlands)


@InProceedings{PEPM17p115, author = {Ivo Gabe de Wolff and Jurriaan Hage}, title = {Refining Types using Type Guards in TypeScript}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {115-114}, doi = {}, year = {2017}, }

Poster

Language-Integrated Query with Ordering, Grouping and Outer Joins (Poster Paper)
Tatsuya Katsushima and Oleg Kiselyov
(Tohoku University, Japan)


@InProceedings{PEPM17p127, author = {Tatsuya Katsushima and Oleg Kiselyov}, title = {Language-Integrated Query with Ordering, Grouping and Outer Joins (Poster Paper)}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {127-126}, doi = {}, year = {2017}, }

proc time: 0.02