Write a Blog >>
PEPM 2017
Mon 16 - Tue 17 January 2017
co-located with POPL 2017
You're viewing the program in a time zone which is different from your device's time zone - change time zone

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
Daniil BerezunJetBrains, Russia, Neil D. JonesUniversity of Copenhagen, Danmark
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
Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University
11:00 - 11:30
Talk
Detecting code clones with gaps by function applications
PEPM 2017
Tsubasa MatsushitaShibaura Institute of Technology, Isao SasanoShibaura Institute of Technology
11:30 - 12:00
Talk
PEG Parsing in Less Space Using Progressive Tabling and Dynamic AnalysisBest Paper
PEPM 2017
Fritz HengleinDIKU, Denmark, Ulrik Terp RasmussenDIKU, University of Copenhagen
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
Tatsuya KatsushimaTohoku University, Japan, Oleg Kiselyov
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
Krishna NarasimhanGoethe University, Julia LawallInria/LIP6, Christoph ReichenbachGoethe University

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 - 12:00: TypesPEPM 2017 at Salle 109, Barre 44-54
Chair(s): Robert Glück
10:30 - 11:00
Talk
Cost versus Precision for Approximate Typing for Python
PEPM 2017
Levin FritzUtrecht University, Jurriaan HageUtrecht University
11:00 - 11:30
Talk
Refining types using type guards in TypeScript
PEPM 2017
Ivo Gabe de WolffUtrecht University, Jurriaan HageUtrecht University
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
Tiark RompfPurdue University, Kevin J. BrownStanford University
16:30 - 17:00
Talk
A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction
PEPM 2017
Kazutaka Matsuda, Kazuyuki AsadaUniversity of Tokyo

Mon 16 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

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
Session Calendar (ical)
Detailed Event Calendar (ical)