Cambridge, UK
Known As: Sam

Archibald Samuel Elliott

Language & Compiler Developer

Publications

← Home

2020

Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs

Bastian Hagedorn, Archibald Samuel Elliott, Henrik Barthels, Rastislav Bodik, Vinod Grover

PACT '20 • Paper

2019

Swizzle Inventor: Data Movement Synthesis for GPU Kernels

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

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

February 2019 • Technical Report

2018

Checked C: Making C Safe By Extension

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

IEEE SecDev '18 • Paper

2017

Putting the Checks into Checked C

Archibald Samuel Elliott

October 2017 • Checked C Technical Report Number 2

2015

Erlang/OTP meets Dependent Types

Archibald Samuel Elliott

ICFP SRC '15 • Extended Abstract

A Concurrency System for Idris & Erlang

Archibald Samuel Elliott

April 2015 • Bachelors Dissertation

2014

Riak DT Map: A Composable, Convergent Replicated Dictionary

Russell Brown, Sean Cribbs, Christopher Meiklejohn, Sam Elliott

PaPEC '14 • Workshop Paper

2013

Cost-Directed Refactoring for Parallel Erlang Programs

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

IJPP 42.4 • Journal Paper

2012

Skel: A Streaming Process-based Skeleton Library for Erlang

Archibald Elliott, Christopher Brown, Marco Danelutto, Kevin Hammond

August 2012 • Early Draft • Never Submitted