Archibald Samuel Elliott

Compiler & Language Developer

I am a software developer at lowRISC, working to expand and improve RISC-V backend support in LLVM.

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

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.

Older News

Paper: Our Paper, Swizzle Inventor has been accepted to ASPLOS 2019.

I sailed CYC Seattle's Puget Sound Sailing Championship aboard Bravo Zulu. We came 2nd in class. This was Bravo Zulu's last regatta with that owner and crew.

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.

Paper: Our Paper, Checked C: Making C Safe By Extension has been accepted to IEEE SecDev '18.

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 have started graduate school in Computer Science at the University of Washington, in Seattle.

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.

My Research Projects Publications →

Schedule Synthesizer

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.

Swizzle Inventor

2018: I worked on using Program Synthesis techniques to assist programmers in designing efficient data access patterns for parallel programs.

"Swizzle Inventor: Data Movement Synthesis for GPU Kernels" Paper →

Checked C Official Site →

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.

"Checked C: Making C Safe By Extension" Paper →"Putting the Checks into Checked C" Technical Report →


2016: I tried to use program synthesis techniques to design circuits. It kept almost working, but never enough for a publication.

Erlang meets Idris

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.

"A Concurrency System for Idris & Erlang" Dissertation →

CRDTs: Composition and Garbage Collection

2013–2014: I worked on the Data Types team at Basho, developing novel CRDTs that were included in Riak 2.0 and later.

"Riak DT Map: a Composable, Convergent Replicated Dictionary" Workshop Paper → "CRDTs: An Update (or just a PUT)" Talk at RICON West 2013 →

skel: A Streaming Process-based Skeleton Library for Erlang

2012: I worked at the University of St Andrews on the ParaPhrase project to develop parallel skeleton library for Erlang.

“Cost-Directed Refactoring of Parallel Erlang Programs” Journal Paper →

Side Projects

What I do when I'm not typing

Sailing My Logbook →

I have sailed most of my life, and in 2016 I got hooked on yacht racing.

Library My Library →

I read. Here are some (mostly technical) books I recommend.

Quark & Byte On →

2014-2015: Henry Legg and I presented a Science and Technology news radio show, broadcasting weekly, covering recent science news and a few interviews.