Optimizing Stateful Dataflow with Local Rewrites. - Shadaj Laddad; Conor Power; Tyler Hou; Alvin Cheung; Joseph M. Hellerstein (CoRR, 2023)

Stream programs are monoid homomorphisms with state. - Tyler Hou; Michael Arntzenius; Max Willsey (CoRR, 2025)

Towards Relational Contextual Equality Saturation. - Tyler Hou; Shadaj Laddad; Joseph M. Hellerstein (CoRR, 2025)