POPL 2017
Sun 15 - Sat 21 January 2017
Toggle navigation
Attending
Campus: Paris Jussieu
Proceedings
Students
Registration
Practical information
Visas
Accommodation
Banner image credits
Program
POPL Program
Your Program
Filter by Day
Sun 15 Jan
Mon 16 Jan
Tue 17 Jan
Wed 18 Jan
Thu 19 Jan
Fri 20 Jan
Sat 21 Jan
Tracks
POPL 2017
Tutorials
Student Research Competition
POPL
Artifact Evaluation
Co-hosted Conferences
CPP
CPP
CPP
VMCAI
VMCAI
VMCAI
Workshops
PPS
CoqPL
N40AI
Next 40 years of Abstract Interpretation
Off the Beaten Track
OBT
PEPM
PLMW
PLMW
PiP
RDP
SCM
TTT
Co-hosted Symposia
PADL
Organization
POPL 2017 Committees
Organizing Committee
Steering Committee
Track Committees
Student Research Competition
POPL
Program Committee
External Review Committee
Artifact Evaluation
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Organizing Committee
Program committee
Steering Committee
Program Chairs
Workshops
PPS
Program Committee
CoqPL
Program Committee
N40AI
Organizer
Off the Beaten Track
Organizing Committee
Program Committee
PEPM
Programme Committee
Programme Committee
PLMW
Speaker
Program Committee
PiP
Program Committee
RDP
Program Committee
SCM
Organizing Committee
TTT
Program Committee
Co-hosted Symposia
PADL
Organizing Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2017
(
series
) /
Paris Jussieu
/
Room information: Salle 109, Barre 44-54
Venue
Paris Jussieu
Room name
Salle 109, Barre 44-54
Floor
2
Room number
109
Capacity
80
Room Information
This room is located in barre 44-54.
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 15 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:15 - 10:00
Session I
SCM
at
Salle 109, Barre 44-54
09:15
45m
Talk
What is Secure Compilation? Part I
SCM
Marco Patrignani
MPI-SWS, Germany
Link to publication
10:30 - 12:00
Session II
SCM
at
Salle 109, Barre 44-54
10:30
10m
Talk
What is Secure Compilation? Part II (Short talk)
SCM
Cătălin Hriţcu
Inria Paris
Link to publication
10:40
10m
Talk
Can relational logic facilitate secure compilation? (Short talk)
SCM
David Naumann
Stevens Institute of Technology
File Attached
10:50
10m
Talk
Full Abstraction for Language Design (Short talk)
SCM
Gabriel Scherer
Northeastern University
File Attached
11:00
10m
Talk
Cogent: Where we Stand and What Comes Next (Short talk)
SCM
Christine Rizkallah
University of Pennsylvania, USA
File Attached
11:15
45m
Talk
Enforcing Well-Bracketed Control Flow on a Capability Machine using Local Capabilities
SCM
Lau Skorstengaard
File Attached
14:00 - 15:30
Session III
SCM
at
Salle 109, Barre 44-54
14:00
45m
Talk
Linking Types: Secure compilation of multi-language programs
SCM
Daniel Patterson
Northeastern University
File Attached
14:45
45m
Talk
Fully-Abstract Compilation of Parametric Polymorphism into Dynamic Sealing
SCM
Dominique Devriese
iMinds - Distrinet, KU Leuven
File Attached
16:00 - 17:30
Session IV
SCM
at
Salle 109, Barre 44-54
16:00
45m
Talk
Software Fault Isolation avec CompCert
SCM
Frédéric Besson
File Attached
16:45
45m
Talk
Security preserving compilation of low-level programs embedded in F*
SCM
Jonathan Protzenko
Microsoft Research
File Attached
Mon 16 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Keynote
PEPM
at
Salle 109, Barre 44-54
Chair(s):
Ulrik Pagh Schultz
University 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 Berezun
JetBrains, Russia
,
Neil D. Jones
University of Copenhagen, Danmark
DOI
10:30 - 12:00
Programming languages
PEPM
at
Salle 109, Barre 44-54
Chair(s):
Andrew Farmer
Facebook
10:30
30m
Talk
Lightweight Soundness for Towers of Language Extensions
PEPM
Alejandro Serrano
Utrecht University
,
Jurriaan Hage
Utrecht University
11:00
30m
Talk
Detecting code clones with gaps by function applications
PEPM
Tsubasa Matsushita
Shibaura Institute of Technology
,
Isao Sasano
Shibaura Institute of Technology
11:30
30m
Talk
PEG Parsing in Less Space Using Progressive Tabling and Dynamic Analysis
Best Paper
PEPM
Fritz Henglein
DIKU, Denmark
,
Ulrik Terp Rasmussen
DIKU, University of Copenhagen
14:00 - 15:30
Tutorial (Idris, Inside-Out) and Poster Session
PEPM
at
Salle 109, Barre 44-54
Chair(s):
Ulrik Pagh Schultz
University of Southern Denmark
,
Jeremy Yallop
University of Cambridge, UK
14:00
60m
Talk
Idris, Inside-Out: A Tutorial on Extending Idris in Idris
PEPM
David Thrane Christiansen
Indiana University
15:00
30m
Talk
Invited posters
PEPM
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
30m
Talk
Language-integrated Query with Ordering, Grouping and Outer Joins (poster)
PEPM
Tatsuya Katsushima
Tohoku University, Japan
,
Oleg Kiselyov
16:00 - 17:00
Transformation (part I)
PEPM
at
Salle 109, Barre 44-54
Chair(s):
Chung-chieh Shan
Indiana University, USA
16:00
30m
Talk
Verification of Code Generators via Higher-Order Model Checking
PEPM
Takashi Suwa
University of Tokyo, Japan
,
Takeshi Tsukada
University of Tokyo, Japan
,
Naoki Kobayashi
University of Tokyo, Japan
,
Atsushi Igarashi
Kyoto University
16:30
30m
Talk
Interactive data representation migration: Exploiting program dependence to aid program transformation
PEPM
Krishna Narasimhan
Goethe University
,
Julia Lawall
Inria/LIP6
,
Christoph Reichenbach
Goethe University
Tue 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Tutorial: reversible computing
PEPM
at
Salle 109, Barre 44-54
Chair(s):
Ulrik Pagh Schultz
University of Southern Denmark
09:00
60m
Talk
Reversible computing from a programming language perspective
PEPM
Robert Glück
10:30 - 12:00
Types
PEPM
at
Salle 109, Barre 44-54
Chair(s):
Robert Glück
10:30
30m
Talk
Cost versus Precision for Approximate Typing for Python
PEPM
Levin Fritz
Utrecht University
,
Jurriaan Hage
Utrecht University
11:00
30m
Talk
Refining types using type guards in TypeScript
PEPM
Ivo Gabe de Wolff
Utrecht University
,
Jurriaan Hage
Utrecht University
11:30
30m
Talk
Predicting Resource Consumption of Higher-Order Workflows
PEPM
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 Implementation
PEPM
at
Salle 109, Barre 44-54
Chair(s):
Jeremy Yallop
University of Cambridge, UK
14:00
90m
Talk
Practical Partial Evaluation for Language Implementation with Graal & Truffle
PEPM
Gilles Duboscq
16:00 - 17:00
Transformation (part II)
PEPM
at
Salle 109, Barre 44-54
Chair(s):
Jurriaan Hage
Utrecht University
16:00
30m
Talk
Functional Parallels of Sequential Imperatives
PEPM
Tiark Rompf
Purdue University
,
Kevin J. Brown
Stanford University
16:30
30m
Talk
A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction
PEPM
Kazutaka Matsuda
,
Kazuyuki Asada
University of Tokyo
Sat 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Session One
Off the Beaten Track
at
Salle 109, Barre 44-54
09:00
60m
Talk
Keynote talk: Reasoning about Functional Programs: Exploring, Testing and Inductive Proofs.
Off the Beaten Track
Moa Johansson
Chalmers University of Technology
10:30 - 12:10
Session Two
Off the Beaten Track
at
Salle 109, Barre 44-54
10:30
25m
Talk
Can we machine-learn programming language semantics?
Off the Beaten Track
Dan Ghica
University of Birmingham
,
Khulood Alyahya
,
Victor Patentasu
File Attached
10:55
25m
Talk
How Far Apart Should Those Programs Be?
Off the Beaten Track
Ugo Dal Lago
University of Bologna, France
File Attached
11:20
25m
Talk
Programming Quantum Annealers
Off the Beaten Track
George Stelle
,
Scott Pakin
File Attached
11:45
25m
Talk
Understanding the POSIX Shell as a Programming Language
Off the Beaten Track
Michael Greenberg
Pomona College
File Attached
14:00 - 15:25
Session Three
Off the Beaten Track
at
Salle 109, Barre 44-54
14:00
60m
Talk
Keynote talk: Varieties of Programming Experience
Off the Beaten Track
Alan Blackwell
University of Cambridge
15:00
25m
Talk
Bootstrapping the next generation of mathematical social machines
Off the Beaten Track
Ursula Martin
,
Alison Pease
,
Joe Corneli
File Attached
16:00 - 18:05
Session Four
Off the Beaten Track
at
Salle 109, Barre 44-54
16:00
25m
Talk
Designing extensible, domain-specific languages for mathematical diagrams
Off the Beaten Track
Katherine Ye
,
Keenan Crane
,
Jonathan Aldrich
Carnegie Mellon University
,
Joshua Sunshine
Carnegie Mellon University
File Attached
16:25
25m
Talk
Laziness Boxes You In
Off the Beaten Track
Jose Calderon
Galois, Inc.
,
Stephen Magill
File Attached
16:50
25m
Talk
Programming with Epistemic Logic
Off the Beaten Track
Markus Eger
,
Chris Martens
Carnegie Mellon University
File Attached
17:15
25m
Talk
Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach
Off the Beaten Track
Marco Gaboardi
SUNY Buffalo, USA
File Attached
17:40
25m
Talk
Running Incomplete Programs
Off the Beaten Track
Ian Voysey
Carnegie Mellon University
,
Cyrus Omar
Carnegie Mellon University
,
Matthew Hammer
University of Colorado, Boulder
File Attached
Sun 15 Jan
Displayed 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
17:00
30
Salle 109, Barre 44-54
SCM
Session I
SCM
Session II
SCM
Session III
SCM
Session IV
Mon 16 Jan
Displayed 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
Salle 109, Barre 44-54
PEPM
Keynote
PEPM
Programming languages
PEPM
Tutorial (Idris, Inside-Out) and Poster Session
PEPM
Transformation (part I)
Tue 17 Jan
Displayed 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
Salle 109, Barre 44-54
PEPM
Tutorial: reversible computing
PEPM
Types
PEPM
Tutorial: Partial Evaluation for Language Implementation
PEPM
Transformation (part II)
Sat 21 Jan
Displayed 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
17:00
30
18:00
30
Salle 109, Barre 44-54
Off the Beaten Track
Session One
Off the Beaten Track
Session Two
Off the Beaten Track
Session Three
Off the Beaten Track
Session Four
Sun 15 Jan
Displayed 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
17:00
15
30
45
Salle 109, Barre 44-54
SCM
What is Secure Compilation? Part I
09:15 - 10:00
SCM
What is Secure Compilation? Part II (Short talk)
10:30 - 10:40
SCM
Can relational logic facilitate secure compilation? (Short talk)
10:40 - 10:50
SCM
Full Abstraction for Language Design (Short talk)
10:50 - 11:00
SCM
Cogent: Where we Stand and What Comes Next (Short talk)
11:00 - 11:10
SCM
Enforcing Well-Bracketed Control Flow on a Capability Machine using Loc ...
11:15 - 12:00
SCM
Linking Types: Secure compilation of multi-language programs
14:00 - 14:45
SCM
Fully-Abstract Compilation of Parametric Polymorphism into Dynamic Sealing
14:45 - 15:30
SCM
Software Fault Isolation avec CompCert
16:00 - 16:45
SCM
Security preserving compilation of low-level programs embedded in F*
16:45 - 17:30
Mon 16 Jan
Displayed 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
Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics ...
09:00 - 10:00
PEPM
Lightweight Soundness for Towers of Language Extensions
10:30 - 11:00
PEPM
Detecting code clones with gaps by function applications
11:00 - 11:30
PEPM
Best Paper
PEG Parsing in Less Space Using Progressive Tabling and Dynamic Analysis
11:30 - 12:00
PEPM
Idris, Inside-Out: A Tutorial on Extending Idris in Idris
14:00 - 15:00
PEPM
Invited posters
15:00 - 15:30
Language-integrated Query with Ordering, Grouping and Outer Joins (poster)
15:00 - 15:30
PEPM
Verification of Code Generators via Higher-Order Model Checking
16:00 - 16:30
PEPM
Interactive data representation migration: Exploiting program dependenc ...
16:30 - 17:00
Tue 17 Jan
Displayed 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
Reversible computing from a programming language perspective
09:00 - 10:00
PEPM
Cost versus Precision for Approximate Typing for Python
10:30 - 11:00
PEPM
Refining types using type guards in TypeScript
11:00 - 11:30
PEPM
Predicting Resource Consumption of Higher-Order Workflows
11:30 - 12:00
PEPM
Practical Partial Evaluation for Language Implementation with Graal & ...
14:00 - 15:30
PEPM
Functional Parallels of Sequential Imperatives
16:00 - 16:30
PEPM
A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Tr ...
16:30 - 17:00
Sat 21 Jan
Displayed 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
17:00
15
30
45
18:00
15
30
45
Salle 109, Barre 44-54
Off the Beaten Track
Keynote talk: Reasoning about Functional Programs: Exploring, Testing a ...
09:00 - 10:00
Off the Beaten Track
Can we machine-learn programming language semantics?
10:30 - 10:55
Off the Beaten Track
How Far Apart Should Those Programs Be?
10:55 - 11:20
Off the Beaten Track
Programming Quantum Annealers
11:20 - 11:45
Off the Beaten Track
Understanding the POSIX Shell as a Programming Language
11:45 - 12:10
Off the Beaten Track
Keynote talk: Varieties of Programming Experience
14:00 - 15:00
Off the Beaten Track
Bootstrapping the next generation of mathematical social machines
15:00 - 15:25
Off the Beaten Track
Designing extensible, domain-specific languages for mathematical diagrams
16:00 - 16:25
Off the Beaten Track
Laziness Boxes You In
16:25 - 16:50
Off the Beaten Track
Programming with Epistemic Logic
16:50 - 17:15
Off the Beaten Track
Preventing False Discoveries in Adaptive Data Analysis: a Programming L ...
17:15 - 17:40
Off the Beaten Track
Running Incomplete Programs
17:40 - 18:05
x
Sat 14 Dec 13:30