Follow
Archibald Samuel Elliott
Archibald Samuel Elliott
Qualcomm Technologies International, Ltd
Verified email at lenary.co.uk - Homepage
Title
Cited by
Cited by
Year
Checked C: Making C Safe by Extension
AS Elliott, A Ruef, M Hicks, D Tarditi
2018 IEEE Cybersecurity Development (SecDev), 53-60, 2018
71*2018
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
582019
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
572014
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
532014
Fireiron: A Data-Movement-Aware Scheduling Language for GPUs
B Hagedorn, AS Elliott, H Barthels, R Bodik, V Grover
Proceedings of the ACM International Conference on Parallel Architectures …, 2020
43*2020
A Concurrency System for Idris & Erlang
AS Elliott
Bachelors Dissertation, University of St Andrews, 2015. URL http://lenary …, 2015
72015
Skel: A streaming process-based skeleton library for Erlang
A Elliott, C Brown, M Danelutto, K Hammond
24th Symposium on Implementation and Application of Functional Languages, IFL, 2012
32012
Checked C for Safety, Gradually
A Ruef, AS Elliott, I Sweet, M Hicks, D Tarditi
Draft. Nov 17, 2017
12017
Putting the Checks into Checked C
AS Elliott
2017
ERLANG/OTP Meets Dependent Types
AS Elliott
2015
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–11