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.
LLVM 9.0 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 in October, placed 7th on the Top 25 sailboats of 2018 by 48° North magazine.
I joined Vinod Grover at NVIDIA, for an internship in Redmond.
I sailed The Swiftsure International Yacht Race on Memorial Day Weekend, aboard Bravo Zulu. We came 28th overall in the Cape Flattery Race.
I sailed The Southern Straits Classic Yacht Race on Easter Weekend. I was aboard Amazing Grace, a C&C 40. We came 5th in the PHRF Long Course.
I attended POPL 2018 in Los Angeles!
Bravo Zulu, the yacht I race on, has once again placed on the Top 25 sailboats of 2017 by 48° North magazine. This time we're 12th.
I have completed my M.S. in Computer Science and Engineering at the Paul G. Allen School at the University of Washington. My Technical Report is available.
I have returned to Microsoft Research for another three-month internship on the Checked C project.
I have joined Microsoft Research to do a three-month internship on the Checked C project, working with David Tarditi.
The yacht I race on, Bravo Zulu, placed 9th on the Top 25 sailboats of 2016 by 48° North magazine.
I won the Lockheed Martin Award for Software Engineering at the Young Software Engineer of the Year Awards.
I attended ICFP 2015 in Vancouver.
I completed my BSc (Hons) in Computer Science at the University of St Andrews, in Scotland. My BSc Dissertation is available.
2018: I worked on how solvers and synthesis can be used to create (or assist in creating) Halide-like schedules for linear algebra and other tensor applications.
2018: I worked on using Program Synthesis techniques to assist programmers in designing efficient data access patterns for parallel programs.
2017: I worked at Microsoft Research on a project to make C Safer, by adding bounds checks to memory accesses. This included design of low-cost dynamic checks as well as bounds inference algorithms.
2016: I tried to use program synthesis techniques to design circuits. It kept almost working, but never enough for a publication.
2014–2015: My Bachelor's Dissertation project was producing an Idris to Erlang compiler, and associated libraries for producing verified concurrent programs in Idris that would use Erlang VM features.
2013–2014: I worked on the Data Types team at Basho, developing novel CRDTs that were included in Riak 2.0 and later.
2012: I worked at the University of St Andrews on the ParaPhrase project to develop parallel skeleton library for Erlang.
I have sailed most of my life, and in 2016 I got hooked on yacht racing.
I read. Here are some (mostly technical) books I recommend.
2014-2015: Henry Legg and I presented a Science and Technology news radio show, broadcasting weekly, covering recent science news and a few interviews.