Shadaj Laddad

19 papers A* 1B 1Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Flo: A Semantic Foundation for Progressive Stream Processing.
Proc. ACM Program. Lang.
Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein, Mae Milano
2025 J jnl
Towards Relational Contextual Equality Saturation.
CoRR
Tyler Hou, Shadaj Laddad, Joseph M. Hellerstein
2024 — conf
Everything Everywhere All At Once: Efficient Cross-Service Program Analysis with OverSeer.
ASE Workshops
Jiwon Park, Shadaj Laddad, Dev Bali, Wen Zhang, Scott Shenker, Matei Zaharia
2024 J jnl
Flo: a Semantic Foundation for Progressive Stream Processing.
CoRR
Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein, Mae Milano
2024 J jnl
Optimizing Distributed Protocols with Query Rewrites [Technical Report].
CoRR
David Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky Katahanas, Chris Liu, Kaushik Shivakumar, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
2024 J jnl
Optimizing Distributed Protocols with Query Rewrites.
Proc. ACM Manag. Data
David C. Y. Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky E. Katahanas, Chris Liu, Kaushik Shivakumar, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
2024 J jnl
Suki: Choreographed Distributed Dataflow in Rust.
CoRR
Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein
2023 J jnl
Code Transpilation for Hardware Accelerators.
CoRR
Yuto Nishida, Sahil Bhatia, Shadaj Laddad, Hasan Genc, Yakun Sophia Shao, Alvin Cheung
2023 — conf
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs.
ApPLIED@PODC
Joseph M. Hellerstein, Shadaj Laddad, Mae Milano, Conor Power, Mingwei Samuel
2023 J jnl
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs.
CoRR
Joseph M. Hellerstein, Shadaj Laddad, Mae Milano, Conor Power, Mingwei Samuel
2023 J jnl
Optimizing Stateful Dataflow with Local Rewrites.
CoRR
Shadaj Laddad, Conor Power, Tyler Hou, Alvin Cheung, Joseph M. Hellerstein
2023 J jnl
Towards Auto-Generated Data Systems.
Proc. VLDB Endow.
Alvin Cheung, Maaz Bin Safeer Ahmad, Brandon Haynes, Chanwut Kittivorawong, Shadaj Laddad, Xiaoxuan Liu, Chenglong Wang, Cong Yan
2022 J jnl
Katara: synthesizing CRDTs with verified lifting.
Proc. ACM Program. Lang.
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein
2022 J jnl
Keep CALM and CRDT On.
CoRR
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
2022 J jnl
Keep CALM and CRDT On.
Proc. VLDB Endow.
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
2022 J jnl
Synthesizing CRDTs from Sequential Data Types with Verified Lifting.
CoRR
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein
2021 A* conf
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks.
ASE
Rohan Bavishi, Shadaj Laddad, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen
2020 B conf
Fluid quotes: metaprogramming across abstraction boundaries with dependent types.
GPCE
Shadaj Laddad, Koushik Sen
2020 — conf
ScalaPy: seamless Python interoperability for cross-platform Scala programs.
SCALA@SPLASH
Shadaj Laddad, Koushik Sen