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.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4