PEPM 2017 – Author Index

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

	Asada, Kazuyuki	PEPM '17: "A Functional Reformulation ..." 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}, } Article: pepm17main-main2-p (type: Full Paper (12 pages)) doi:
	Berezun, Daniil	PEPM '17: "Compiling Untyped Lambda Calculus ..." 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}, } Article: pepm17key-key1-p (type: Full Paper (12 pages)) doi:
	Brown, Kevin J.	PEPM '17: "Functional Parallels of Sequential ..." 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}, } Article: pepm17main-main15-p (type: Short Paper (6 pages)) doi:
	De Wolff, Ivo Gabe	PEPM '17: "Refining Types using Type ..." 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}, } Article: pepm17main-main8-p (type: Full Paper (12 pages)) doi:
	Fritz, Levin	PEPM '17: "Cost versus Precision for ..." 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}, } Article: pepm17main-main9-p (type: Full Paper (12 pages)) doi:
	Hage, Jurriaan	PEPM '17: "Predicting Resource Consumption ..." 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}, } Article: pepm17main-main5-p (type: Full Paper (12 pages)) doi: PEPM '17: "Refining Types using Type ..." 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}, } Article: pepm17main-main8-p (type: Full Paper (12 pages)) doi: PEPM '17: "Lightweight Soundness for ..." 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}, } Article: pepm17main-main3-p (type: Full Paper (12 pages)) doi: PEPM '17: "Cost versus Precision for ..." 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}, } Article: pepm17main-main9-p (type: Full Paper (12 pages)) doi:
	Henglein, Fritz	PEPM '17: "PEG Parsing in Less Space ..." 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}, } Article: pepm17main-main10-p (type: Full Paper (12 pages)) doi:
	Igarashi, Atsushi	PEPM '17: "Verification of Code Generators ..." 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}, } Article: pepm17main-main7-p (type: Full Paper (12 pages)) doi:
	Jansen, Jan Martin	PEPM '17: "Predicting Resource Consumption ..." 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}, } Article: pepm17main-main5-p (type: Full Paper (12 pages)) doi:
	Jones, Neil D.	PEPM '17: "Compiling Untyped Lambda Calculus ..." 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}, } Article: pepm17key-key1-p (type: Full Paper (12 pages)) doi:
	Katsushima, Tatsuya	PEPM '17: "Language-Integrated Query ..." 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}, } Article: pepm17main-main31-p (type: Poster Paper (2 pages)) doi:
	Kiselyov, Oleg	PEPM '17: "Language-Integrated Query ..." 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}, } Article: pepm17main-main31-p (type: Poster Paper (2 pages)) doi:
	Klinik, Markus	PEPM '17: "Predicting Resource Consumption ..." 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}, } Article: pepm17main-main5-p (type: Full Paper (12 pages)) doi:
	Kobayashi, Naoki	PEPM '17: "Verification of Code Generators ..." 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}, } Article: pepm17main-main7-p (type: Full Paper (12 pages)) doi:
	Lawall, Julia	PEPM '17: "Interactive Data Representation ..." 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}, } Article: pepm17main-main11-p (type: Full Paper (12 pages)) doi:
	Matsuda, Kazutaka	PEPM '17: "A Functional Reformulation ..." 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}, } Article: pepm17main-main2-p (type: Full Paper (12 pages)) doi:
	Matsushita, Tsubasa	PEPM '17: "Detecting Code Clones with ..." 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}, } Article: pepm17main-main16-p (type: Full Paper (12 pages)) doi:
	Narasimhan, Krishna	PEPM '17: "Interactive Data Representation ..." 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}, } Article: pepm17main-main11-p (type: Full Paper (12 pages)) doi:
	Plasmeijer, Rinus	PEPM '17: "Predicting Resource Consumption ..." 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}, } Article: pepm17main-main5-p (type: Full Paper (12 pages)) doi:
	Rasmussen, Ulrik Terp	PEPM '17: "PEG Parsing in Less Space ..." 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}, } Article: pepm17main-main10-p (type: Full Paper (12 pages)) doi:
	Reichenbach, Christoph	PEPM '17: "Interactive Data Representation ..." 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}, } Article: pepm17main-main11-p (type: Full Paper (12 pages)) doi:
	Rompf, Tiark	PEPM '17: "Functional Parallels of Sequential ..." 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}, } Article: pepm17main-main15-p (type: Short Paper (6 pages)) doi:
	Sasano, Isao	PEPM '17: "Detecting Code Clones with ..." 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}, } Article: pepm17main-main16-p (type: Full Paper (12 pages)) doi:
	Serrano, Alejandro	PEPM '17: "Lightweight Soundness for ..." 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}, } Article: pepm17main-main3-p (type: Full Paper (12 pages)) doi:
	Suwa, Takashi	PEPM '17: "Verification of Code Generators ..." 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}, } Article: pepm17main-main7-p (type: Full Paper (12 pages)) doi:
	Tsukada, Takeshi	PEPM '17: "Verification of Code Generators ..." 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}, } Article: pepm17main-main7-p (type: Full Paper (12 pages)) doi:

29 authors

proc time: 0.03