Formal Methods for the Informal Engineer: Workshop Recommendations. - Gopal Sarma; James Koppel; Gregory Malecha; Patrick Schultz; Eric Drexler; Ramana Kumar; Cody Roux; Philip Zucker (CoRR, 2021)

Better Together: Unifying Datalog and Equality Saturation. - Yihong Zhang 004; Yisu Remy Wang; Oliver Flatt; David Cao; Philip Zucker; Eli Rosenthal; Zachary Tatlock; Max Willsey (Proc. ACM Program. Lang., 2023)

Scimitar: Functional Programs as Optimization Problems. - Nate F. F. Bragg; Jeffrey S. Foster; Philip Zucker (Onward!, 2024)

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching. - Philip Zucker (CoRR, 2025)