Conference Dates
Conference Dates are in time zone (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Mon 16 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 16 Jan
Times are displayed in 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 SchultzUniversity of Southern Denmark | |||
09:00 - 10:00 Talk | Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Talk) PEPM 2017 DOI |
10:30 - 12:00: Programming languagesPEPM 2017 at Salle 109, Barre 44-54 Chair(s): Andrew FarmerFacebook | |||
10:30 - 11:00 Talk | Lightweight Soundness for Towers of Language Extensions PEPM 2017 | ||
11:00 - 11:30 Talk | Detecting code clones with gaps by function applications PEPM 2017 | ||
11:30 - 12:00 Talk | 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 SchultzUniversity of Southern Denmark, Jeremy YallopUniversity of Cambridge, UK | |||
14:00 - 15:00 Talk | Idris, Inside-Out: A Tutorial on Extending Idris in Idris PEPM 2017 David Thrane ChristiansenIndiana University | ||
15:00 - 15:30 Talk | Invited posters PEPM 2017 Nada AminEPFL, Tiark RompfPurdue University, Oleg Kiselyov, Aggelos BiboudisUniversity of Athens, Nick PalladinosNessos Information Technologies, SA, Yannis SmaragdakisUniversity of Athens | ||
15:00 - 15:30 Talk | 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 ShanIndiana University, USA | |||
16:00 - 16:30 Talk | Verification of Code Generators via Higher-Order Model Checking PEPM 2017 Takashi SuwaUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Atsushi IgarashiKyoto University | ||
16:30 - 17:00 Talk | Interactive data representation migration: Exploiting program dependence to aid program transformation PEPM 2017 |
Tue 17 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Jan
Times are displayed in 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 SchultzUniversity of Southern Denmark | |||
09:00 - 10:00 Talk | Reversible computing from a programming language perspective PEPM 2017 |
10:30 - 11:00 Talk | Cost versus Precision for Approximate Typing for Python PEPM 2017 | ||
11:00 - 11:30 Talk | Refining types using type guards in TypeScript PEPM 2017 | ||
11:30 - 12:00 Talk | Predicting Resource Consumption of Higher-Order Workflows PEPM 2017 Markus KlinikRadboud University Nijmegen, Jurriaan HageUtrecht University, Jan Martin JansenNetherlands Defence Academy, Rinus PlasmeijerRadboud University Nijmegen |
14:00 - 15:30: Tutorial: Partial Evaluation for Language ImplementationPEPM 2017 at Salle 109, Barre 44-54 Chair(s): Jeremy YallopUniversity of Cambridge, UK | |||
14:00 - 15:30 Talk | 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 HageUtrecht University | |||
16:00 - 16:30 Talk | Functional Parallels of Sequential Imperatives PEPM 2017 | ||
16:30 - 17:00 Talk | A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction PEPM 2017 |
Mon 16 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 |
---|
Tue 17 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 |
---|
Mon 16 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 16 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Salle 109, Barre 44-54 | PEPM Invited posters 15:00 - 15:30 15:00 - 15:30 |
Tue 17 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 |
---|
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format