Write a Blog >>
PEPM 2017
Mon 16 - Tue 17 January 2017
co-located with POPL 2017
VenueParis Jussieu
Room nameSalle 109, Barre 44-54
Floor2
Room number109
Capacity80
Additional 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

09:15 - 10:00: Session ISCM at Salle 109, Barre 44-54
09:15 - 10:00
Talk
What is Secure Compilation? Part I
SCM
Marco PatrignaniMPI-SWS, Germany
Link to publication

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

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

09:00 - 10:00: Session OneOff the Beaten Track at Salle 109, Barre 44-54
09:00 - 10:00
Talk
Keynote talk: Reasoning about Functional Programs: Exploring, Testing and Inductive Proofs.
Off the Beaten Track
Moa JohanssonChalmers University of Technology
10:30 - 12:10: Session TwoOff the Beaten Track at Salle 109, Barre 44-54
10:30 - 10:55
Talk
Can we machine-learn programming language semantics?
Off the Beaten Track
Dan GhicaUniversity of Birmingham, Khulood Alyahya, Victor Patentasu
File Attached
10:55 - 11:20
Talk
How Far Apart Should Those Programs Be?
Off the Beaten Track
Ugo Dal LagoUniversity of Bologna, France
File Attached
11:20 - 11:45
Talk
Programming Quantum Annealers
Off the Beaten Track
File Attached
11:45 - 12:10
Talk
Understanding the POSIX Shell as a Programming Language
Off the Beaten Track
Michael GreenbergPomona College
File Attached
16:00 - 18:05: Session FourOff the Beaten Track at Salle 109, Barre 44-54
16:00 - 16:25
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 - 16:50
Talk
Laziness Boxes You In
Off the Beaten Track
File Attached
16:50 - 17:15
Talk
Programming with Epistemic Logic
Off the Beaten Track
Markus Eger, Chris MartensCarnegie Mellon University
File Attached
17:15 - 17:40
Talk
Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach
Off the Beaten Track
Marco GaboardiSUNY Buffalo, USA
File Attached
17:40 - 18:05
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