Follow
David Justo
David Justo
Microsoft
Verified email at ucsd.edu - Homepage
Title
Cited by
Cited by
Year
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
702019
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
692021
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
622022
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
212021
Towards A Polyglot Framework for Factorized ML
D Justo, S Yi, L Stadler, N Polikarpova, A Kumar
PVLDB 14, 2021
52021
Write once, rewrite everywhere: A Unified Framework for Factorized Machine Learning
D Justo
University of California, San Diego, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–6