Program synthesis by type-guided abstraction refinement. - Zheng Guo 003; Michael James 003; David Justo; Jiaxiao Zhou; Ziteng Wang; Ranjit Jhala; Nadia Polikarpova (Proc. ACM Program. Lang., 2020)

Serverless Workflows with Durable Functions and Netherite. - Sebastian Burckhardt; Chris Gillum; David Justo; Konstantinos Kallas; Connor McMahon; Christopher S. Meiklejohn (CoRR, 2021)

Durable functions: semantics for stateful serverless. - Sebastian Burckhardt; Chris Gillum; David Justo; Konstantinos Kallas; Connor McMahon; Christopher S. Meiklejohn (Proc. ACM Program. Lang., 2021)

Towards A Polyglot Framework for Factorized ML. - David Justo; Shaoqing Yi; Lukas Stadler; Nadia Polikarpova; Arun Kumar 001 (Proc. VLDB Endow., 2021)

Netherite: Efficient Execution of Serverless Workflows. - Sebastian Burckhardt; Badrish Chandramouli; Chris Gillum; David Justo; Konstantinos Kallas; Connor McMahon; Christopher Meiklejohn; Xiangfeng Zhu (Proc. VLDB Endow., 2022)