PLMW
Mon 13 - Tue 14 June 2022 San Diego, California, United States
co-located with PLDI 2022
VenueThe Catamaran Resort, San Diego
Room nameRousseau West
Floor0
Capacity50
Room InformationNo extra information available
Program

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 IPLDI 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 IIPLDI 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 IPLDI 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 IIPLDI 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 IPLDI 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 IIPLDI 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 IPLDI 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 IIPLDI 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

Tue 14 Jun

Displayed time zone: Pacific Time (US & Canada) change