23 citations · 26 across the 13 of their papers we have counts for
4 papers · 1 filter
Towards Relational Contextual Equality Saturation
Tyler Hou, Shadaj Laddad, Joseph M. Hellerstein
Equality saturation is a powerful technique for program optimization. Contextual equality saturation extends this to support rewrite rules that are conditioned on where a term appe…
Flo: a Semantic Foundation for Progressive Stream Processing
Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein +1
Streaming systems are present throughout modern applications, processing continuous data in real-time. Existing streaming languages have a variety of semantic models and guarantees…
Suki: Choreographed Distributed Dataflow in Rust
Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein
Programming models for distributed dataflow have long focused on analytical workloads that allow the runtime to dynamically place and schedule compute logic. Meanwhile, models that…
Optimizing Stateful Dataflow with Local Rewrites
Shadaj Laddad, Conor Power, Tyler Hou +2
Optimizing a stateful dataflow language is a challenging task. There are strict correctness constraints for preserving properties expected by downstream consumers, a large space of…