Hola!

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.

Publications

• 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