PEPM 2017 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (53)

A Elvira AlbertAlbert, Elvira Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Nada AminAmin, Nada EPFLSwitzerland Invited posters
Kazuyuki AsadaAsada, Kazuyuki University of Tokyo A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction
B Don BatoryBatory, Don University of Texas, AustinUnited States Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Daniil BerezunBerezun, Daniil JetBrains, Russia Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Talk)
Martin BergerBerger, Martin Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Aggelos BiboudisBiboudis, Aggelos University of AthensGreece Invited posters
Kevin J. BrownBrown, Kevin J. Stanford University Functional Parallels of Sequential Imperatives
C David Thrane ChristiansenChristiansen, David Thrane Indiana UniversityUnited States Idris, Inside-Out: A Tutorial on Extending Idris in Idris
D Ivo Gabe de Wolffde Wolff, Ivo Gabe Utrecht University Refining types using type guards in TypeScript
Gilles DuboscqDuboscq, Gilles Practical Partial Evaluation for Language Implementation with Graal & Truffle
E Sebastian ErdwegErdweg, Sebastian TU DelftNetherlands Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
F Andrew FarmerFarmer, Andrew FacebookUnited 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 FlattFlatt, Matthew University of UtahUnited States Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Levin FritzFritz, Levin Utrecht University Cost versus Precision for Approximate Typing for Python
G John P. GallagherGallagher, John P. Roskilde University Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Robert GlückGlück, Robert Committee Member in Programme Committee for PEPM 2017 Session Chair of Types (part of PEPM) Reversible computing from a programming language perspective Committee Member in Programme Committee within the PEPM-track
H Jurriaan HageHage, Jurriaan Utrecht University Committee Member in Programme Committee for PEPM 2017 Session Chair of Transformation (part II) (part of PEPM) Lightweight Soundness for Towers of Language Extensions Cost versus Precision for Approximate Typing for Python Refining types using type guards in TypeScript Predicting Resource Consumption of Higher-Order Workflows Committee Member in Programme Committee within the PEPM-track
Fritz HengleinHenglein, Fritz DIKU, Denmark PEG Parsing in Less Space Using Progressive Tabling and Dynamic Analysis
Zhenjiang HuHu, Zhenjiang National Institute of InformaticsJapan Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Verification of Code Generators via Higher-Order Model Checking
J Jan Martin JansenJansen, Jan Martin Netherlands Defence Academy Predicting Resource Consumption of Higher-Order Workflows
Neil D. JonesJones, Neil D. University of Copenhagen, Danmark Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Talk)
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of Tsukuba, JapanJapan Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Tatsuya KatsushimaKatsushima, Tatsuya Tohoku University, Japan Language-integrated Query with Ordering, Grouping and Outer Joins (poster)
Oleg KiselyovKiselyov, Oleg Language-integrated Query with Ordering, Grouping and Outer Joins (poster) Invited posters
Markus KlinikKlinik, Markus Radboud University Nijmegen Predicting Resource Consumption of Higher-Order Workflows
Ilya KlyuchnikovKlyuchnikov, Ilya Committee Member in Programme Committee for PEPM 2017
Naoki KobayashiKobayashi, Naoki University of Tokyo, Japan Verification of Code Generators via Higher-Order Model Checking
L Julia LawallLawall, Julia Inria/LIP6 Interactive data representation migration: Exploiting program dependence to aid program transformation
Huiqing LiLi, Huiqing University of Kent Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
M Kazutaka MatsudaMatsuda, Kazutaka A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction
Tsubasa MatsushitaMatsushita, Tsubasa Shibaura Institute of Technology Detecting code clones with gaps by function applications
N Krishna NarasimhanNarasimhan, Krishna Goethe UniversityIndia Interactive data representation migration: Exploiting program dependence to aid program transformation
P Nick PalladinosPalladinos, Nick Nessos Information Technologies, SA Invited posters
Rinus PlasmeijerPlasmeijer, Rinus Radboud University Nijmegen Predicting Resource Consumption of Higher-Order Workflows
Markus PüschelPüschel, Markus ETH ZurichSwitzerland Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
R Ulrik Terp RasmussenRasmussen, Ulrik Terp DIKU, University of CopenhagenDenmark PEG Parsing in Less Space Using Progressive Tabling and Dynamic Analysis
Christoph ReichenbachReichenbach, Christoph Goethe University Interactive data representation migration: Exploiting program dependence to aid program transformation
Tiark RompfRompf, Tiark Purdue UniversityUnited States Functional Parallels of Sequential Imperatives Invited posters
S Isao SasanoSasano, Isao Shibaura Institute of Technology Detecting code clones with gaps by function applications
Ryosuke SatoSato, Ryosuke University of Tokyo, Japan Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Sven-Bodo ScholzScholz, Sven-Bodo Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Ulrik Pagh SchultzSchultz, Ulrik Pagh 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 SergeySergey, Ilya University College LondonUnited Kingdom Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Alejandro SerranoSerrano, Alejandro Utrecht University Lightweight Soundness for Towers of Language Extensions
Chung-chieh ShanShan, Chung-chieh 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 SmaragdakisSmaragdakis, Yannis University of Athens Invited posters
Takashi SuwaSuwa, Takashi University of Tokyo, JapanJapan Verification of Code Generators via Higher-Order Model Checking
T Takeshi TsukadaTsukada, Takeshi University of Tokyo, Japan Verification of Code Generators via Higher-Order Model Checking
V Tijs van der Stormvan der Storm, Tijs CWINetherlands Committee Member in Programme Committee for PEPM 2017 Committee Member in Programme Committee within the PEPM-track
Y Jeremy YallopYallop, Jeremy 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