PLDI 2022 - PLDI Tutorials

About
Program

The following tutorials will be co-located with PLDI:

Accepted Tutorials

	Title
	Build your own optimizer with egg! Tutorials Max Willsey, Zachary Tatlock
	Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning Tutorials Roopsha Samanta, Nouraldin Jaber, Christopher Wagner
	Filling the gap between the JavaScript language specification and tools using the JISET family Tutorials Sukyoung Ryu, Jihyeok Park, Seungmin An
	Making C Programs Safer with Checked C Tutorials Jie Zhou, Yudi Yang, Michael Hicks, John Criswell
	Reasoning About and Discovering LLVM Optimizations Tutorials John Regehr, Nuno P. Lopes

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

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 programSpecify 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) Checked C Part ITutorials at Rousseau Center +12h

09:00 60m Tutorial		Making C Programs Safer with Checked C Tutorials Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA

09:00 - 10:00	(Tutorial) Discover[i] Part ITutorials 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

09:00 - 10:00	(Tutorial) Egg Part ITutorials at Toucan +12h

09:00 60m Tutorial		Build your own optimizer with egg! Tutorials Max Willsey University of Washington, Zachary Tatlock University of Washington

10:30 - 12:00	(Tutorial) Checked C Part IITutorials at Rousseau Center +12h

10:30 90m Tutorial		Making C Programs Safer with Checked C Tutorials Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA

10:30 - 12:00	(Tutorial) Discover[i] Part IITutorials 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

10:30 - 12:00	(Tutorial) Egg Part IITutorials at Toucan +12h

10:30 90m Tutorial		Build your own optimizer with egg! Tutorials Max Willsey University of Washington, Zachary Tatlock University of Washington

13:30 - 15:00	(Tutorial) Alive2 Part ITutorials at Rousseau Center +12h

13:30 90m Tutorial		Reasoning About and Discovering LLVM Optimizations Tutorials John Regehr University of Utah, Nuno P. Lopes Universidade de Lisboa

13:30 - 15:00	(Tutorial) JISET Part ITutorials 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) Alive2 Part IITutorials at Rousseau Center +12h

15:30 60m Tutorial		Reasoning About and Discovering LLVM Optimizations Tutorials John Regehr University of Utah, Nuno P. Lopes Universidade de Lisboa

15:30 - 16:30	(Tutorial) JISET Part IITutorials 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) Checked C Part ITutorials at Rousseau Center

21:00 60m Tutorial		Making C Programs Safer with Checked C Tutorials Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA

21:00 - 22:00	(Tutorial) Discover[i] Part ITutorials 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

21:00 - 22:00	(Tutorial) Egg Part ITutorials at Toucan

21:00 60m Tutorial		Build your own optimizer with egg! Tutorials Max Willsey University of Washington, Zachary Tatlock University of Washington

22:30 - 00:00	(Tutorial) Checked C Part IITutorials at Rousseau Center

22:30 90m Tutorial		Making C Programs Safer with Checked C Tutorials Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA

22:30 - 00:00	(Tutorial) Discover[i] Part IITutorials 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

22:30 - 00:00	(Tutorial) Egg Part IITutorials at Toucan

22:30 90m Tutorial		Build your own optimizer with egg! Tutorials Max Willsey University of Washington, Zachary Tatlock University of Washington

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

01:30 - 03:00	(Tutorial) Alive2 Part ITutorials at Rousseau Center

01:30 90m Tutorial		Reasoning About and Discovering LLVM Optimizations Tutorials John Regehr University of Utah, Nuno P. Lopes Universidade de Lisboa

01:30 - 03:00	(Tutorial) JISET Part ITutorials 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) Alive2 Part IITutorials at Rousseau Center

03:30 60m Tutorial		Reasoning About and Discovering LLVM Optimizations Tutorials John Regehr University of Utah, Nuno P. Lopes Universidade de Lisboa

03:30 - 04:30	(Tutorial) JISET Part IITutorials 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

PLDI Tutorials

Accepted Tutorials

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

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

Tracks

Co-hosted Conferences

Workshops

PLDI Tutorials

Accepted Tutorials

Program Display Configuration

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

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

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