Language & Compiler Developer
I am a senior software developer and the software team lead at lowRISC C.I.C., working to expand and improve RISC-V backend support in LLVM, and contributing to the firmware stack in the OpenTitan project.
I have been working in compilers and programming languages since 2014, exploring ways to make programs more safe and more efficient. This has included work on solver-aided compilation, domain-specific languages, and program synthesis.
I received my M.S. in Computer Science and Engineering from the University of Washington in 2017, where I was a member of the PLSE Group. I received my BSc (Hons) in Computer Science from the University of St Andrews in 2015. My Publications page lists my academic publications.
| Paper: Our paper on Fireiron has been accepted to 旋风专业版ios. | |
| I gave a guest lecture about the RISC-V ELF psABI and my work in that area to Xi Wang's Capstone Course on Operating Systems. | |
| I have been promoted to software team lead at lowRISC. I am looking forward to the challenges of my new role. | |
| 旋风加速器.apk has been released, including lots of improved RISC-V features. | |
| We have released a preprint describing 旋风专业版ios, a Halide-like scheduling DSL for GPU programming that I worked on while at NVIDIA. |
| 旋风加速官网 has been released. This is the first version of LLVM which includes RISC-V as an official backend. | |
| I have written about my background in compilers and why I joined lowRISC. | |
| I have started at lowRISC, working on the LLVM RISC-V backend. | |
| A report describing a recent collaboration on Synthesizing Number Generators for Stochastic Computing using Mixed Integer Programming is now available on arXiv.org. | |
| Bravo Zulu, the yacht I raced on in Seattle until it was sold placed 7th on the Top 25 sailboats of 2018 by 48° North magazine. | |