Archibald Samuel Elliott

Programming Languages & Compilers


← Home


Swizzle Inventor: Data Movement Synthesis for GPU Kernels Paper →

Phitchaya Mangpo Phothilimthana, Archibald Samuel Elliott, An Wang, Abhinav Jangda, Bastian Hagedorn, Henrik Barthels, Samuel J. Kaufman, Vinod Grover, Emina Torlak, Rastislav Bodik

ASPLOS '19 • Paper

Synthesizing Number Generators for Stochastic Computing using Mixed Integer Programming Technical Report →

Vincent T. Lee, Archibald Samuel Elliott, Armin Alaghi, Luis Ceze

February 2019 • Technical Report


Checked C: Making C Safe By Extension Paper →

Archibald Samuel Elliott, Andrew Ruef, Michael Hicks, David Tarditi

IEEE SecDev '18 • Paper


Putting the Checks into Checked C Technical Report →

Archibald Samuel Elliott

October 2017 • Checked C Technical Report Number 2


Erlang/OTP meets Dependent Types Extended Abstract →

Archibald Samuel Elliott

ICFP SRC '15 • Extended Abstract

A Concurrency System for Idris & Erlang BSc Dissertation →

Archibald Samuel Elliott

April 2015 • Bachelors Dissertation at the University of St Andrews


Riak DT Map: A Composable, Convergent Replicated Dictionary Workshop Paper →

Russell Brown, Sean Cribbs, Christopher Meiklejohn, Sam Elliott

PaPEC '14 • Workshop Paper


Cost-Directed Refactoring for Parallel Erlang Programs Journal Paper →

Christopher Brown, Marco Danelutto, Kevin Hammond, Peter Kilpatrick, Archibald Elliott

IJPP 42.4 • Journal Paper


Skel: A Streaming Process-based Skeleton Library for Erlang Early Draft →

Archibald Elliott, Christopher Brown, Marco Danelutto, Kevin Hammond

August 2012 • Early Draft • Never Submitted