PL cultist, DB-theory sympathizer, wannabe vegetarian.
I’m a software engineer working on programming models and abstractions for serverless applications at Microsoft. Academically speaking, I’m interested in exploring how the co-design of PLs and their tooling (editors, debuggers, synthesizers, documentation, etc.) can positively influence programmer productivity and software correctness. I am also fascinated by the shared logical foundations of database and programming languages theory, so I enjoy reading up on work at that intersection. I completed a BS and MS from UC San Diego, where I was advised by Nadia Polikarpova and Arun Kumar; we did some science together.
- Program Synthesis by Type-Guided Abstraction Refinement.
Zheng Guo, Michael James, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova. POPL '20
- Towards A Polyglot Framework For Factorized ML.
David Justo, Shaoqing Yi, Lukas Stadler, Nadia Polikarpova, Arun Kumar. VLDB '21 (Industry Track)
- Durable Functions: Semantics for Stateful Serverless.
Sebastian Buckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meikeljohn. OOPSLA '21
- Serverless Workflows with Durable Functions and Netherite.
Sebastian Buckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meikeljohn. Under submission