About

I’m a software engineer in the MSVC / C++ team at Microsoft, working on the Address Sanitizer. I was previously working on Durable Functions, a serverless durable execution framework, but I’ve moved to the “open source ranks” of the project.

I enjoy working on dev tools and keeping up with the latest research on programming languages theory; I’m a big nerd for that sort of stuff. The shared logical foundations between database and programming languages theory are also of particular interest to me, so I try to keep one foot in both the systems world and another in PL. In the past, I completed a BS and MS at UC San Diego, where I was advised by Nadia Polikarpova and Arun Kumar on a few research projects.

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

Service

2023
ECOOP’23: Artifact Evaluation + Extended Review Comittee
2022
ECOOP’22: Artifact Evaluation + Extended Review Comittee
POPL’22: ShutdownPL
2021
ICFP’21: ShutdownPL
2020
ICFP’20: ShutdownPL