Designing Data Structures. - Alastair Reid 001 (Functional Programming, 1989)

Implementing Fudgets with Standard Widget Sets. - Alastair Reid 001; Satnam Singh (Functional Programming, 1993)

Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes. - Alastair Reid 001 (IFL, 1998)

Prototyping Real-Time Vision Systems: An Experiment in DSL Design. - Alastair Reid 001; John Peterson; Gregory D. Hager; Paul Hudak (ICSE, 1999)

A Semantics for Imprecise Exceptions. - Simon L. Peyton Jones; Alastair Reid 001; Fergus Henderson; C. A. R. Hoare; Simon Marlow (PLDI, 1999)

Knit: Component Composition for Systems Software. - Alastair Reid 001; Matthew Flatt; Leigh Stoller; Jay Lepreau; Eric Eide (OSDI, 2000)

FVision: A Declarative Language for Visual Tracking. - John Peterson; Paul Hudak; Alastair Reid 001; Gregory D. Hager (PADL, 2001)

Static and dynamic structure in design patterns. - Eric Eide; Alastair Reid 001; John Regehr; Jay Lepreau (ICSE, 2002)

Evolving real-time systems using hierarchical scheduling and concurrency analysis. - John Regehr; Alastair Reid 001; Kirk Webb; Michael A. Parker; Jay Lepreau (RTSS, 2003)

HOIST: a system for automatically deriving static analyzers for embedded systems. - John Regehr; Alastair Reid 001 (ASPLOS, 2004)

Eliminating stack overflow by abstract interpretation. - John Regehr; Alastair Reid 001; Kirk Webb (ACM Trans. Embed. Comput. Syst., 2005)

Design and Implementation of Turbo Decoders for Software Defined Radio. - Yuan Lin 002; Scott A. Mahlke; Trevor N. Mudge; Chaitali Chakrabarti; Alastair Reid 001; Krisztián Flautner (SiPS, 2006)

Low-cost Techniques for Reducing Branch Context Pollution in a Soft Realtime Embedded Multithreaded Processor. - Emre Özer 001; Alastair Reid 001; Stuart Biles (SBAC-PAD, 2007)

SoC-C: efficient programming abstractions for heterogeneous multicore systems on chip. - Alastair David Reid; Krisztián Flautner; Edmund Grimley-Evans; Yuan Lin 002 (CASES, 2008)

From SODA to scotch: The evolution of a wireless baseband processor. - Mark Woh; Yuan Lin 002; Sangwon Seo; Scott A. Mahlke; Trevor N. Mudge; Chaitali Chakrabarti; Richard Bruce; Danny Kershaw; Alastair Reid 001; Mladen Wilder; Krisztián Flautner (MICRO, 2008)

Advanced SIMD: Extending the reach of contemporary SIMD architectures. - Matthias Boettcher; Bashir M. Al-Hashimi; Mbou Eyole; Giacomo Gabrielli; Alastair Reid 001 (DATE, 2014)

End-to-End Verification of Processors with ISA-Formal. - Alastair Reid 001; Rick Chen; Anastasios Deligiannis; David Gilday; David Hoyes; Will Keen; Ashan Pathirane; Owen Shepherd; Peter Vrabel; Ali Zaidi (CAV (2), 2016)

Trustworthy specifications of ARM® v8-A and v8-M system level architecture. - Alastair Reid 001 (FMCAD, 2016)

The ARM Scalable Vector Extension. - Nigel Stephens; Stuart Biles; Matthias Boettcher; Jacob Eapen; Mbou Eyole; Giacomo Gabrielli; Matt Horsnell; Grigorios Magklis; Alejandro Martinez; Nathanaël Prémillieu; Alastair Reid 001; Alejandro Rico; et al. (IEEE Micro, 2017)

Who guards the guards? formal validation of the Arm v8-m architecture specification. - Alastair Reid 001 (Proc. ACM Program. Lang., 2017)

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS. - Alasdair Armstrong; Thomas Bauereiss; Brian Campbell 001; Alastair Reid 001; Kathryn E. Gray; Robert M. Norton; Prashanth Mundkur; Mark Wassell; Jon French; Christopher Pulte; Shaked Flur; Ian Stark; et al. (Proc. ACM Program. Lang., 2019)

Defining interfaces between hardware and software: quality and performance. - Alastair David Reid (2019)

Towards making formal methods normal: meeting developers where they are. - Alastair Reid 001; Luke Church; Shaked Flur; Sarah de Haas; Maritza Johnson; Ben Laurie (CoRR, 2020)