| 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 | 1 | 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 | 1 | 2021 |
| 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 | 1 | 2020 |
| Keep CALM and CRDT On S Laddad, C Power, M Milano, A Cheung, N Crooks, JM Hellerstein arXiv preprint arXiv:2210.12605, 2022 | | 2022 |
| Synthesizing CRDTs from Sequential Data Types with Verified Lifting S Laddad, C Power, M Milano, A Cheung, JM Hellerstein arXiv preprint arXiv:2205.12425, 2022 | | 2022 |
| 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 |
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
