PL cultist, DB-theory sympathizer, wannabe vegetarian.
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