PEPM 2017 Contributors

Write a Blog >>

Mon 16 - Tue 17 January 2017

co-located with POPL 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (53)

Elvira Albert Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Nada Amin EPFL Switzerland Author of Invited posters within the PEPM 2017-track in PEPM 2017
Kazuyuki Asada University of Tokyo Author of A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction within the PEPM 2017-track in PEPM 2017
Don Batory University of Texas, Austin United States Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Daniil Berezun JetBrains, Russia Author of Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Talk) within the PEPM 2017-track in PEPM 2017
Martin Berger Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Aggelos Biboudis University of Athens Greece Author of Invited posters within the PEPM 2017-track in PEPM 2017
Kevin J. Brown Stanford University Author of Functional Parallels of Sequential Imperatives within the PEPM 2017-track in PEPM 2017
David Thrane Christiansen Indiana University United States Author of Idris, Inside-Out: A Tutorial on Extending Idris in Idris within the PEPM 2017-track in PEPM 2017
Gilles Duboscq Author of Practical Partial Evaluation for Language Implementation with Graal & Truffle within the PEPM 2017-track in PEPM 2017
Sebastian Erdweg TU Delft Netherlands Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Andrew Farmer Facebook United States Committee Member in Programme Committee for PEPM 2017 Session Chair of Programming languages (part of PEPM) Committee Member in Programme Committee within the PEPM-track
Matthew Flatt University of Utah United States Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Levin Fritz Utrecht University Author of Cost versus Precision for Approximate Typing for Python within the PEPM 2017-track in PEPM 2017
John P. Gallagher Roskilde University Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Robert Glück Committee Member in Programme Committee for PEPM 2017 Session Chair of Types (part of PEPM) Author of Reversible computing from a programming language perspective within the PEPM 2017-track in PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Jurriaan Hage Utrecht University Committee Member in Programme Committee for PEPM 2017 Session Chair of Transformation (part II) (part of PEPM) Author of Refining types using type guards in TypeScript within the PEPM 2017-track in PEPM 2017 Author of Cost versus Precision for Approximate Typing for Python within the PEPM 2017-track in PEPM 2017 Author of Predicting Resource Consumption of Higher-Order Workflows within the PEPM 2017-track in PEPM 2017 Author of Lightweight Soundness for Towers of Language Extensions within the PEPM 2017-track in PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Fritz Henglein DIKU, Denmark Author of PEG Parsing in Less Space Using Progressive Tabling and Dynamic Analysis within the PEPM 2017-track in PEPM 2017
Zhenjiang Hu National Institute of Informatics Japan Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Atsushi Igarashi Kyoto University Japan Author of Verification of Code Generators via Higher-Order Model Checking within the PEPM 2017-track in PEPM 2017
Jan Martin Jansen Netherlands Defence Academy Author of Predicting Resource Consumption of Higher-Order Workflows within the PEPM 2017-track in PEPM 2017
Neil D. Jones University of Copenhagen, Danmark Author of Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Talk) within the PEPM 2017-track in PEPM 2017
Yukiyoshi Kameyama University of Tsukuba, Japan Japan Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Tatsuya Katsushima Tohoku University, Japan Author of Language-integrated Query with Ordering, Grouping and Outer Joins (poster) within the PEPM 2017-track in PEPM 2017
Oleg Kiselyov Author of Language-integrated Query with Ordering, Grouping and Outer Joins (poster) within the PEPM 2017-track in PEPM 2017 Author of Invited posters within the PEPM 2017-track in PEPM 2017
Markus Klinik Radboud University Nijmegen Author of Predicting Resource Consumption of Higher-Order Workflows within the PEPM 2017-track in PEPM 2017
Ilya Klyuchnikov Committee Member in Programme Committee for PEPM 2017
Naoki Kobayashi University of Tokyo, Japan Author of Verification of Code Generators via Higher-Order Model Checking within the PEPM 2017-track in PEPM 2017
Julia Lawall Inria/LIP6 Author of Interactive data representation migration: Exploiting program dependence to aid program transformation within the PEPM 2017-track in PEPM 2017
Y. Annie Liu Stony Brook University United States Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Huiqing Li University of Kent Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Kazutaka Matsuda Author of A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction within the PEPM 2017-track in PEPM 2017
Tsubasa Matsushita Shibaura Institute of Technology Author of Detecting code clones with gaps by function applications within the PEPM 2017-track in PEPM 2017
Krishna Narasimhan Goethe University India Author of Interactive data representation migration: Exploiting program dependence to aid program transformation within the PEPM 2017-track in PEPM 2017
Nick Palladinos Nessos Information Technologies, SA Author of Invited posters within the PEPM 2017-track in PEPM 2017
Rinus Plasmeijer Radboud University Nijmegen Author of Predicting Resource Consumption of Higher-Order Workflows within the PEPM 2017-track in PEPM 2017
Markus Püschel ETH Zurich Switzerland Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Ulrik Terp Rasmussen DIKU, University of Copenhagen Denmark Author of PEG Parsing in Less Space Using Progressive Tabling and Dynamic Analysis within the PEPM 2017-track in PEPM 2017
Christoph Reichenbach Goethe University Author of Interactive data representation migration: Exploiting program dependence to aid program transformation within the PEPM 2017-track in PEPM 2017
Tiark Rompf Purdue University United States Author of Functional Parallels of Sequential Imperatives within the PEPM 2017-track in PEPM 2017 Author of Invited posters within the PEPM 2017-track in PEPM 2017
Isao Sasano Shibaura Institute of Technology Author of Detecting code clones with gaps by function applications within the PEPM 2017-track in PEPM 2017
Ryosuke Sato University of Tokyo, Japan Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Sven-Bodo Scholz Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Ulrik Schultz University of Southern Denmark Programme Co-Chair in Programme Committee for PEPM 2017 Session Chair of Keynote (part of PEPM) Session Chair of Tutorial (Idris, Inside-Out) and Poster Session (part of PEPM) Session Chair of Tutorial: reversible computing (part of PEPM) PC co-chair in Programme Committee within the PEPM-track
Ilya Sergey University College London United Kingdom Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Alejandro Serrano Utrecht University Author of Lightweight Soundness for Towers of Language Extensions within the PEPM 2017-track in PEPM 2017
Chung-chieh Shan Indiana University, USA Committee Member in Programme Committee for PEPM 2017 Session Chair of Transformation (part I) (part of PEPM) Committee Member in Programme Committee within the PEPM-track
Yannis Smaragdakis University of Athens Author of Invited posters within the PEPM 2017-track in PEPM 2017
Takashi Suwa University of Tokyo, Japan Japan Author of Verification of Code Generators via Higher-Order Model Checking within the PEPM 2017-track in PEPM 2017
Takeshi Tsukada University of Tokyo, Japan Author of Verification of Code Generators via Higher-Order Model Checking within the PEPM 2017-track in PEPM 2017
Jeremy Yallop University of Cambridge, UK Programme Co-Chair in Programme Committee for PEPM 2017 Session Chair of Tutorial (Idris, Inside-Out) and Poster Session (part of PEPM) Session Chair of Tutorial: Partial Evaluation for Language Implementation (part of PEPM) PC co-chair in Programme Committee within the PEPM-track
Ivo Gabe de Wolff Utrecht University Author of Refining types using type guards in TypeScript within the PEPM 2017-track in PEPM 2017
Tijs van der Storm CWI Netherlands Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track