引用次数
引用: 40
H-指数: 4
I10-指数 : 1
出版物: 13
Towards Relational Contextual Equality Saturation
TYLER HOU , SHADAJ LADDAD , JOSEPH M HELLERSTEIN
Fluid quotes: metaprogramming across abstraction boundaries with dependent types
Shadaj Laddad , Koushik Sen
Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences 98 -110
2020
ScalaPy: seamless Python interoperability for cross-platform Scala programs
Shadaj Laddad , Koushik Sen
symposium on scala
2020
Katara: Synthesizing CRDTs with verified lifting
Shadaj Laddad , Conor Power , Mae Milano , Alvin Cheung
Proceedings of the ACM on Programming Languages 6 ( OOPSLA2) 1349 -1377
17
2022
Keep CALM and CRDT On
Shadaj Laddad , Conor Power , Mae Milano , Alvin Cheung
arXiv preprint arXiv:2210.12605
4
2022
Optimizing Distributed Protocols with Query Rewrites
David CY Chu , Rithvik Panchapakesan , Shadaj Laddad , Lucky E Katahanas
Proceedings of the ACM on Management of Data 2 ( 1) 1 -25
2
2024
Optimizing Distributed Protocols with Query Rewrites [Technical Report]
David Chu , Rithvik Panchapakesan , Shadaj Laddad , Lucky Katahanas
arXiv preprint arXiv:2404.01593
2
2024
Optimizing Stateful Dataflow with Local Rewrites
Shadaj Laddad , Conor Power , Tyler Hou , Alvin Cheung
arXiv preprint arXiv:2306.10585
2
2023
Initial Steps Toward a Compiler for Distributed Programs
Joseph M Hellerstein , Shadaj Laddad , Mae Milano , Conor Power
1 -10
2023
Code Transpilation for Hardware Accelerators
Yuto Nishida , Sahil Bhatia , Shadaj Laddad , Hasan Genc
arXiv preprint arXiv:2308.06410
2023
Towards Auto-Generated Data Systems
Alvin Cheung , Maaz Bin Safeer Ahmad , Brandon Haynes , Chanwut Kittivorawong
Proceedings of the VLDB Endowment 16 ( 12) 4116 -4129
2023
Vizsmith: Automated visualization synthesis by mining data-science notebooks
Rohan Bavishi , Shadaj Laddad , Hiroaki Yoshida , Mukul R Prasad
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) 129 -141
5
2021
Suki: Choreographed Distributed Dataflow in Rust
Shadaj Laddad , Alvin Cheung , Joseph M Hellerstein
arXiv preprint arXiv:2406.14733
2024