POPL 2017
Sun 15 - Sat 21 January 2017
VenueParis Jussieu
Room nameSalle 107, Barre 44-54
Floor2
Room number107
Capacity80
Additional information

This room is located in barre 44-54.

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

09:00 - 12:00: Lean (AM)Tutorials at Salle 107, Barre 44-54
09:00 - 12:00
Talk
The Lean Theorem Prover
Tutorials
Leonardo De MouraMicrosoft Research, Redmond, Gabriel EbnerVienna University of Technology, Jared RoeschUniversity of Washington, USA, Sebastian UllrichKarlsruhe Institute of Technology
14:00 - 17:00: Lean (PM)Tutorials at Salle 107, Barre 44-54
14:00 - 17:00
Talk
The Lean Theorem Prover
Tutorials
Leonardo De MouraMicrosoft Research, Redmond, Gabriel EbnerVienna University of Technology, Jared RoeschUniversity of Washington, USA, Sebastian UllrichKarlsruhe Institute of Technology

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

08:50 - 09:00: Welcome SessionPLMW at Salle 107, Barre 44-54
08:50 - 09:00
Day opening
Welcome Sesssion
PLMW
10:30 - 12:00: Session IIPLMW at Salle 107, Barre 44-54
10:30 - 11:00
Talk
What is research and how to do it? Thinking globally and acting locally.
PLMW
Michael HicksUniversity of Maryland at College Park, USA
File Attached
11:00 - 11:30
Talk
Mechanizing Meta-Theory in Beluga
PLMW
Brigitte PientkaMcGill University
File Attached
11:30 - 12:00
Talk
Research: The Industrial Culture
PLMW
Nikhil SwamyMicrosoft Research
File Attached
14:00 - 15:30: Session IIIPLMW at Salle 107, Barre 44-54
14:00 - 15:00
Talk
Student Interaction Activity
PLMW
Eva DarulovaMPI-SWS, Loris D'AntoniUniversity of Wisconsin–Madison, Alexandra SilvaUniversity College London, Dimitrios VytiniotisMicrosoft Research, Cambridge
15:00 - 15:30
Talk
How to Give Talks That People Can Follow
PLMW
File Attached
16:00 - 18:00: Session IVPLMW at Salle 107, Barre 44-54
16:00 - 16:30
Talk
Machine Learning and Programming Languages: latest directions and research opportunities
PLMW
Martin VechevETH Zurich
File Attached
16:30 - 17:00
Talk
The Curse of Knowledge
PLMW
Benjamin C. PierceUniversity of Pennsylvania
File Attached
17:00 - 18:00
Talk
Young Researcher Panel Session
PLMW
Roopsha SamantaPurdue University, Nada AminEPFL, Jonathan ProtzenkoMicrosoft Research, Zachary KincaidPrinceton University

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

09:00 - 10:00: Session IRDP at Salle 107, Barre 44-54
Chair(s): Victor VianuUC San Diego
09:00 - 09:15
Talk
Welcome
RDP
Nate FosterCornell University, Mooly SagivTel Aviv University, Victor VianuUC San Diego
09:15 - 10:00
Talk
Automatic Verification of Database-Centric Workflows
RDP
14:00 - 15:30: Session IIIRDP at Salle 107, Barre 44-54
Chair(s): Nate FosterCornell University
14:00 - 14:45
Talk
Synthesizing Data-parallel Programs
RDP
Aws AlbarghouthiUniversity of Wisconsin - Madison
14:45 - 15:30
Talk
Cosette: A Solver for SQL Equivalences
RDP
Alvin CheungUniversity of Washington

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Salle 107, Barre 44-54

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Salle 107, Barre 44-54

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Salle 107, Barre 44-54

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Salle 107, Barre 44-54

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