CPP 2017
Wed 18 - Fri 20 January 2017
co-located with
POPL 2017
Toggle navigation
Attending
Campus: Paris Jussieu
Program
Complete Program
Your Program
Wed 18 Jan
Thu 19 Jan
Fri 20 Jan
Track/Call
Organization
CPP 2017 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
CPP 2025
CPP 2024
CPP 2023
CPP 2022
CPP 2021
CPP 2020
CPP 2019
CPP 2018
CPP 2017
CPP 2016
Sign in
Sign up
POPL 2017
(
series
) /
CPP 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
POPL Catering
at
Auditorium Hall
10:00
30m
Coffee break
Break
POPL Catering
15:30 - 16:00
Coffee break
POPL Catering
at
Auditorium Hall
15:30
30m
Coffee break
Break
POPL Catering
Tue 17 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 10:30
Coffee break
POPL Catering
at
Auditorium Hall
10:00
30m
Coffee break
Break
POPL Catering
15:30 - 16:00
Coffee break
POPL Catering
at
Auditorium Hall
15:30
30m
Coffee break
Break
POPL Catering
Wed 18 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 10:30
Coffee break
POPL Catering
at
Auditorium Hall
10:00
30m
Coffee break
Break
POPL Catering
16:00 - 16:30
Coffee break
POPL Catering
at
Auditorium Hall
16:00
30m
Coffee break
Break
POPL Catering
Thu 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 10:30
Coffee break
POPL Catering
at
Auditorium Hall
10:00
30m
Coffee break
Break
POPL Catering
16:00 - 16:30
Coffee break
POPL Catering
at
Auditorium Hall
16:00
30m
Coffee break
Break
POPL Catering
18:20 - 20:20
Poster Session
POPL 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
POPL Student Research Competition
Nicholas Rioux
Northeastern University
18:30
10m
Demonstration
Gradual Type Precision as Retraction
POPL Student Research Competition
Max S. New
Northeastern University
18:40
10m
Demonstration
Linking Types: Specifying Safe Interoperability and Equivalences
POPL Student Research Competition
Daniel Patterson
Northeastern University
18:50
10m
Demonstration
A Monadic Framework for Bidirectional Programming
POPL Student Research Competition
Li-yao Xia
ENS Paris
19:00
10m
Demonstration
Gradual Set-Theoretic Types
POPL Student Research Competition
Victor Lanvin
ENS Paris-Saclay
19:10
10m
Demonstration
Abstract Interpretation of High-Level Transformations
POPL Student Research Competition
Ahmad Salim Al-Sibahi
IT University of Copenhagen, Denmark
19:20
10m
Demonstration
FairSquare: A Static Analysis Tool for Algorithmic Fairness
POPL Student Research Competition
Samuel Drews
University of Wisconsin-Madison
19:30
10m
Demonstration
Toward Type-Preserving Compilation of Coq
POPL Student Research Competition
William J. Bowman
Northeastern University
19:40
10m
Demonstration
A Symbolic Execution Framework for Haskell
POPL Student Research Competition
Anton Xue
Yale University
19:50
10m
Demonstration
Synthesizing Imperative Programs from Examples for Introductory Programming Assignments
POPL Student Research Competition
Sunbeom So
Korea University
20:00
10m
Demonstration
Provenance for Configuration Language Security
POPL Student Research Competition
Weili Fu
University of Edinburgh
20:10
10m
Demonstration
A gradually typed polymorphic lambda calculus
POPL 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
POPL Catering
at
Auditorium Hall
10:00
30m
Coffee break
Break
POPL Catering
16:00 - 16:30
Coffee break
POPL Catering
at
Auditorium Hall
16:00
30m
Coffee break
Break
POPL Catering
Sat 21 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 10:30
Coffee break
POPL Catering
at
Auditorium Hall
10:00
30m
Coffee break
Break
POPL Catering
15:30 - 16:00
Coffee break
POPL Catering
at
Auditorium Hall
15:30
30m
Coffee break
Break
POPL 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
POPL Catering
Coffee break
POPL 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
POPL Catering
Coffee break
POPL 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
POPL Catering
Coffee break
POPL 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
POPL Catering
Coffee break
POPL Catering
Coffee break
POPL 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
POPL Catering
Coffee break
POPL 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
POPL Catering
Coffee break
POPL 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
Wed 13 Nov 02:11