PLDI 2025 - Tutorials

The following tutorials will be co-located with PLDI:

	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
	Unlocking Optimizations with egglog: Equality Saturation Meets Datalog Tutorials Haobin Ni, Yihong Zhang, Zachary Tatlock, Oliver Flatt

TutorialsPLDI 2025