Program synthesis by type-guided abstraction refinement Z Guo, M James, D Justo, J Zhou, Z Wang, R Jhala, N Polikarpova Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019 | 70 | 2019 |
Durable functions: Semantics for stateful serverless S Burckhardt, C Gillum, D Justo, K Kallas, C McMahon, CS Meiklejohn Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-27, 2021 | 69 | 2021 |
Netherite: Efficient execution of serverless workflows S Burckhardt, B Chandramouli, C Gillum, D Justo, K Kallas, C McMahon, ... Proceedings of the VLDB Endowment 15 (8), 1591-1604, 2022 | 62 | 2022 |
Serverless workflows with durable functions and netherite S Burckhardt, C Gillum, D Justo, K Kallas, C McMahon, CS Meiklejohn arXiv preprint arXiv:2103.00033, 2021 | 21 | 2021 |
Towards A Polyglot Framework for Factorized ML D Justo, S Yi, L Stadler, N Polikarpova, A Kumar PVLDB 14, 2021 | 5 | 2021 |
Write once, rewrite everywhere: A Unified Framework for Factorized Machine Learning D Justo University of California, San Diego, 2019 | | 2019 |