POPL 2017
Sun 15 - Sat 21 January 2017
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 15 Jan

VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 1 at Amphitheater 44
Chair(s): David Monniaux
VMCAI-2017-papers148446720000009:00 - 10:00
Talk
File Attached
SCM-2017
09:15 - 10:00: SCM - Session I at Salle 109, Barre 44-54
SCM-2017148446810000009:15 - 10:00
Talk
Link to publication
POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Catering area
POPL-2017-catering148447080000010:00 - 10:30
Coffee break
POPL-2017-catering
12:00 - 14:00: Catering - Buffet at Catering area
POPL-2017-catering148447800000012:00 - 14:00
Lunch
POPL-2017-catering
15:30 - 16:00: Catering - Coffee break at Catering area
POPL-2017-catering148449060000015:30 - 16:00
Coffee break
TTT-2017
16:00 - 18:00: TTT - Second Afternoon Session at Salle 105, Barre 44-54
Chair(s): Hugo Herbelin
TTT-2017148449240000016:00 - 16:50
Talk
TTT-2017148449540000016:50 - 17:10
Talk
TTT-2017148449660000017:10 - 18:00
Other

Mon 16 Jan

PADL-2017
08:50 - 09:00: PADL - Opening remarks at Salle 116, Barre 44-54
Chair(s): Yuliya Lierler, Walid Taha
PADL-2017148455300000008:50 - 09:00
Talk
PADL-2017
09:00 - 10:00: PADL - Invited Talk at Salle 116, Barre 44-54
PADL-2017148455360000009:00 - 10:00
Talk
POPL-2017-Tutorials
09:00 - 12:00: Tutorials - Gradual Typing (AM) at Salle 105, Barre 44-54
POPL-2017-Tutorials148455360000009:00 - 12:00
Talk
POPL-2017-Tutorials
09:00 - 12:00: Tutorials - Frama-C (AM) at Salle 114, Barre 44-54
POPL-2017-Tutorials148455360000009:00 - 12:00
Talk
POPL-2017-Tutorials
09:00 - 12:00: Tutorials - Lean (AM) at Salle 107, Barre 44-54
POPL-2017-Tutorials148455360000009:00 - 12:00
Talk
CPP-2017
09:00 - 10:00: CPP - Invited Talk at Auditorium
CPP-2017148455360000009:00 - 10:00
Talk
File Attached
POPL-2017-Tutorials
09:00 - 12:00: Tutorials - Flow (AM) at Salle 112, Barre 44-54
POPL-2017-Tutorials148455360000009:00 - 12:00
Talk
Media Attached
VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 2 at Amphitheater 44
Chair(s): Ahmed Bouajjani
VMCAI-2017-papers148455360000009:00 - 10:00
Talk
POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148455720000010:00 - 10:30
Coffee break
POPL-2017-catering
12:00 - 14:00: Catering - Buffet at Catering area
POPL-2017-catering148456440000012:00 - 14:00
Lunch
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Gradual Typing (PM) at Salle 105, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk
pepm-workshop
14:00 - 15:30: PEPM 2017 - Tutorial (Idris, Inside-Out) and Poster Session at Salle 109, Barre 44-54
Chair(s): Ulrik Schultz, Jeremy Yallop
pepm-workshop148457160000014:00 - 15:00
Talk
pepm-workshop148457520000015:00 - 15:30
Talk
pepm-workshop148457520000015:00 - 15:30
Talk
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Lean (PM) at Salle 107, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Frama-C (PM) at Salle 114, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Flow (PM) at Salle 112, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk
Media Attached
POPL-2017-catering
15:30 - 16:00: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148457700000015:30 - 16:00
Coffee break
PADL-2017
16:00 - 17:30: PADL - Applications I and Inference at Salle 116, Barre 44-54
PADL-2017148457880000016:00 - 16:30
Talk
PADL-2017148458060000016:30 - 17:00
Talk
PADL-2017148458240000017:00 - 17:30
Talk
VMCAI-2017-papers
16:00 - 17:30: VMCAI - Symbolic analysis and invariant synthesis at Amphitheater 44
Chair(s): Constantin Enea
VMCAI-2017-papers148457880000016:00 - 16:30
Talk
VMCAI-2017-papers148458060000016:30 - 17:00
Talk
VMCAI-2017-papers148458240000017:00 - 17:30
Talk
VMCAI-2017-papers
19:30 - 22:00: VMCAI - Banquet at Procope

