POPL 2017
Sun 15 - Sat 21 January 2017
VenueParis Jussieu
Room nameAuditorium Hall
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

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

10:00 - 10:30
Coffee breakCatering at Auditorium Hall
10:00
30m
Coffee break
Break
Catering
15:30 - 16:00
Coffee breakCatering at Auditorium Hall
15:30
30m
Coffee break
Break
Catering

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

10:00 - 10:30
Coffee breakCatering at Auditorium Hall
10:00
30m
Coffee break
Break
Catering
15:30 - 16:00
Coffee breakCatering at Auditorium Hall
15:30
30m
Coffee break
Break
Catering

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

10:00 - 10:30
Coffee breakCatering at Auditorium Hall
10:00
30m
Coffee break
Break
Catering
16:00 - 16:30
Coffee breakCatering at Auditorium Hall
16:00
30m
Coffee break
Break
Catering

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

10:00 - 10:30
Coffee breakCatering at Auditorium Hall
10:00
30m
Coffee break
Break
Catering
16:00 - 16:30
Coffee breakCatering at Auditorium Hall
16:00
30m
Coffee break
Break
Catering
18:20 - 20:20
Poster SessionStudent Research Competition at Auditorium Hall
Chair(s): Qirun ZhangUniversity of California, Davis, Matteo CiminiIndiana University, USA, Julien SignolesCEA LIST, Kim NguyễnLRI, Université Paris-Sud
18:20
10m
Demonstration
Naturality despite Nontermination: A Logical Relation for Linear Types and Polymorphism
Student Research Competition
Nicholas RiouxNortheastern University
18:30
10m
Demonstration
Gradual Type Precision as Retraction
Student Research Competition
Max NewNortheastern University
18:40
10m
Demonstration
Linking Types: Specifying Safe Interoperability and Equivalences
Student Research Competition
Daniel PattersonNortheastern University
18:50
10m
Demonstration
A Monadic Framework for Bidirectional Programming
Student Research Competition
Li-yao XiaENS Paris
19:00
10m
Demonstration
Gradual Set-Theoretic Types
Student Research Competition
Victor LanvinENS Paris-Saclay
19:10
10m
Demonstration
Abstract Interpretation of High-Level Transformations
Student Research Competition
Ahmad Salim Al-SibahiIT University of Copenhagen, Denmark
19:20
10m
Demonstration
FairSquare: A Static Analysis Tool for Algorithmic Fairness
Student Research Competition
Samuel DrewsUniversity of Wisconsin-Madison
19:30
10m
Demonstration
Toward Type-Preserving Compilation of Coq
Student Research Competition
William J. BowmanNortheastern University
19:40
10m
Demonstration
A Symbolic Execution Framework for Haskell
Student Research Competition
Anton XueYale University
19:50
10m
Demonstration
Synthesizing Imperative Programs from Examples for Introductory Programming Assignments
Student Research Competition
Sunbeom SoKorea University
20:00
10m
Demonstration
Provenance for Configuration Language Security
Student Research Competition
Weili FuUniversity of Edinburgh
20:10
10m
Demonstration
A gradually typed polymorphic lambda calculus
Student Research Competition
Yuu IgarashiKyoto University

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

10:00 - 10:30
Coffee breakCatering at Auditorium Hall
10:00
30m
Coffee break
Break
Catering
16:00 - 16:30
Coffee breakCatering at Auditorium Hall
16:00
30m
Coffee break
Break
Catering

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

10:00 - 10:30
Coffee breakCatering at Auditorium Hall
10:00
30m
Coffee break
Break
Catering
15:30 - 16:00
Coffee breakCatering at Auditorium Hall
15:30
30m
Coffee break
Break
Catering

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

Room10:003011:003012:003013:003014:003015:0030
Auditorium Hall

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

Room10:003011:003012:003013:003014:003015:0030
Auditorium Hall

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

Room10:003011:003012:003013:003014:003015:003016:0030
Auditorium Hall

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

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Auditorium Hall

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

Room10:003011:003012:003013:003014:003015:003016:0030
Auditorium Hall

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

Room10:003011:003012:003013:003014:003015:0030
Auditorium Hall

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
15:30 - 16:00

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
15:30 - 16:00

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
16:00 - 16:30

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
16:00 - 16:30

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Auditorium Hall
POPL Catering
Break
10:00 - 10:30
POPL Catering
Break
15:30 - 16:00