PLDI 2025 - Tutorials

About
Program

The following tutorials will be co-located with PLDI:

Accepted Tutorials

	Title
	BINSEC: Adapting Symbolic Execution for Binary-level Security Tutorials Frédéric Recoules, Sébastien Bardin
	Building DSLs made easy with the BuildIt Framework Tutorials Ajay Brahmakshatriya, Saman Amarasinghe
	Formal Analysis and Verification in Quantum Programming Tutorials Christopĥe Chareton, Sébastien Bardin Link to publication
	Perfect Decompilation of Python Bytecode with PyLingual Tutorials Kangkook Jee, Josh Wiedemeier, Sang Kil Cha, Jungwoo Lee, Joel Flores Link to publication DOI Authorizer link
	Unlocking Optimizations with egglog: Equality Saturation Meets Datalog Tutorials Haobin Ni, Yihong Zhang, Zachary Tatlock, Oliver Flatt
	Verifying Cyber-Physical Systems with IsaVODEs Tutorials Jonathan Julian Huerta y Munive, Simon Foster, Mario Gleirscher DOI

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect 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 16 Jun
Displayed time zone: Seoul change

09:00 - 10:10	EGGLOGTutorials at Lilac

09:00 70m Tutorial		Unlocking Optimizations with egglog: Equality Saturation Meets Datalog Tutorials Haobin Ni University of Washington, Yihong Zhang University of Washington, Zachary Tatlock University of Washington, Oliver Flatt University of Washington

09:00 - 10:10	FAVQPTutorials at Rose

09:00 70m Tutorial		Formal Analysis and Verification in Quantum Programming Tutorials Christopĥe Chareton CEA, LIST, France, Sébastien Bardin CEA LIST, University Paris-Saclay Link to publication

09:00 - 10:10	BuildItTutorials at Tulip

09:00 70m Tutorial		Building DSLs made easy with the BuildIt Framework Tutorials Ajay Brahmakshatriya Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology

10:30 - 12:00	EGGLOGTutorials at Lilac

10:30 90m Tutorial		Unlocking Optimizations with egglog: Equality Saturation Meets Datalog Tutorials Haobin Ni University of Washington, Yihong Zhang University of Washington, Zachary Tatlock University of Washington, Oliver Flatt University of Washington

10:30 - 12:00	FAVQPTutorials at Rose

10:30 90m Tutorial		Formal Analysis and Verification in Quantum Programming Tutorials Christopĥe Chareton CEA, LIST, France, Sébastien Bardin CEA LIST, University Paris-Saclay Link to publication

10:30 - 12:00	BuildItTutorials at Tulip

10:30 90m Tutorial		Building DSLs made easy with the BuildIt Framework Tutorials Ajay Brahmakshatriya Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology

14:00 - 15:20	BINSECTutorials at Lilac

14:00 80m Tutorial		BINSEC: Adapting Symbolic Execution for Binary-level Security Tutorials Frédéric Recoules CEA, List, Sébastien Bardin CEA LIST, University Paris-Saclay

14:00 - 15:20	PyLingualTutorials at Rose

14:00 80m Tutorial		Perfect Decompilation of Python Bytecode with PyLingual Tutorials Kangkook Jee The University of Texas - Dallas, Josh Wiedemeier The University of Texas at Dallas, Sang Kil Cha KAIST, Jungwoo Lee KAIST, Joel Flores University of Texas at Dallas Link to publication DOI Authorizer link

14:00 - 15:20	BuildItTutorials at Tulip

14:00 80m Tutorial		Building DSLs made easy with the BuildIt Framework Tutorials Ajay Brahmakshatriya Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology

	15:40 - 17:00	BINSECTutorials at Lilac

15:40 - 17:00	PyLingualTutorials at Rose

15:40 80m Tutorial		Perfect Decompilation of Python Bytecode with PyLingual Tutorials Kangkook Jee The University of Texas - Dallas, Josh Wiedemeier The University of Texas at Dallas, Sang Kil Cha KAIST, Jungwoo Lee KAIST, Joel Flores University of Texas at Dallas Link to publication DOI Authorizer link

15:40 - 17:00	BuildItTutorials at Tulip

15:40 80m Tutorial		Building DSLs made easy with the BuildIt Framework Tutorials Ajay Brahmakshatriya Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology

Tue 17 Jun
Displayed time zone: Seoul change

09:00 - 10:10	IsaVODEsTutorials at Rose

09:00 70m Tutorial		Verifying Cyber-Physical Systems with IsaVODEs Tutorials Jonathan Julian Huerta y Munive Czech Technical University, Simon Foster University of York, Mario Gleirscher University of Bremen DOI

10:30 - 12:00	IsaVODEsTutorials at Rose

10:30 90m Tutorial		Verifying Cyber-Physical Systems with IsaVODEs Tutorials Jonathan Julian Huerta y Munive Czech Technical University, Simon Foster University of York, Mario Gleirscher University of Bremen DOI

14:00 - 15:20	IsaVODEsTutorials at Rose

14:00 80m Tutorial		Verifying Cyber-Physical Systems with IsaVODEs Tutorials Jonathan Julian Huerta y Munive Czech Technical University, Simon Foster University of York, Mario Gleirscher University of Bremen DOI

	15:40 - 17:00	IsaVODEsTutorials at Rose

TutorialsPLDI 2025

Accepted Tutorials

This program is tentative and subject to change.

Mon 16 Jun
Displayed time zone: Seoul change

Tue 17 Jun
Displayed time zone: Seoul change

Tracks

Co-hosted Conferences

Workshops

TutorialsPLDI 2025

Accepted Tutorials

This program is tentative and subject to change.

Program Display Configuration

Mon 16 JunDisplayed time zone: Seoul change

Tue 17 JunDisplayed time zone: Seoul change

Mon 16 Jun
Displayed time zone: Seoul change

Tue 17 Jun
Displayed time zone: Seoul change