Tue 17 Jan

PLMW-2017
08:50 - 09:00: PLMW - Welcome Session at Salle 107, Barre 44-54
PLMW-2017148463940000008:50 - 09:00
Day opening
PLMW-2017
09:00 - 10:00: PLMW - Session I at Salle 107, Barre 44-54
PLMW-2017148464000000009:00 - 09:30
Talk
File Attached
PLMW-2017148464180000009:30 - 10:00
Talk
File Attached
pps-2017
09:00 - 10:00: PPS - Session 1 at Salle 105, Barre 44-54
Chair(s): Cameron Freer
pps-2017148464000000009:00 - 10:00
Talk
pepm-workshop
09:00 - 10:00: PEPM 2017 - Tutorial: reversible computing at Salle 109, Barre 44-54
Chair(s): Ulrik Schultz
pepm-workshop148464000000009:00 - 10:00
Talk
CPP-2017
09:00 - 10:00: CPP - Invited Talk at Auditorium
CPP-2017148464000000009:00 - 10:00
Talk
File Attached
VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 3 at Amphitheater 44
Chair(s): Andreas Podelski
VMCAI-2017-papers148464000000009:00 - 10:00
Talk
POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148464360000010:00 - 10:30
Coffee break
pps-2017
10:30 - 12:00: PPS - Session 2 at Salle 105, Barre 44-54
Chair(s): Chad Scherrer
pps-2017148464540000010:30 - 10:50
Talk
pps-2017148464660000010:50 - 11:00
Meeting
pps-2017148464720000011:00 - 11:20
Talk
pps-2017148464840000011:20 - 11:30
Meeting
pps-2017148464900000011:30 - 11:50
Talk
pps-2017148465020000011:50 - 12:00
Meeting
VMCAI-2017-papers
10:30 - 12:00: VMCAI - Model Checking and Synthesis at Amphitheater 44
Chair(s): Ahmed Bouajjani
VMCAI-2017-papers148464540000010:30 - 11:00
Talk
VMCAI-2017-papers148464720000011:00 - 11:30
Talk
File Attached
VMCAI-2017-papers148464900000011:30 - 12:00
Talk
POPL-2017-catering
12:00 - 14:00: Catering - Buffet at Catering area
POPL-2017-catering148465080000012:00 - 14:00
Lunch
PLMW-2017
14:00 - 15:30: PLMW - Session III at Salle 107, Barre 44-54
PLMW-2017148465800000014:00 - 15:00
Talk
PLMW-2017148466160000015:00 - 15:30
Talk
File Attached
pps-2017
14:00 - 15:30: PPS - Session 3 at Salle 105, Barre 44-54
Chair(s): Sam Staton
pps-2017148465800000014:00 - 14:20
Talk
pps-2017148465920000014:20 - 14:30
Meeting
pps-2017148465980000014:30 - 14:50
Talk
pps-2017148466100000014:50 - 15:00
Meeting
pps-2017148466160000015:00 - 15:20
Talk
pps-2017148466280000015:20 - 15:30
Meeting
pepm-workshop
14:00 - 15:30: PEPM 2017 - Tutorial: Partial Evaluation for Language Implementation at Salle 109, Barre 44-54
Chair(s): Jeremy Yallop
pepm-workshop148465800000014:00 - 15:30
Talk
pps-2017
15:30 - 16:30: PPS - Poster Session at Salle 105, Barre 44-54
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
POPL-2017-catering
15:30 - 16:00: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148466340000015:30 - 16:00
Coffee break
pps-2017
16:30 - 18:00: PPS - Session 5 at Salle 105, Barre 44-54
Chair(s): Chung-chieh Shan
pps-2017148466700000016:30 - 16:50
Talk
pps-2017148466820000016:50 - 17:00
Meeting
pps-2017148466880000017:00 - 17:20
Talk
pps-2017148467000000017:20 - 17:30
Meeting
pps-2017148467060000017:30 - 17:50
Talk
pps-2017148467180000017:50 - 18:00
Meeting
pps-2017
18:15 - 19:15: PPS - Session 6 at Salle 105, Barre 44-54
Chair(s): Hongseok Yang
pps-2017148467330000018:15 - 18:35
Talk
pps-2017148467450000018:35 - 18:45
Meeting
pps-2017148467510000018:45 - 19:05
Talk
pps-2017148467630000019:05 - 19:15
Meeting

