PLDI 2022
Mon 13 - Fri 17 June 2022
San Diego, California, United States
Toggle navigation
Attending
Venue: The Catamaran Resort, San Diego
Virtual Attendance
Registration
Code of Conduct
Sponsorship
Visa
Childcare
Students
Student Volunteers
Restaurants
COVID
Jobs
Program
Complete Program
Your Program
Filter by Day
Mon 13 Jun
Tue 14 Jun
Wed 15 Jun
Thu 16 Jun
Fri 17 Jun
Sat 18 Jun
Sun 19 Jun
Mon 20 Jun
Tue 21 Jun
Tracks
PLDI 2022
Research Artifacts
PLDI
Tutorials
Workshops and Tutorials
SIGPLAN Track
SRC
Student Volunteering
W@PLDI
Co-hosted Conferences
ISMM
LCTES
Workshops
ARRAY
ASA
Commute
EGRAPHS
Infer
MAPS
PLMW
SOAP
SOAP
- Static Analysis for Data Scientists
- Using static analysis to scale security at Meta
Organization
PLDI 2022 Committees
Organizing Committee
Track Committees
Research Artifacts
PLDI
Workshops and Tutorials
SIGPLAN Track
SRC
Student Volunteering
W@PLDI
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Program Committee
External Review Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
ASA
Organizing Committee
Program Committee
Commute
Organizing Committee
Program Committee
EGRAPHS
Organizing Committee
Program Committee
Infer
Organizing Committee
Program Committee
MAPS
Organizing Committee
Program Committee
PLMW
Organizing Committee
SOAP
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2022
(
series
) /
The Catamaran Resort, San Diego
/
Room information: Rousseau West
Venue
The Catamaran Resort, San Diego
Room name
Rousseau West
Floor
0
Capacity
50
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-07:00) Pacific Time (US & Canada)
.
Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) 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+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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 13 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:00
(Tutorial) Discover[i] Part I
Tutorials
at
Rousseau West
+12h
09:00
60m
Tutorial
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
Tutorials
Roopsha Samanta
Purdue University
,
Nouraldin Jaber
Purdue University
,
Christopher Wagner
Purdue University
10:30 - 12:00
(Tutorial) Discover[i] Part II
Tutorials
at
Rousseau West
+12h
10:30
90m
Tutorial
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
Tutorials
Roopsha Samanta
Purdue University
,
Nouraldin Jaber
Purdue University
,
Christopher Wagner
Purdue University
13:30 - 15:00
(Tutorial) JISET Part I
Tutorials
at
Rousseau West
+12h
13:30
90m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
Tutorials
Sukyoung Ryu
KAIST
,
Jihyeok Park
Oracle Labs, Australia
,
Seungmin An
KAIST
15:30 - 16:30
(Tutorial) JISET Part II
Tutorials
at
Rousseau West
+12h
15:30
60m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
Tutorials
Sukyoung Ryu
KAIST
,
Jihyeok Park
Oracle Labs, Australia
,
Seungmin An
KAIST
21:00 - 22:00
(Tutorial) Discover[i] Part I
Tutorials
at
Rousseau West
21:00
60m
Tutorial
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
Tutorials
Roopsha Samanta
Purdue University
,
Nouraldin Jaber
Purdue University
,
Christopher Wagner
Purdue University
22:30 - 00:00
(Tutorial) Discover[i] Part II
Tutorials
at
Rousseau West
22:30
90m
Tutorial
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
Tutorials
Roopsha Samanta
Purdue University
,
Nouraldin Jaber
Purdue University
,
Christopher Wagner
Purdue University
Tue 14 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
01:30 - 03:00
(Tutorial) JISET Part I
Tutorials
at
Rousseau West
01:30
90m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
Tutorials
Sukyoung Ryu
KAIST
,
Jihyeok Park
Oracle Labs, Australia
,
Seungmin An
KAIST
03:30 - 04:30
(Tutorial) JISET Part II
Tutorials
at
Rousseau West
03:30
60m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
Tutorials
Sukyoung Ryu
KAIST
,
Jihyeok Park
Oracle Labs, Australia
,
Seungmin An
KAIST
Mon 13 Jun
Displayed time zone:
Pacific Time (US & Canada)
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
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Rousseau West
Tutorials
(Tutorial) Discover[i] Part I
Tutorials
(Tutorial) Discover[i] Part II
Tutorials
(Tutorial) JISET Part I
Tutorials
(Tutorial) JISET Part II
Tutorials
(Tutorial) Discover[i] Part I
Tutorials
(Tutorial) Discover[i] Part II
Tue 14 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
1:00
30
2:00
30
3:00
30
4:00
30
Rousseau West
Tutorials
(Tutorial) JISET Part I
Tutorials
(Tutorial) JISET Part II
Mon 13 Jun
Displayed time zone:
Pacific Time (US & Canada)
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
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Rousseau West
PLDI Tutorials
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded ...
09:00 - 10:00
PLDI Tutorials
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded ...
10:30 - 12:00
PLDI Tutorials
Filling the gap between the JavaScript language specification and tools ...
13:30 - 15:00
PLDI Tutorials
Filling the gap between the JavaScript language specification and tools ...
15:30 - 16:30
PLDI Tutorials
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded ...
21:00 - 22:00
PLDI Tutorials
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded ...
22:30 - 00:00
Tue 14 Jun
Displayed time zone:
Pacific Time (US & Canada)
change
Room
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
Rousseau West
PLDI Tutorials
Filling the gap between the JavaScript language specification and tools ...
01:30 - 03:00
PLDI Tutorials
Filling the gap between the JavaScript language specification and tools ...
03:30 - 04:30
x
Tue 8 Oct 00:51