| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
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},
}
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},
}
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|