Wed 18 Jan

POPL-2017-papers
09:00 - 09:05: POPL - Opening at Auditorium
Chair(s): Giuseppe Castagna, Andrew D. Gordon
POPL-2017-papers148472640000009:00 - 09:05
Day opening
POPL-2017-papers
09:05 - 10:00: POPL - Invited speaker at Auditorium
Chair(s): Andrew D. Gordon
POPL-2017-papers148472670000009:05 - 10:00
Talk
POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148473000000010:00 - 10:30
Coffee break
POPL-2017-papers
10:30 - 12:10: POPL - Type Systems 1 at Auditorium
Chair(s): Avik Chaudhuri
POPL-2017-papers148473180000010:30 - 10:55
Talk
POPL-2017-papers148473330000010:55 - 11:20
Talk
POPL-2017-papers148473480000011:20 - 11:45
Talk
POPL-2017-papers148473630000011:45 - 12:10
Talk
POPL-2017-catering
12:10 - 14:20: Catering - Buffet at Catering area
POPL-2017-catering148473780000012:10 - 14:20
Lunch
POPL-2017-catering
16:00 - 16:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148475160000016:00 - 16:30
Coffee break
POPL-2017-catering
19:30 - 23:00: Catering - Social dinner at Musée des Arts Forains
POPL-2017-catering148476420000019:30 - 23:00
Dinner

Thu 19 Jan

POPL-2017-papers
09:00 - 09:15: POPL - ACM and SIGPLAN Awards at Auditorium
Chair(s): Satnam Singh
POPL-2017-papers148481280000009:00 - 09:05
Awards
POPL-2017-papers148481310000009:05 - 09:10
Awards
POPL-2017-papers148481340000009:10 - 09:15
Awards
POPL-2017-papers
09:15 - 10:00: POPL - Invited speaker at Auditorium
Chair(s): Roberto Giacobazzi
POPL-2017-papers148481370000009:15 - 10:00
Talk
POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148481640000010:00 - 10:30
Coffee break
POPL-2017-papers
10:30 - 12:10: POPL - Type Systems 2 at Auditorium
Chair(s): Andrew D. Gordon
POPL-2017-papers148481820000010:30 - 10:55
Talk
POPL-2017-papers148481970000010:55 - 11:20
Talk
POPL-2017-papers148482120000011:20 - 11:45
Talk
POPL-2017-papers148482270000011:45 - 12:10
Talk
POPL-2017-catering
12:10 - 14:20: Catering - Buffet at Catering area
POPL-2017-catering148482420000012:10 - 14:20
Lunch
POPL-2017-papers
14:20 - 16:00: POPL - Functional Programming with Effects at Auditorium
Chair(s): Kathleen Fisher
POPL-2017-papers148483200000014:20 - 14:45
Talk
POPL-2017-papers148483350000014:45 - 15:10
Talk
POPL-2017-papers148483500000015:10 - 15:35
Talk
Pre-print
POPL-2017-papers148483650000015:35 - 16:00
Talk
POPL-2017-catering
16:00 - 16:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148483800000016:00 - 16:30
Coffee break
POPL-2017-papers
16:30 - 17:20: POPL - Logic and Programming at Auditorium
Chair(s): Nada Amin
POPL-2017-papers148483980000016:30 - 16:55
Talk
POPL-2017-papers148484130000016:55 - 17:20
Talk
POPL-2017-papers
17:20 - 18:20: POPL - Business meeting at Auditorium
Chair(s): Andrew D. Gordon
POPL-2017-papers148484280000017:20 - 17:40
Talk
POPL-2017-papers148484400000017:40 - 17:50
Talk
POPL-2017-papers148484460000017:50 - 18:20
Meeting
POPL-2017-src
POPL-2017-src148484640000018:20 - 18:30
Demonstration
POPL-2017-src148484700000018:30 - 18:40
Demonstration
POPL-2017-src148484760000018:40 - 18:50
Demonstration
POPL-2017-src148484820000018:50 - 19:00
Demonstration
POPL-2017-src148484880000019:00 - 19:10
Demonstration
POPL-2017-src148484940000019:10 - 19:20
Demonstration
POPL-2017-src148485000000019:20 - 19:30
Demonstration
POPL-2017-src148485060000019:30 - 19:40
Demonstration
POPL-2017-src148485120000019:40 - 19:50
Demonstration
POPL-2017-src148485180000019:50 - 20:00
Demonstration
POPL-2017-src148485240000020:00 - 20:10
Demonstration
POPL-2017-src148485300000020:10 - 20:20
Demonstration

