Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with
POPL 2017
Toggle navigation
Attending
Campus: Paris Jussieu
VMCAI'17 Social Event - Jan 16th
POPL 2017
Proceedings
Students
Registration
Practical information
Visas
Accommodation
Banner image credits
Program
VMCAI Program
Your Program
Accepted Papers
Sun 15 Jan
Mon 16 Jan
Tue 17 Jan
Track/Call
Organization
VMCAI 2017 Committees
Organizing Committee
Program committee
Steering Committee
Track Committees
Program Chairs
Contributors
People Index
Search
Series
Series
VMCAI 2025
VMCAI 2024
VMCAI 2023
VMCAI 2022
VMCAI 2021
VMCAI 2020
VMCAI 2019
VMCAI 2018
VMCAI 2017
VMCAI
Sign in
Sign up
POPL 2017
(
series
) /
VMCAI 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
Sun 22 Dec 02:23