Projects

These are some of the things I'm most proud of working or having worked on. In reverse chronological order:

• Mach-O support for LLD, The LLVM Linker.

• Redex, the Android bytecode optimizer, and SPARTA, the abstract interpretation framework that powers it.

• Hack: A typed language descended from PHP.

• Doppio: A JVM in TypeScript.

• Vimium: For keyboard-powered browsing in Chrome.