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: 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)
POPL Tutorials
at
Salle 107, Barre 44-54
09:00
3h
Talk
The Lean Theorem Prover
POPL 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)
POPL Tutorials
at
Salle 107, Barre 44-54
14:00
3h
Talk
The Lean Theorem Prover
POPL 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
POPL Tutorials
Lean (AM)
POPL 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
Sat 21 Dec 19:54