Shadaj Laddad

According to our database, Shadaj Laddad authored at least 10 papers between 2020 and 2023.

Collaborative distances:

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

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