Archibald Samuel Elliott
Archibald Samuel Elliott
Unknown affiliation
Verified email at lenary.co.uk - Homepage
TitleCited byYear
Cost-directed refactoring for parallel Erlang programs
C Brown, M Danelutto, K Hammond, P Kilpatrick, A Elliott
International Journal of Parallel Programming 42 (4), 564-582, 2014
432014
Riak dt map: A composable, convergent replicated dictionary
R Brown, S Cribbs, C Meiklejohn, S Elliott
Proceedings of the First Workshop on Principles and Practice of Eventual …, 2014
262014
Checked C: Making C Safe by Extension
AS Elliott, A Ruef, M Hicks, D Tarditi
2018 IEEE Cybersecurity Development (SecDev), 53-60, 2018
62018
A Concurrency System for Idris & Erlang
AS Elliott
Bachelors Dissertation, University of St Andrews, 2015. URL http://lenary …, 2015
42015
Swizzle Inventor: Data Movement Synthesis for GPU Kernels
PM Phothilimthana, AS Elliott, A Wang, A Jangda, B Hagedorn, H Barthels, ...
Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2019
12019
Putting the Checks into Checked C
AS Elliott
2017
ERLANG/OTP Meets Dependent Types
AS Elliott
2015
Checked C for Safety, Gradually
A Ruef, AS Elliott, I Sweet, M Hicks, D Tarditi
Skel: A Streaming Process-based Skeleton Library for Erlang (Early Draft!)
A Elliott, C Brown, M Danelutto, K Hammond
DRAFT PROCEEDINGS OF THE 24TH SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF …, 0
The system can't perform the operation now. Try again later.
Articles 1–9