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 | 16 | 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 | 13 | 2022 |
Analyzing and comparing lakehouse storage systems P Jain, P Kraft, C Power, T Das, I Stoica, M Zaharia Proc. Conf. Innov. Data Syst. Res, 2023 | 10 | 2023 |
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 | 10* | 2021 |
Optimizing Stateful Dataflow with Local Rewrites S Laddad, C Power, T Hou, A Cheung, JM Hellerstein arXiv preprint arXiv:2306.10585, 2023 | 2 | 2023 |
Optimizing the cloud? Don't train models. Build oracles! T Bang, C Power, S Ameli, N Crooks, JM Hellerstein arXiv preprint arXiv:2308.06815, 2023 | 1 | 2023 |
Keep CALM and CRDT On S Laddad, C Power, M Milano, A Cheung, N Crooks, JM Hellerstein arXiv preprint arXiv:2210.12605, 2022 | 1 | 2022 |
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 |
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 |