David Justo davidmrdavid

🎯

Focusing

Didn't you hear the news? Well typed programs, don't go wrong

98 followers · 196 following

Microsoft
https://davidmrdavid.github.io/about.html

Organizations

davidmrdavid/README.md

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.

Get in Touch

Twitter: https://twitter.com/davidjustodavid
Personal Site: https://davidmrdavid.github.io/about.html

Pinned Loading

TyGuS/hoogle_plus TyGuS/hoogle_plus Public

Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

Haskell 65 8
Hyve Hyve Public

Hyve is a cool thing

JavaScript 3
graalpython graalpython Public

Forked from oracle/graalpython

A Python 3 implementation built on GraalVM

Python
thanosDSL thanosDSL Public

A Truffle DSL for algebraic rewrites to speed up linear algebra algorithms

Java

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.