POPL 2018
Sun 7 - Sat 13 January 2018
Los Angeles, California, United States
Toggle navigation
Attending
Venue: Omni Hotel
Registration
Code of Conduct
Supporting POPL
Childcare
Students
Visa Support Letter
Accessibility
Remote Participation
Program
Complete Program
Your Program
Proceedings
Filter by Day
Sun 7 Jan
Mon 8 Jan
Tue 9 Jan
Wed 10 Jan
Thu 11 Jan
Fri 12 Jan
Sat 13 Jan
Tracks
POPL 2018
Research Papers
TutorialFest
Student Research Competition
Workshops
Artifact Evaluation
Student Volunteers
Co-hosted Conferences
CPP
CPP
CPP
VMCAI
Workshops
PPS
CoqPL
NetPL
Off the Beaten Track
PEPM
PLMW
PriSC
Co-hosted Symposia
PADL
Organization
POPL 2018 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
TutorialFest
Student Research Competition
Workshops
Artifact Evaluation
Student Volunteers
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Invited Speakers
Invited Tutorial
Organizing Committee
Travel Grants
Program Committee
Workshops
PPS
Program Committee
CoqPL
Organizing Committee
Program Committee
NetPL
Organizing Committee
Off the Beaten Track
Organizing Committee
Program Committee
PEPM
Programme Committee
Steering Committee
PLMW
Speakers
Panelists
Organizers
PriSC
Program Committee
Organizing Committee
Co-hosted Symposia
PADL
Publicity Chair
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2018
(
series
) /
Omni Hotel
/
Room information: Museum B
Venue
Omni Hotel
Room name
Museum B
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-08:00) Tijuana, Baja California
.
Use conference time zone: (GMT-08:00) Tijuana, Baja California
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 8 Jan
Displayed time zone:
Tijuana, Baja California
change
09:00 - 10:30
Message-Passing Concurrency and Substructural Logics
TutorialFest
at
Museum B
09:00
90m
Talk
Message-Passing Concurrency and Substructural Logics
TutorialFest
Frank Pfenning
Carnegie Mellon University, USA
Media Attached
11:00 - 12:00
Message-Passing Concurrency and Substructural Logics
TutorialFest
at
Museum B
11:00
60m
Talk
Message-Passing Concurrency and Substructural Logics
TutorialFest
Frank Pfenning
Carnegie Mellon University, USA
Media Attached
14:00 - 15:30
Iris - A Higher-Order Concurrent Separation Logic
TutorialFest
at
Museum B
14:00
90m
Talk
Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic.
TutorialFest
Jacques-Henri Jourdan
CNRS, LRI, Université Paris-Sud
,
A:
Robbert Krebbers
Delft University of Technology
Media Attached
16:00 - 17:00
Iris - A Higher-Order Concurrent Separation Logic
TutorialFest
at
Museum B
16:00
60m
Talk
Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic.
TutorialFest
Jacques-Henri Jourdan
CNRS, LRI, Université Paris-Sud
,
A:
Robbert Krebbers
Delft University of Technology
Media Attached
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
change
09:00 - 10:00
Talks I
PLMW
at
Museum B
09:00
30m
Talk
Liquid Haskell: Refinement Types for Haskell
PLMW
Niki Vazou
University of Maryland
File Attached
09:30
30m
Talk
How to Become a Researcher
PLMW
Armando Solar-Lezama
MIT CSAIL
File Attached
10:30 - 12:00
Panel I
PLMW
at
Museum B
10:30
90m
Talk
Panel I: Technical Trends in Programming Languages Research
PLMW
Aws Albarghouthi
University of Wisconsin-Madison
,
Constantin Enea
Université Paris Diderot
,
David Walker
Princeton University
,
Andrew Myers
Cornell University
13:30 - 15:30
Talks II
PLMW
at
Museum B
14:00
30m
Talk
Dafny Overview
PLMW
K. Rustan M. Leino
Amazon
Media Attached
File Attached
14:30
30m
Talk
The Curse of Knowledge
PLMW
Benjamin C. Pierce
University of Pennsylvania
Media Attached
15:00
30m
Talk
How to Give Talks That People Can Follow
PLMW
Derek Dreyer
MPI-SWS
Media Attached
16:00 - 18:00
Panel II
PLMW
at
Museum B
16:00
30m
Talk
Work-Life Balance?
PLMW
Andrew Myers
Cornell University
File Attached
16:30
90m
Talk
Panel II: Life in Grad School (and Beyond)
PLMW
Azadeh Farzan
University of Toronto
,
Zachary Tatlock
University of Washington, Seattle
,
Thomas Ball
Microsoft Research
,
Jennifer Paykin
University of Pennsylvania
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
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
Museum B
TutorialFest
Message-Passing Concurrency and Substructural Logics
TutorialFest
Message-Passing Concurrency and Substructural Logics
TutorialFest
Iris - A Higher-Order Concurrent Separation Logic
TutorialFest
Iris - A Higher-Order Concurrent Separation Logic
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
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
Museum B
PLMW
Talks I
PLMW
Panel I
PLMW
Talks II
PLMW
Panel II
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
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
Museum B
POPL TutorialFest
Message-Passing Concurrency and Substructural Logics
09:00 - 10:30
POPL TutorialFest
Message-Passing Concurrency and Substructural Logics
11:00 - 12:00
POPL TutorialFest
Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic.
14:00 - 15:30
POPL TutorialFest
Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic.
16:00 - 17:00
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
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
Museum B
PLMW
Liquid Haskell: Refinement Types for Haskell
09:00 - 09:30
PLMW
How to Become a Researcher
09:30 - 10:00
PLMW
Panel I: Technical Trends in Programming Languages Research
10:30 - 12:00
PLMW
Dafny Overview
14:00 - 14:30
PLMW
The Curse of Knowledge
14:30 - 15:00
PLMW
How to Give Talks That People Can Follow
15:00 - 15:30
PLMW
Work-Life Balance?
16:00 - 16:30
PLMW
Panel II: Life in Grad School (and Beyond)
16:30 - 18:00
x
Tue 16 Apr 06:46