Fri 20 Jan

POPL-2017-src
09:00 - 09:05: Student Research Competition - Student Competition Award at Auditorium
Chair(s): Kim Nguyễn
POPL-2017-src148489920000009:00 - 09:05
Awards
POPL-2017-papers
09:05 - 10:00: POPL - Invited speaker at Auditorium
Chair(s): Giuseppe Castagna
POPL-2017-papers148489950000009:05 - 10:00
Talk
POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148490280000010:00 - 10:30
Coffee break
POPL-2017-papers
10:30 - 12:10: POPL - Verification and Synthesis at Amphitheater 44
Chair(s): Benjamin Delaware
POPL-2017-papers148490460000010:30 - 10:55
Talk
POPL-2017-papers148490610000010:55 - 11:20
Talk
POPL-2017-papers148490760000011:20 - 11:45
Talk
POPL-2017-papers148490910000011:45 - 12:10
Talk
POPL-2017-papers
10:30 - 12:10: POPL - Type Systems 3 at Auditorium
Chair(s): Derek Dreyer
POPL-2017-papers148490460000010:30 - 10:55
Talk
POPL-2017-papers148490610000010:55 - 11:20
Talk
POPL-2017-papers148490760000011:20 - 11:45
Talk
POPL-2017-papers148490910000011:45 - 12:10
Talk
POPL-2017-catering
12:10 - 14:20: Catering - Buffet at Catering area
POPL-2017-catering148491060000012:10 - 14:20
Lunch
POPL-2017-catering
16:00 - 16:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148492440000016:00 - 16:30
Coffee break

Sat 21 Jan

