Shadaj Laddad

According to our database, Shadaj Laddad authored at least 15 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, February, 2024

Flo: a Semantic Foundation for Progressive Stream Processing.

Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein, Mae Milano

CoRR, 2024

Suki: Choreographed Distributed Dataflow in Rust.

Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein

CoRR, 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

Everything Everywhere All At Once: Efficient Cross-Service Program Analysis with OverSeer.

Jiwon Park, Shadaj Laddad, Dev Bali, Wen Zhang, Scott Shenker, Matei Zaharia

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2024

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

Code Transpilation for Hardware Accelerators.

Yuto Nishida, Sahil Bhatia, Shadaj Laddad, Hasan Genc, Yakun Sophia Shao, Alvin Cheung

CoRR, 2023

Optimizing Stateful Dataflow with Local Rewrites.

Shadaj Laddad, Conor Power, Tyler Hou, Alvin Cheung, Joseph M. Hellerstein

CoRR, 2023

Invited Paper: Initial Steps Toward a Compiler for Distributed Programs.

Joseph M. Hellerstein, Shadaj Laddad, Mae Milano, Conor Power, Mingwei Samuel

Proceedings of the 5th workshop on Advanced tools, 2023

2022

Keep CALM and CRDT On.

Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein

Proc. VLDB Endow., 2022

Katara: synthesizing CRDTs with verified lifting.

Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein

Proc. ACM Program. Lang., 2022

Synthesizing CRDTs from Sequential Data Types with Verified Lifting.

Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein

CoRR, 2022

2021

VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks.

Rohan Bavishi, Shadaj Laddad, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

ScalaPy: seamless Python interoperability for cross-platform Scala programs.

Shadaj Laddad, Koushik Sen

Proceedings of the SPLASH '20: Conference on Systems, 2020

Fluid quotes: metaprogramming across abstraction boundaries with dependent types.

Shadaj Laddad, Koushik Sen

Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020