ISMM 2022
Tue 14 Jun 2022
San Diego, California, United States
co-located with
PLDI 2022
Toggle navigation
Attending
Venue: The Catamaran Resort, San Diego
PLDI 2022
Virtual Attendance
Registration
Code of Conduct
Sponsorship
Visa
Childcare
Students
Student Volunteers
Restaurants
COVID
Jobs
Program
ISMM Program
Your Program
Tue 14 Jun
Track/Call
Organization
ISMM 2022 Committees
Track Committees
Organizing Committee
Program Committee
External Review Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI 2022
(
series
) /
ISMM 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
PLDI Tutorials
at
Rousseau West
+12h
09:00
60m
Tutorial
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
PLDI Tutorials
Roopsha Samanta
Purdue University
,
Nouraldin Jaber
Purdue University
,
Christopher Wagner
Purdue University
10:30 - 12:00
(Tutorial) Discover[i] Part II
PLDI Tutorials
at
Rousseau West
+12h
10:30
90m
Tutorial
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
PLDI Tutorials
Roopsha Samanta
Purdue University
,
Nouraldin Jaber
Purdue University
,
Christopher Wagner
Purdue University
13:30 - 15:00
(Tutorial) JISET Part I
PLDI Tutorials
at
Rousseau West
+12h
13:30
90m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
PLDI Tutorials
Sukyoung Ryu
KAIST
,
Jihyeok Park
Oracle Labs, Australia
,
Seungmin An
KAIST
15:30 - 16:30
(Tutorial) JISET Part II
PLDI Tutorials
at
Rousseau West
+12h
15:30
60m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
PLDI Tutorials
Sukyoung Ryu
KAIST
,
Jihyeok Park
Oracle Labs, Australia
,
Seungmin An
KAIST
21:00 - 22:00
(Tutorial) Discover[i] Part I
PLDI Tutorials
at
Rousseau West
21:00
60m
Tutorial
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
PLDI Tutorials
Roopsha Samanta
Purdue University
,
Nouraldin Jaber
Purdue University
,
Christopher Wagner
Purdue University
22:30 - 00:00
(Tutorial) Discover[i] Part II
PLDI Tutorials
at
Rousseau West
22:30
90m
Tutorial
Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
PLDI 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
PLDI Tutorials
at
Rousseau West
01:30
90m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
PLDI Tutorials
Sukyoung Ryu
KAIST
,
Jihyeok Park
Oracle Labs, Australia
,
Seungmin An
KAIST
03:30 - 04:30
(Tutorial) JISET Part II
PLDI Tutorials
at
Rousseau West
03:30
60m
Tutorial
Filling the gap between the JavaScript language specification and tools using the JISET family
PLDI 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
PLDI Tutorials
(Tutorial) Discover[i] Part I
PLDI Tutorials
(Tutorial) Discover[i] Part II
PLDI Tutorials
(Tutorial) JISET Part I
PLDI Tutorials
(Tutorial) JISET Part II
PLDI Tutorials
(Tutorial) Discover[i] Part I
PLDI 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
PLDI Tutorials
(Tutorial) JISET Part I
PLDI 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
Sun 22 Dec 02:27