Tulip - PLDI 2025

VenueThe Westin Josun Seoul

Room nameTulip

Floor0

Room InformationNo extra information available

Program

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	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	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	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	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	Applications 1EGRAPHS at Tulip

09:00 20m Talk		Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis EGRAPHS Julien de Castelnau EPFL, Mingfei Yu EPFL, Giovanni De Micheli EPFL
09:20 20m Talk		Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling EGRAPHS Hiromi Ishii Jij, Inc., Taro Shimizu Jij, Inc., Toshiki Teramura Jij, Inc.
09:40 20m Talk		Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code Optimization EGRAPHS Oren Hecht Technion, Yotam M. Y. Feldman Tel Aviv University, Barak Hirshberg Tel Aviv University, Hila Peleg Technion

10:30 - 12:00	Applications 2EGRAPHS at Tulip

10:30 20m Talk		eqsat: An Equality Saturation Dialect for Non-destructive Rewriting EGRAPHS Jules Merckx Ghent University, Alexandre Lopoukhine University of Cambridge, Samuel Coward Imperial College London, UK / Intel Corporation, Jianyi Cheng University of Edinburgh, UK, Bjorn De Sutter Ghent University, Belgium , Tobias Grosser University of Cambridge Pre-print
10:50 20m Talk		Hatching Theory Instantiations with Yardbird EGRAPHS Cole Vick University of Texas at Austin, Samuel Thomas The University of Texas at Austin, Texas, USA
11:10 20m Talk		Automated High-Level Synthesis Design Modularization via E-Graph Anti-Unification EGRAPHS Andy Wanna Georgia Institute of Technology, Cong "Callie" Hao Georgia Institute of Technology, Theo Drane AMD

14:00 - 15:20	PerformanceEGRAPHS at Tulip

14:00 20m Talk		Destructive E-Graph Rewrites EGRAPHS Paul Zhang University of California, Los Angeles, Yisu Remy Wang University of California, Los Angeles
14:20 20m Talk		Incremental Equality Saturation EGRAPHS Rupanshu Soi Stanford University, Benjamin Driscoll Stanford University, Ke Wang Visa Research, Alex Aiken Stanford University
14:40 20m Talk		Oatlog: A performant ahead-of-time compiled e-graph engine EGRAPHS Loke Gustafsson Chalmers University of Technology, Erik Magnusson Chalmers University of Technology, Alejandro Luque Cerpa Chalmers University of Technology File Attached

15:40 - 17:00	Theories / GuidanceEGRAPHS at Tulip

15:40 20m Talk		Equality Saturation Guided by Large Language Models EGRAPHS Wentao Peng Peking University, Ruyi Ji Peking University, Yingfei Xiong Peking University
16:00 20m Talk		Machine Learning Guided Equality Saturation EGRAPHS Nicole Heinimann Technische Universität Berlin, Thomas Koehler CNRS - ICube Lab, Michel Steuwer Technische Universität Berlin
16:20 20m Talk		Omelets Need Onions: E-graphs Modulo Theories via Bottom Up E-Matching EGRAPHS Philip Zucker Draper Pre-print

Mon 16 Jun
Displayed time zone: Seoul change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Tulip	Tutorials BuildIt																		Tutorials BuildIt																																										Tutorials BuildIt																				Tutorials BuildIt

Tue 17 Jun
Displayed time zone: Seoul change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Tulip	EGRAPHS Applications 1																		EGRAPHS Applications 2																																										EGRAPHS Performance																				EGRAPHS Theories / Guidance

Mon 16 Jun
Displayed time zone: Seoul change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Tulip	PLDI Tutorials Building DSLs made easy with the BuildIt Framework 09:00 - 10:10																		PLDI Tutorials Building DSLs made easy with the BuildIt Framework 10:30 - 12:00																																										PLDI Tutorials Building DSLs made easy with the BuildIt Framework 14:00 - 15:20																				PLDI Tutorials Building DSLs made easy with the BuildIt Framework 15:40 - 17:00

Tue 17 Jun
Displayed time zone: Seoul change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Tulip	EGRAPHS Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis 09:00 - 09:20				EGRAPHS Optimizing Optimizations: Case Study on Detecting Specific Types of Mat ... 09:20 - 09:40				EGRAPHS Using Equality Saturation and Stochastic Mutations for Molecular Dynami ... 09:40 - 10:00										EGRAPHS eqsat: An Equality Saturation Dialect for Non-destructive Rewriting 10:30 - 10:50				EGRAPHS Hatching Theory Instantiations with Yardbird 10:50 - 11:10				EGRAPHS Automated High-Level Synthesis Design Modularization via E-Graph Anti-U ... 11:10 - 11:30																																		EGRAPHS Destructive E-Graph Rewrites 14:00 - 14:20				EGRAPHS Incremental Equality Saturation 14:20 - 14:40				EGRAPHS Oatlog: A performant ahead-of-time compiled e-graph engine 14:40 - 15:00												EGRAPHS Equality Saturation Guided by Large Language Models 15:40 - 16:00				EGRAPHS Machine Learning Guided Equality Saturation 16:00 - 16:20				EGRAPHS Omelets Need Onions: E-graphs Modulo Theories via Bottom Up E-Matching 16:20 - 16:40

Room information: Tulip

This program is tentative and subject to change.

Mon 16 Jun
Displayed time zone: Seoul change

Tue 17 Jun
Displayed time zone: Seoul change

Mon 16 Jun
Displayed time zone: Seoul change

Tutorials

Tutorials

Tutorials

Tutorials

Tue 17 Jun
Displayed time zone: Seoul change

EGRAPHS

EGRAPHS

EGRAPHS

EGRAPHS

Mon 16 Jun
Displayed time zone: Seoul change

Tue 17 Jun
Displayed time zone: Seoul change

Tracks

Co-hosted Conferences

Workshops

Room information: Tulip

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 JunDisplayed time zone: Seoul change

Tutorials

Tutorials

Tutorials

Tutorials

Tue 17 JunDisplayed time zone: Seoul change

EGRAPHS

EGRAPHS

EGRAPHS

EGRAPHS

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

Mon 16 Jun
Displayed time zone: Seoul change

Tue 17 Jun
Displayed time zone: Seoul change

Mon 16 Jun
Displayed time zone: Seoul change

Tue 17 Jun
Displayed time zone: Seoul change