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.