I'm David (he/him), 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.
- Twitter: https://twitter.com/davidjustodavid
- Personal Site: https://davidmrdavid.github.io/about.html