PLDI 2026 - PLDI Tutorials

About
Program

The following tutorials will be co-located with PLDI:

Accepted Tutorials

	Title
	ACT: End-to-End Compiler Infrastructure for Emerging AI Accelerators Tutorials Devansh Jain, Charith Mendis Media Attached
	A guided tour through Oxidized OCaml Tutorials Anil Madhavapeddy, Gavin Gray, Shriram Krishnamurthi, Will Crichton, Chris Casinghino, Richard A. Eisenberg, KC Sivaramakrishnan
	Deep dive into the AWS Nitro Isolation Engine Tutorials Ike Mulder, Nathan Chong, Hanno Becker, Dominic P. Mulligan, Robert Dockins
	Implementing an Integrated Development Environment: a Quick Start Guide for PL Researchers Tutorials Mikhail Barash, Alberto Tontoni Media Attached
	Mechanized Specifications for Real-World Programming Languages Tutorials Sukyoung Ryu, Seokhun Jeong, Jaehyun Lee, Jihong Min
	Writing Performance-Portable Kernels Simplified with Helion Tutorials Jongsok Choi, Jason Ansel, Oguz Ulgen, Ethan Che

Time Zone

The program is currently displayed in (GMT-06:00) Mountain Time (US & Canada).

Use conference time zone: (GMT-06:00) Mountain 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 15 Jun
Displayed time zone: Mountain Time (US & Canada) change

09:00 - 12:00	HELIONTutorials at Flatirons 3

09:00 3h Tutorial		Writing Performance-Portable Kernels Simplified with Helion Tutorials Jongsok Choi Meta, Jason Ansel Meta, Oguz Ulgen Meta, Ethan Che Meta

09:00 - 12:00	IDETutorials at Meadows A

09:00 3h Tutorial		Implementing an Integrated Development Environment: a Quick Start Guide for PL Researchers Tutorials Mikhail Barash University of Bergen, Alberto Tontoni University of Bergen Media Attached

09:00 - 12:00	MechSpecTutorials at Trailhead

09:00 3h Tutorial		Mechanized Specifications for Real-World Programming Languages Tutorials Sukyoung Ryu KAIST, Seokhun Jeong KAIST, Jaehyun Lee KAIST, Jihong Min KAIST

10:10 - 10:40	Coffee BreakCatering at Flatirons Foyer

10:10 30m Coffee break		Break Catering

12:20 - 13:40	LunchCatering at Flatirons 1

12:20 80m Lunch		Lunch Catering

14:00 - 17:00	NIETutorials at Meadows A

14:00 3h Tutorial		Deep dive into the AWS Nitro Isolation Engine Tutorials Ike Mulder Radboud University Nijmegen, Nathan Chong Amazon Web Services, Hanno Becker Amazon Web Services, Dominic P. Mulligan Amazon Web Services, Robert Dockins Amazon

14:00 - 15:20	OxCAMLTutorials at Trailhead

14:00 80m Tutorial		A guided tour through Oxidized OCaml Tutorials Anil Madhavapeddy University of Cambridge, UK, Gavin Gray Brown University, Shriram Krishnamurthi Brown University, Will Crichton Brown University, Chris Casinghino Jane Street, Richard A. Eisenberg Jane Street, KC Sivaramakrishnan IIT Madras and Tarides

15:20 - 15:50	Coffee BreakCatering at Flatirons Foyer

15:20 30m Coffee break		Break Catering

15:50 - 17:10	OxCAML (Repeat)Tutorials at Trailhead

15:50 80m Tutorial		A guided tour through Oxidized OCaml Tutorials Anil Madhavapeddy University of Cambridge, UK, Gavin Gray Brown University, Shriram Krishnamurthi Brown University, Will Crichton Brown University, Chris Casinghino Jane Street, Richard A. Eisenberg Jane Street, KC Sivaramakrishnan IIT Madras and Tarides

Tue 16 Jun
Displayed time zone: Mountain Time (US & Canada) change

09:00 - 12:20	ACTTutorials at Bear Peak

09:00 3h20m Tutorial		ACT: End-to-End Compiler Infrastructure for Emerging AI Accelerators Tutorials Devansh Jain University of Illinois at Urbana-Champaign, Charith Mendis University of Illinois at Urbana-Champaign Media Attached

10:10 - 10:40	Coffee BreakCatering at Flatirons Foyer

10:10 30m Coffee break		Break Catering

12:20 - 13:40	LunchCatering at Flatirons 1

12:20 80m Lunch		Lunch Catering

PLDI Tutorials

Accepted Tutorials

Mon 15 Jun
Displayed time zone: Mountain Time (US & Canada) change

Tue 16 Jun
Displayed time zone: Mountain Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

PLDI Tutorials

Accepted Tutorials

Program Display Configuration

Mon 15 JunDisplayed time zone: Mountain Time (US & Canada) change

Tue 16 JunDisplayed time zone: Mountain Time (US & Canada) change

Mon 15 Jun
Displayed time zone: Mountain Time (US & Canada) change

Tue 16 Jun
Displayed time zone: Mountain Time (US & Canada) change