N40AI
N40AI148498470000008:45 - 09:00
Day opening
PiP-2017
08:55 - 09:00: PiP 2017 - Welcome at Salle 105, Barre 44-54
PiP-2017148498530000008:55 - 09:00
Talk
RDP-2017
09:00 - 10:00: RDP - Session I at Salle 107, Barre 44-54
Chair(s): Victor Vianu
RDP-2017148498560000009:00 - 09:15
Talk
RDP-2017148498650000009:15 - 10:00
Talk
N40AI
09:00 - 10:00: Next 40 years of Abstract Interpretation - Industrial Panel 1 at Amphitheater 44
Chair(s): Antoine Miné
N40AI148498560000009:00 - 09:30
Talk
N40AI148498740000009:30 - 10:00
Talk
PiP-2017
09:00 - 10:00: PiP 2017 - Session 1 at Salle 105, Barre 44-54
PiP-2017148498560000009:00 - 09:30
Talk
PiP-2017148498740000009:30 - 10:00
Talk
main
09:00 - 10:00: CoqPL 2017 - Opening Session at Auditorium
Chair(s): Emilio Jesús Gallego Arias
main148498560000009:00 - 10:00
Talk
POPL-2017-catering
10:00 - 10:30: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148498920000010:00 - 10:30
Coffee break
N40AI
10:30 - 12:00: Next 40 years of Abstract Interpretation - Industrial Panel 2 & Systems Biology at Amphitheater 44
Chair(s): Jerome Feret
N40AI148499100000010:30 - 11:00
Talk
N40AI148499280000011:00 - 11:30
Talk
N40AI148499460000011:30 - 12:00
Talk
POPL-2017-catering
12:00 - 14:00: Catering - Buffet at Catering area
POPL-2017-catering148499640000012:00 - 14:00
Lunch
RDP-2017
14:00 - 15:30: RDP - Session III at Salle 107, Barre 44-54
Chair(s): Nate Foster
RDP-2017148500360000014:00 - 14:45
Talk
RDP-2017148500630000014:45 - 15:30
Talk
N40AI
14:00 - 15:30: Next 40 years of Abstract Interpretation - Security, Big Code and Synthesis at Amphitheater 44
Chair(s): Xavier Rival
N40AI148500360000014:00 - 14:30
Talk
N40AI148500540000014:30 - 15:00
Talk
N40AI148500720000015:00 - 15:30
Talk
POPL-2017-catering
15:30 - 16:00: Catering - Coffee break at Auditorium Hall
POPL-2017-catering148500900000015:30 - 16:00
Coffee break
PiP-2017
16:00 - 18:00: PiP 2017 - Session 4 at Salle 105, Barre 44-54
PiP-2017148501080000016:00 - 16:30
Talk
PiP-2017148501260000016:30 - 17:30
Talk
N40AI
16:00 - 18:30: Next 40 years of Abstract Interpretation - System Verification and Patrick Cousot's Keynote at Amphitheater 44
Chair(s): Francesco Ranzato
N40AI148501080000016:00 - 16:30
Talk
N40AI148501260000016:30 - 17:45
Talk
N40AI148501710000017:45 - 18:30
Social Event
main
19:00 - 21:00: CoqPL 2017 - Social Event at CoqPL-social-event-room
main148502160000019:00 - 21:00
Social Event

Sun 15 Jan 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Amphitheater 44

VMCAI

Invited talk 1
09:00 - 10:00

VMCAI

Concurrency 1
14:00 - 15:30
Catering area

Catering

Buffet
12:00 - 14:00
Salle 105, Barre 44-54
Salle 109, Barre 44-54

SCM

Session I
09:15 - 10:00

SCM

Session II
10:30 - 12:00

SCM

Session III
14:00 - 15:30

SCM

Session IV
16:00 - 17:30

Wed 18 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Amphitheater 44

POPL

Logic
16:30 - 17:45
Auditorium

POPL

Opening
09:00 - 09:05

POPL

Invited speaker
09:05 - 10:00

POPL

Type Systems 1
10:30 - 12:10

POPL

Concurrency 1
14:20 - 16:00
Auditorium Hall
Catering area

Catering

Buffet
12:10 - 14:20
Musée des Arts Forains

Thu 19 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Amphitheater 44

POPL

Concurrency 2
14:20 - 16:00
Auditorium

POPL

Invited speaker
09:15 - 10:00

POPL

Type Systems 2
10:30 - 12:10
Auditorium Hall
Catering area

Catering

Buffet
12:10 - 14:20

Fri 20 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44

POPL

Concurrency 3
14:20 - 16:00

POPL

Quantum
16:30 - 17:45
Auditorium

POPL

Invited speaker
09:05 - 10:00

POPL

Type Systems 3
10:30 - 12:10
Auditorium Hall
Catering area

Catering

Buffet
12:10 - 14:20