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: Auditorium Hall
Venue
Paris Jussieu
Room name
Auditorium Hall
Floor
0
Room Information
No extra information available
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
Mon 16 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 10:30
Coffee break
Catering
at
Auditorium Hall
10:00
30m
Coffee break
Break
Catering
15:30 - 16:00
Coffee break
Catering
at
Auditorium Hall
15:30
30m
Coffee break
Break
Catering
Tue 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 10:30
Coffee break
Catering
at
Auditorium Hall
10:00
30m
Coffee break
Break
Catering
15:30 - 16:00
Coffee break
Catering
at
Auditorium Hall
15:30
30m
Coffee break
Break
Catering
Wed 18 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 10:30
Coffee break
Catering
at
Auditorium Hall
10:00
30m
Coffee break
Break
Catering
16:00 - 16:30
Coffee break
Catering
at
Auditorium Hall
16:00
30m
Coffee break
Break
Catering
Thu 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 10:30
Coffee break
Catering
at
Auditorium Hall
10:00
30m
Coffee break
Break
Catering
16:00 - 16:30
Coffee break
Catering
at
Auditorium Hall
16:00
30m
Coffee break
Break
Catering
18:20 - 20:20
Poster Session
Student Research Competition
at
Auditorium Hall
Chair(s):
Matteo Cimini
Indiana University, USA
,
Kim Nguyễn
LRI, Université Paris-Sud
,
Julien Signoles
CEA LIST
,
Qirun Zhang
University of California, Davis
18:20
10m
Demonstration
Naturality despite Nontermination: A Logical Relation for Linear Types and Polymorphism
Student Research Competition
Nicholas Rioux
Northeastern University
18:30
10m
Demonstration
Gradual Type Precision as Retraction
Student Research Competition
Max S. New
Northeastern University
18:40
10m
Demonstration
Linking Types: Specifying Safe Interoperability and Equivalences
Student Research Competition
Daniel Patterson
Northeastern University
18:50
10m
Demonstration
A Monadic Framework for Bidirectional Programming
Student Research Competition
Li-yao Xia
ENS Paris
19:00
10m
Demonstration
Gradual Set-Theoretic Types
Student Research Competition
Victor Lanvin
ENS Paris-Saclay
19:10
10m
Demonstration
Abstract Interpretation of High-Level Transformations
Student Research Competition
Ahmad Salim Al-Sibahi
IT University of Copenhagen, Denmark
19:20
10m
Demonstration
FairSquare: A Static Analysis Tool for Algorithmic Fairness
Student Research Competition
Samuel Drews
University of Wisconsin-Madison
19:30
10m
Demonstration
Toward Type-Preserving Compilation of Coq
Student Research Competition
William J. Bowman
Northeastern University
19:40
10m
Demonstration
A Symbolic Execution Framework for Haskell
Student Research Competition
Anton Xue
Yale University
19:50
10m
Demonstration
Synthesizing Imperative Programs from Examples for Introductory Programming Assignments
Student Research Competition
Sunbeom So
Korea University
20:00
10m
Demonstration
Provenance for Configuration Language Security
Student Research Competition
Weili Fu
University of Edinburgh
20:10
10m
Demonstration
A gradually typed polymorphic lambda calculus
Student Research Competition
Yuu Igarashi
Kyoto University
Fri 20 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 10:30
Coffee break
Catering
at
Auditorium Hall
10:00
30m
Coffee break
Break
Catering
16:00 - 16:30
Coffee break
Catering
at
Auditorium Hall
16:00
30m
Coffee break
Break
Catering
Sat 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 10:30
Coffee break
Catering
at
Auditorium Hall
10:00
30m
Coffee break
Break
Catering
15:30 - 16:00
Coffee break
Catering
at
Auditorium Hall
15:30
30m
Coffee break
Break
Catering
Mon 16 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Auditorium Hall
Catering
Coffee break
Catering
Coffee break
Tue 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Auditorium Hall
Catering
Coffee break
Catering
Coffee break
Wed 18 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Auditorium Hall
Catering
Coffee break
Catering
Coffee break
Thu 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
19:00
30
20:00
30
Auditorium Hall
Catering
Coffee break
Catering
Coffee break
Student Research Competition
Poster Session
Fri 20 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Auditorium Hall
Catering
Coffee break
Catering
Coffee break
Sat 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Auditorium Hall
Catering
Coffee break
Catering
Coffee break
Mon 16 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
15:30 - 16:00
Tue 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
15:30 - 16:00
Wed 18 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
16:00 - 16:30
Thu 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
19:00
15
30
45
20:00
15
30
45
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
16:00 - 16:30
POPL Student Research Competition
Naturality despite Nontermination: A Logical Relation for Linear Types ...
18:20 - 18:30
POPL Student Research Competition
Gradual Type Precision as Retraction
18:30 - 18:40
POPL Student Research Competition
Linking Types: Specifying Safe Interoperability and Equivalences
18:40 - 18:50
POPL Student Research Competition
A Monadic Framework for Bidirectional Programming
18:50 - 19:00
POPL Student Research Competition
Gradual Set-Theoretic Types
19:00 - 19:10
POPL Student Research Competition
Abstract Interpretation of High-Level Transformations
19:10 - 19:20
POPL Student Research Competition
FairSquare: A Static Analysis Tool for Algorithmic Fairness
19:20 - 19:30
POPL Student Research Competition
Toward Type-Preserving Compilation of Coq
19:30 - 19:40
POPL Student Research Competition
A Symbolic Execution Framework for Haskell
19:40 - 19:50
POPL Student Research Competition
Synthesizing Imperative Programs from Examples for Introductory Program ...
19:50 - 20:00
POPL Student Research Competition
Provenance for Configuration Language Security
20:00 - 20:10
POPL Student Research Competition
A gradually typed polymorphic lambda calculus
20:10 - 20:20
Fri 20 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
16:00 - 16:30
Sat 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
15:30 - 16:00
x
Sat 21 Dec 15:18