Archibald Samuel Elliott

Programming Languages & Compilers

Publications

← Home

2018

Swizzle Inventor: Data Movement Synthesis for GPU Kernels Paper →

Phitchaya Mangpo Phothilimthana, Archibald Samuel Elliott, Abhinav Jangda, Bastian Hagedorn, Henrik Barthels, Rastislav Bodik, Vinod Grover

November 2018 • Paper • Accepted to ASPLOS 2019

Checked C: Making C Safe By Extension Paper →

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

IEEE SecDev '18 • Paper

2017

Putting the Checks into Checked C Technical Report →

Archibald Samuel Elliott

October 2017 • Checked C Technical Report Number 2

2015

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

2014

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

Russell Brown, Sean Cribbs, Christopher Meiklejohn, Sam Elliott

PaPEC '14 • Workshop Paper

2013

Cost-Directed Refactoring for Parallel Erlang Programs Journal Paper →

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 Early Draft →

Archibald Elliott, Christopher Brown, Marco Danelutto, Kevin Hammond

August 2012 • Early Draft • Never Submitted