David Justo

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 6

Top Topics

Program Synthesis

Top Venues

Proc. ACM Program. Lang.

Proc. VLDB Endow.

Publications

Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher Meiklejohn, Xiangfeng Zhu
Netherite: Efficient Execution of Serverless Workflows. Proc. VLDB Endow. 15 (8) (2022)
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
Serverless Workflows with Durable Functions and Netherite. CoRR (2021)
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
Durable functions: semantics for stateful serverless. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
David Justo, Shaoqing Yi, Lukas Stadler, Nadia Polikarpova, Arun Kumar
Towards A Polyglot Framework for Factorized ML. Proc. VLDB Endow. 14 (12) (2021)
Zheng Guo, Michael James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova
Program synthesis by type-guided abstraction refinement. Proc. ACM Program. Lang. 4 (POPL) (2020)
Zheng Guo, Michael James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova
Program Synthesis by Type-Guided Abstraction Refinement. CoRR (2019)