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 107, Barre 44-54
Venue
Paris Jussieu
Room name
Salle 107, Barre 44-54
Floor
2
Room number
107
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
Mon 16 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 12:00
Lean (AM)
Tutorials
at
Salle 107, Barre 44-54
09:00
3h
Talk
The Lean Theorem Prover
Tutorials
Leonardo de Moura
Microsoft Research, Redmond
,
Gabriel Ebner
Vienna University of Technology
,
Jared Roesch
University of Washington, USA
,
Sebastian Ullrich
Karlsruhe Institute of Technology
14:00 - 17:00
Lean (PM)
Tutorials
at
Salle 107, Barre 44-54
14:00
3h
Talk
The Lean Theorem Prover
Tutorials
Leonardo de Moura
Microsoft Research, Redmond
,
Gabriel Ebner
Vienna University of Technology
,
Jared Roesch
University of Washington, USA
,
Sebastian Ullrich
Karlsruhe Institute of Technology
Tue 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:50 - 09:00
Welcome Session
PLMW
at
Salle 107, Barre 44-54
08:50
10m
Day opening
Welcome Sesssion
PLMW
09:00 - 10:00
Session I
PLMW
at
Salle 107, Barre 44-54
09:00
30m
Talk
Time management, family and quality of life
PLMW
Kathleen Fisher
Tufts University
File Attached
09:30
30m
Talk
Abductive Reasoning in Deductive Verification
PLMW
Işıl Dillig
UT Austin
File Attached
10:30 - 12:00
Session II
PLMW
at
Salle 107, Barre 44-54
10:30
30m
Talk
What is research and how to do it? Thinking globally and acting locally.
PLMW
Michael Hicks
University of Maryland at College Park, USA
File Attached
11:00
30m
Talk
Mechanizing Meta-Theory in Beluga
PLMW
Brigitte Pientka
McGill University
File Attached
11:30
30m
Talk
Research: The Industrial Culture
PLMW
Nikhil Swamy
Microsoft Research
File Attached
14:00 - 15:30
Session III
PLMW
at
Salle 107, Barre 44-54
14:00
60m
Talk
Student Interaction Activity
PLMW
Eva Darulova
MPI-SWS
,
Loris D'Antoni
University of Wisconsin–Madison
,
Alexandra Silva
University College London
,
Dimitrios Vytiniotis
Microsoft Research, Cambridge
15:00
30m
Talk
How to Give Talks That People Can Follow
PLMW
Derek Dreyer
MPI-SWS
File Attached
16:00 - 18:00
Session IV
PLMW
at
Salle 107, Barre 44-54
16:00
30m
Talk
Machine Learning and Programming Languages: latest directions and research opportunities
PLMW
Martin Vechev
ETH Zurich
File Attached
16:30
30m
Talk
The Curse of Knowledge
PLMW
Benjamin C. Pierce
University of Pennsylvania
File Attached
17:00
60m
Talk
Young Researcher Panel Session
PLMW
Roopsha Samanta
Purdue University
,
Nada Amin
EPFL
,
Jonathan Protzenko
Microsoft Research
,
Zachary Kincaid
Princeton University
Sat 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Session I
RDP
at
Salle 107, Barre 44-54
Chair(s):
Victor Vianu
UC San Diego
09:00
15m
Talk
Welcome
RDP
Nate Foster
Cornell University
,
Mooly Sagiv
Tel Aviv University
,
Victor Vianu
UC San Diego
09:15
45m
Talk
Automatic Verification of Database-Centric Workflows
RDP
Alin Deutsch
10:30 - 12:00
Session II
RDP
at
Salle 107, Barre 44-54
Chair(s):
Mooly Sagiv
Tel Aviv University
10:30
30m
Talk
Verification Challenges in Applications of Blockchain for Business Collaboration
RDP
Takaaki Tateishi
IBM Research - Tokyo
11:00
30m
Talk
Fiat: A New Take on Domain-Specific Languages by Programming with Specifications
RDP
Adam Chlipala
MIT
11:30
30m
Talk
Parallel-Correctness and Transferability for Conjunctive Queries
RDP
Frank Neven
14:00 - 15:30
Session III
RDP
at
Salle 107, Barre 44-54
Chair(s):
Nate Foster
Cornell University
14:00
45m
Talk
Synthesizing Data-parallel Programs
RDP
Aws Albarghouthi
University of Wisconsin - Madison
14:45
45m
Talk
Cosette: A Solver for SQL Equivalences
RDP
Alvin Cheung
University of Washington
16:00 - 18:00
Session IV
RDP
at
Salle 107, Barre 44-54
Chair(s):
Victor Vianu
UC San Diego
16:00
30m
Talk
Building performance-sensitive systems in high-level languages
RDP
Christoph E. Koch
16:30
30m
Talk
Programming Language Ideas Escape the Lab: Declarative Data Description Languages for Managing Ad hoc Data
RDP
Kathleen Fisher
Tufts University
17:00
30m
Talk
Computation with Atoms
RDP
Szymon Toruńczyk
17:30
30m
Talk
Discussion
RDP
Nate Foster
Cornell University
,
Victor Vianu
UC San Diego
,
Mooly Sagiv
Tel Aviv University
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 107, Barre 44-54
Tutorials
Lean (AM)
Tutorials
Lean (PM)
Tue 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
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 107, Barre 44-54
PLMW
Welcome Session
PLMW
Session I
PLMW
Session II
PLMW
Session III
PLMW
Session IV
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
Salle 107, Barre 44-54
RDP
Session I
RDP
Session II
RDP
Session III
RDP
Session IV
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 107, Barre 44-54
POPL Tutorials
The Lean Theorem Prover
09:00 - 12:00
POPL Tutorials
The Lean Theorem Prover
14:00 - 17:00
Tue 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
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 107, Barre 44-54
PLMW
Welcome Sesssion
08:50 - 09:00
PLMW
Time management, family and quality of life
09:00 - 09:30
PLMW
Abductive Reasoning in Deductive Verification
09:30 - 10:00
PLMW
What is research and how to do it? Thinking globally and acting locally.
10:30 - 11:00
PLMW
Mechanizing Meta-Theory in Beluga
11:00 - 11:30
PLMW
Research: The Industrial Culture
11:30 - 12:00
PLMW
Student Interaction Activity
14:00 - 15:00
PLMW
How to Give Talks That People Can Follow
15:00 - 15:30
PLMW
Machine Learning and Programming Languages: latest directions and resea ...
16:00 - 16:30
PLMW
The Curse of Knowledge
16:30 - 17:00
PLMW
Young Researcher Panel Session
17:00 - 18: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
Salle 107, Barre 44-54
RDP
Welcome
09:00 - 09:15
RDP
Automatic Verification of Database-Centric Workflows
09:15 - 10:00
RDP
Verification Challenges in Applications of Blockchain for Business Coll ...
10:30 - 11:00
RDP
Fiat: A New Take on Domain-Specific Languages by Programming with Speci ...
11:00 - 11:30
RDP
Parallel-Correctness and Transferability for Conjunctive Queries
11:30 - 12:00
RDP
Synthesizing Data-parallel Programs
14:00 - 14:45
RDP
Cosette: A Solver for SQL Equivalences
14:45 - 15:30
RDP
Building performance-sensitive systems in high-level languages
16:00 - 16:30
RDP
Programming Language Ideas Escape the Lab: Declarative Data Description ...
16:30 - 17:00
RDP
Computation with Atoms
17:00 - 17:30
RDP
Discussion
17:30 - 18:00
x
Mon 30 Dec 17:02