Katara: Synthesizing CRDTs with verified lifting S Laddad, C Power, M Milano, A Cheung, JM Hellerstein Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1349-1377, 2022 | 18 | 2022 |
Vizsmith: Automated visualization synthesis by mining data-science notebooks R Bavishi, S Laddad, H Yoshida, MR Prasad, K Sen 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 5 | 2021 |
Optimizing Distributed Protocols with Query Rewrites DCY Chu, R Panchapakesan, S Laddad, LE Katahanas, C Liu, ... Proceedings of the ACM on Management of Data 2 (1), 1-25, 2024 | 4 | 2024 |
Keep CALM and CRDT On S Laddad, C Power, M Milano, A Cheung, N Crooks, JM Hellerstein Proceedings of the VLDB Endowment 16 (4), 2022 | 4 | 2022 |
ScalaPy: seamless python interoperability for cross-platform scala programs S Laddad, K Sen Proceedings of the 11th ACM SIGPLAN International Symposium on Scala, 2-13, 2020 | 4 | 2020 |
Optimizing Stateful Dataflow with Local Rewrites S Laddad, C Power, T Hou, A Cheung, JM Hellerstein arXiv preprint arXiv:2306.10585, 2023 | 3 | 2023 |
Optimizing Distributed Protocols with Query Rewrites [Technical Report] D Chu, R Panchapakesan, S Laddad, L Katahanas, C Liu, K Shivakumar, ... arXiv preprint arXiv:2404.01593, 2024 | 2 | 2024 |
Suki: Choreographed Distributed Dataflow in Rust S Laddad, A Cheung, JM Hellerstein arXiv preprint arXiv:2406.14733, 2024 | | 2024 |
Code Transpilation for Hardware Accelerators Y Nishida, S Bhatia, S Laddad, H Genc, YS Shao, A Cheung arXiv preprint arXiv:2308.06410, 2023 | | 2023 |
Towards Auto-Generated Data Systems A Cheung, MBS Ahmad, B Haynes, C Kittivorawong, S Laddad, X Liu, ... Proceedings of the VLDB Endowment 16 (12), 4116-4129, 2023 | | 2023 |
Initial Steps Toward a Compiler for Distributed Programs JM Hellerstein, S Laddad, M Milano, C Power, M Samuel Proceedings of the 5th workshop on Advanced tools, programming languages …, 2023 | | 2023 |
Fluid quotes: metaprogramming across abstraction boundaries with dependent types S Laddad, K Sen Proceedings of the 19th ACM SIGPLAN International Conference on Generative …, 2020 | | 2020 |
Towards Relational Contextual Equality Saturation T HOU, S LADDAD, JM HELLERSTEIN | | |