| The cosmos big data platform at Microsoft: over a decade of progress and a decade to look forward C Power, H Patel, A Jindal, J Leeka, B Jenkins, M Rys, E Triou, D Zhu, ... Proceedings of the VLDB Endowment 14 (12), 3148-3161, 2021 | 4 | 2021 |
| Kea: Tuning an exabyte-scale data infrastructure Y Zhu, S Krishnan, K Karanasos, I Tarte, C Power, A Modi, M Kumar, ... Proceedings of the 2021 International Conference on Management of Data, 2667 …, 2021 | 4 | 2021 |
| 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 |
| 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 |
| Analyzing and Comparing Lakehouse Storage Systems P Jain, P Kraft, C Power, T Das, I Stoica, M Zaharia | | |
Shadaj LaddadUniversity of California, BerkeleyVerified email at berkeley.edu
