Shadaj Laddad

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 15

Top Topics

Parallel Execution

Commit Protocols

Relational Queries

Top Venues

Proc. VLDB Endow.

Proc. ACM Program. Lang.

Publications

David C. Y. Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky E. Katahanas, Chris Liu, Kaushik Shivakumar, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
Optimizing Distributed Protocols with Query Rewrites. Proc. ACM Manag. Data 2 (1) (2024)
Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein
Suki: Choreographed Distributed Dataflow in Rust. CoRR (2024)
David Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky Katahanas, Chris Liu, Kaushik Shivakumar, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
Optimizing Distributed Protocols with Query Rewrites [Technical Report]. CoRR (2024)
Joseph M. Hellerstein, Shadaj Laddad, Mae Milano, Conor Power, Mingwei Samuel
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs. CoRR (2023)
Yuto Nishida, Sahil Bhatia, Shadaj Laddad, Hasan Genc, Yakun Sophia Shao, Alvin Cheung
Code Transpilation for Hardware Accelerators. CoRR (2023)
Shadaj Laddad, Conor Power, Tyler Hou, Alvin Cheung, Joseph M. Hellerstein
Optimizing Stateful Dataflow with Local Rewrites. CoRR (2023)
Joseph M. Hellerstein, Shadaj Laddad, Mae Milano, Conor Power, Mingwei Samuel
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs. ApPLIED@PODC (2023)
Alvin Cheung, Maaz Bin Safeer Ahmad, Brandon Haynes, Chanwut Kittivorawong, Shadaj Laddad, Xiaoxuan Liu, Chenglong Wang, Cong Yan
Towards Auto-Generated Data Systems. Proc. VLDB Endow. 16 (12) (2023)
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
Keep CALM and CRDT On. CoRR (2022)
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein
Synthesizing CRDTs from Sequential Data Types with Verified Lifting. CoRR (2022)
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein
Katara: synthesizing CRDTs with verified lifting. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
Keep CALM and CRDT On. Proc. VLDB Endow. 16 (4) (2022)
Rohan Bavishi, Shadaj Laddad, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks. ASE (2021)
Shadaj Laddad, Koushik Sen
ScalaPy: seamless Python interoperability for cross-platform Scala programs. SCALA@SPLASH (2020)
Shadaj Laddad, Koushik Sen
Fluid quotes: metaprogramming across abstraction boundaries with dependent types. GPCE (2020)