POPL 2017 (series) / PEPM 2017 (series) /
PEPM 2017 Program
This is the PEPM 2017 program - see the full program for POPL 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 16 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 16 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | KeynotePEPM 2017 at Salle 109, Barre 44-54 Chair(s): Ulrik Pagh Schultz University of Southern Denmark | ||
09:00 60mTalk | Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Talk) PEPM 2017 DOI | ||
10:30 - 12:00 | |||
10:30 30mTalk | Lightweight Soundness for Towers of Language Extensions PEPM 2017 | ||
11:00 30mTalk | Detecting code clones with gaps by function applications PEPM 2017 | ||
11:30 30mTalk | PEG Parsing in Less Space Using Progressive Tabling and Dynamic AnalysisBest Paper PEPM 2017 | ||
14:00 - 15:30 | Tutorial (Idris, Inside-Out) and Poster SessionPEPM 2017 at Salle 109, Barre 44-54 Chair(s): Ulrik Pagh Schultz University of Southern Denmark, Jeremy Yallop University of Cambridge, UK | ||
14:00 60mTalk | Idris, Inside-Out: A Tutorial on Extending Idris in Idris PEPM 2017 David Thrane Christiansen Indiana University | ||
15:00 30mTalk | Invited posters PEPM 2017 Nada Amin EPFL, Tiark Rompf Purdue University, Oleg Kiselyov , Aggelos Biboudis University of Athens, Nick Palladinos Nessos Information Technologies, SA, Yannis Smaragdakis University of Athens | ||
15:00 30mTalk | Language-integrated Query with Ordering, Grouping and Outer Joins (poster) PEPM 2017 | ||
16:00 - 17:00 | Transformation (part I)PEPM 2017 at Salle 109, Barre 44-54 Chair(s): Chung-chieh Shan Indiana University, USA | ||
16:00 30mTalk | Verification of Code Generators via Higher-Order Model Checking PEPM 2017 Takashi Suwa University of Tokyo, Japan, Takeshi Tsukada University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan, Atsushi Igarashi Kyoto University | ||
16:30 30mTalk | Interactive data representation migration: Exploiting program dependence to aid program transformation PEPM 2017 Krishna Narasimhan Goethe University, Julia Lawall Inria/LIP6, Christoph Reichenbach Goethe University | ||
Tue 17 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | Tutorial: reversible computingPEPM 2017 at Salle 109, Barre 44-54 Chair(s): Ulrik Pagh Schultz University of Southern Denmark | ||
09:00 60mTalk | Reversible computing from a programming language perspective PEPM 2017 | ||
10:30 - 12:00 | |||
10:30 30mTalk | Cost versus Precision for Approximate Typing for Python PEPM 2017 | ||
11:00 30mTalk | Refining types using type guards in TypeScript PEPM 2017 | ||
11:30 30mTalk | Predicting Resource Consumption of Higher-Order Workflows PEPM 2017 Markus Klinik Radboud University Nijmegen, Jurriaan Hage Utrecht University, Jan Martin Jansen Netherlands Defence Academy, Rinus Plasmeijer Radboud University Nijmegen | ||
14:00 - 15:30 | Tutorial: Partial Evaluation for Language ImplementationPEPM 2017 at Salle 109, Barre 44-54 Chair(s): Jeremy Yallop University of Cambridge, UK | ||
14:00 90mTalk | Practical Partial Evaluation for Language Implementation with Graal & Truffle PEPM 2017 | ||
16:00 - 17:00 | Transformation (part II)PEPM 2017 at Salle 109, Barre 44-54 Chair(s): Jurriaan Hage Utrecht University | ||
16:00 30mTalk | Functional Parallels of Sequential Imperatives PEPM 2017 | ||
16:30 30mTalk | A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction PEPM 2017 | ||