POPL 2017
Sun 15 - Sat 21 January 2017
VenueParis Jussieu
Room nameSalle 109, Barre 44-54
Floor2
Room number109
Capacity80
Room Information

This room is located in barre 44-54.

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 15 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 at Salle 109, Barre 44-54
Chair(s): Ulrik Pagh SchultzUniversity of Southern Denmark
09:00
60m
Talk
Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Talk)
PEPM
Daniil BerezunJetBrains, Russia, Neil D. JonesUniversity of Copenhagen, Danmark
DOI
10:30 - 12:00
Programming languagesPEPM at Salle 109, Barre 44-54
Chair(s): Andrew FarmerFacebook
10:30
30m
Talk
Lightweight Soundness for Towers of Language Extensions
PEPM
Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University
11:00
30m
Talk
Detecting code clones with gaps by function applications
PEPM
Tsubasa MatsushitaShibaura Institute of Technology, Isao SasanoShibaura Institute of Technology
11:30
30m
Talk
PEG Parsing in Less Space Using Progressive Tabling and Dynamic AnalysisBest Paper
PEPM
Fritz HengleinDIKU, Denmark, Ulrik Terp RasmussenDIKU, University of Copenhagen
14:00 - 15:30
Tutorial (Idris, Inside-Out) and Poster SessionPEPM at Salle 109, Barre 44-54
Chair(s): Ulrik Pagh SchultzUniversity of Southern Denmark, Jeremy YallopUniversity of Cambridge, UK
14:00
60m
Talk
Idris, Inside-Out: A Tutorial on Extending Idris in Idris
PEPM
David Thrane ChristiansenIndiana University
15:00
30m
Talk
Invited posters
PEPM
Nada AminEPFL, Tiark RompfPurdue University, Oleg Kiselyov, Aggelos BiboudisUniversity of Athens, Nick PalladinosNessos Information Technologies, SA, Yannis SmaragdakisUniversity of Athens
15:00
30m
Talk
Language-integrated Query with Ordering, Grouping and Outer Joins (poster)
PEPM
Tatsuya KatsushimaTohoku University, Japan, Oleg Kiselyov
16:00 - 17:00
Transformation (part I)PEPM at Salle 109, Barre 44-54
Chair(s): Chung-chieh ShanIndiana University, USA
16:00
30m
Talk
Verification of Code Generators via Higher-Order Model Checking
PEPM
Takashi SuwaUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Atsushi IgarashiKyoto University
16:30
30m
Talk
Interactive data representation migration: Exploiting program dependence to aid program transformation
PEPM
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 at Salle 109, Barre 44-54
Chair(s): Ulrik Pagh SchultzUniversity of Southern Denmark
09:00
60m
Talk
Reversible computing from a programming language perspective
PEPM
10:30 - 12:00
10:30
30m
Talk
Cost versus Precision for Approximate Typing for Python
PEPM
Levin FritzUtrecht University, Jurriaan HageUtrecht University
11:00
30m
Talk
Refining types using type guards in TypeScript
PEPM
Ivo Gabe de WolffUtrecht University, Jurriaan HageUtrecht University
11:30
30m
Talk
Predicting Resource Consumption of Higher-Order Workflows
PEPM
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 at Salle 109, Barre 44-54
Chair(s): Jeremy YallopUniversity of Cambridge, UK
14:00
90m
Talk
Practical Partial Evaluation for Language Implementation with Graal & Truffle
PEPM

Sat 21 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:05
16:00
25m
Talk
Designing extensible, domain-specific languages for mathematical diagrams
Off the Beaten Track
Katherine Ye, Keenan Crane, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
File Attached
16:25
25m
Talk
Laziness Boxes You In
Off the Beaten Track
File Attached
16:50
25m
Talk
Programming with Epistemic Logic
Off the Beaten Track
Markus Eger, Chris MartensCarnegie Mellon University
File Attached
17:15
25m
Talk
Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach
Off the Beaten Track
Marco GaboardiSUNY Buffalo, USA
File Attached
17:40
25m
Talk
Running Incomplete Programs
Off the Beaten Track
Ian VoyseyCarnegie Mellon University, Cyrus OmarCarnegie Mellon University, Matthew HammerUniversity of Colorado, Boulder
File Attached

Sun 15 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Salle 109, Barre 44-54

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

Sat 21 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change