I work in Programming Languages and Compilers, 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, working with Ras Bodik. I was a member of the PLSE Group. I received my BSc (Hons) in Computer Science from the University of St Andrews in 2015.
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 this summer, 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 MS 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 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.