Fluid quotes: metaprogramming across abstraction boundaries with dependent types. - Shadaj Laddad; Koushik Sen (GPCE, 2020)

ScalaPy: seamless Python interoperability for cross-platform Scala programs. - Shadaj Laddad; Koushik Sen (SCALA@SPLASH, 2020)

VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks. - Rohan Bavishi; Shadaj Laddad; Hiroaki Yoshida; Mukul R. Prasad; Koushik Sen (ASE, 2021)

Synthesizing CRDTs from Sequential Data Types with Verified Lifting. - Shadaj Laddad; Conor Power; Mae Milano; Alvin Cheung; Joseph M. Hellerstein (CoRR, 2022)

Katara: synthesizing CRDTs with verified lifting. - Shadaj Laddad; Conor Power; Mae Milano; Alvin Cheung; Joseph M. Hellerstein (Proc. ACM Program. Lang., 2022)

Keep CALM and CRDT On. - Shadaj Laddad; Conor Power; Mae Milano; Alvin Cheung; Natacha Crooks; Joseph M. Hellerstein (Proc. VLDB Endow., 2022)

Invited Paper: Initial Steps Toward a Compiler for Distributed Programs. - Joseph M. Hellerstein; Shadaj Laddad; Mae Milano; Conor Power; Mingwei Samuel (ApPLIED@PODC, 2023)

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

Code Transpilation for Hardware Accelerators. - Yuto Nishida; Sahil Bhatia; Shadaj Laddad; Hasan Genc; Yakun Sophia Shao; Alvin Cheung (CoRR, 2023)

Towards Auto-Generated Data Systems. - Alvin Cheung; Maaz Bin Safeer Ahmad; Brandon Haynes; Chanwut Kittivorawong; Shadaj Laddad; Xiaoxuan Liu; Chenglong Wang; Cong Yan (Proc. VLDB Endow., 2023)

Everything Everywhere All At Once: Efficient Cross-Service Program Analysis with OverSeer. - Jiwon Park; Shadaj Laddad; Dev Bali; Wen Zhang; Scott Shenker; Matei Zaharia (ASE Workshops, 2024)

Optimizing Distributed Protocols with Query Rewrites [Technical Report]. - David Chu; Rithvik Panchapakesan; Shadaj Laddad; Lucky Katahanas; Chris Liu; Kaushik Shivakumar; Natacha Crooks; Joseph M. Hellerstein; Heidi Howard (CoRR, 2024)

Suki: Choreographed Distributed Dataflow in Rust. - Shadaj Laddad; Alvin Cheung; Joseph M. Hellerstein (CoRR, 2024)

Optimizing Distributed Protocols with Query Rewrites. - David C. Y. Chu; Rithvik Panchapakesan; Shadaj Laddad; Lucky E. Katahanas; Chris Liu; Kaushik Shivakumar; Natacha Crooks; Joseph M. Hellerstein; Heidi Howard (Proc. ACM Manag. Data, 2024)

Flo: A Semantic Foundation for Progressive Stream Processing. - Shadaj Laddad; Alvin Cheung; Joseph M. Hellerstein; Mae Milano (Proc. ACM Program. Lang., 2025)

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