Checked C: Making C Safe by Extension. - Archibald Samuel Elliott; Andrew Ruef; Michael Hicks 001; David Tarditi (SecDev, 2018)

Swizzle Inventor: Data Movement Synthesis for GPU Kernels. - Phitchaya Mangpo Phothilimthana; Archibald Samuel Elliott; An Wang 003; Abhinav Jangda; Bastian Hagedorn; Henrik Barthels; Samuel J. Kaufman; Vinod Grover; Emina Torlak; Rastislav Bodík (ASPLOS, 2019)

Synthesizing Number Generators for Stochastic Computing using Mixed Integer Programming. - Vincent T. Lee; Archibald Samuel Elliott; Armin Alaghi; Luis Ceze (CoRR, 2019)

Fireiron: A Data-Movement-Aware Scheduling Language for GPUs. - Bastian Hagedorn; Archibald Samuel Elliott; Henrik Barthels; Rastislav Bodík; Vinod Grover (PACT, 2020)

Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs. - Bastian Hagedorn; Archibald Samuel Elliott; Henrik Barthels; Rastislav Bodík; Vinod Grover (CoRR, 2020)