EGRAPHS Community
Home
Community Meeting
Workshop
Zulip Chat
Talks begin at 9am PT on
Zoom
.
Verified E-graphs
Speaker: Dustin Jamner
2026-11-19
Dustin will share his upcoming POPL work on verified e-graphs.