2 citations · 5 across the 9 of their papers we have counts for
9 papers
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 Distributed Protocols with Query Rewrites [Technical Report]
David Chu, Rithvik Panchapakesan, Shadaj Laddad +6
Distributed protocols such as 2PC and Paxos lie at the core of many systems in the cloud, but standard implementations do not scale. New scalable distributed protocols are develope…
Code Transpilation for Hardware Accelerators
Yuto Nishida, Sahil Bhatia, Shadaj Laddad +3
DSLs and hardware accelerators have proven to be very effective in optimizing computationally expensive workloads. In this paper, we propose a solution to the challenge of manually…
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…
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs
Joseph M. Hellerstein, Shadaj Laddad, Mae Milano +2
In the Hydro project we are designing a compiler toolkit that can optimize for the concerns of distributed systems, including scale-up and scale-down, availability, and consistency…
Keep CALM and CRDT On
Shadaj Laddad, Conor Power, Mae Milano +3
Despite decades of research and practical experience, developers have few tools for programming reliable distributed applications without resorting to expensive coordination techni…
Katara: Synthesizing CRDTs with Verified Lifting
Shadaj Laddad, Conor Power, Mae Milano +2
Conflict-free replicated data types (CRDTs) are a promising tool for designing scalable, coordination-free distributed systems. However, constructing correct CRDTs is difficult, po…