Alastair Reid

The ARM Scalable Vector Extension

Nigel Stephens, Stuart Biles, Matthias Boettcher et al. · IEEE Micro · 2017 · 278 citations · Full text

Engineering, Compiler Technology, Computer Architecture +17

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS

Alasdair Armstrong, B. K. Campbell, Alastair Reid et al. · Proceedings of the ACM on Programming Languages · 2019 · 111 citations · Full text

Engineering, Hardware Verification Language, Verification +21

Knit: component composition for systems software

Alastair Reid, Matthew Flatt, Leigh Stoller et al. · Operating Systems Design and Implementation · 2000 · 107 citations

Software Maintenance, Engineering, Compiler Technology +20

A semantics for imprecise exceptions

Simon Peyton Jones, Alastair Reid, Fergus Henderson et al. · 1999 · 102 citations

Engineering, Verification, Computer Architecture +20

From SODA to scotch: The evolution of a wireless baseband processor

Mark Woh, Yuan Lin, Sangwon Seo et al. · 2008 · 101 citations

Wireless Communications, Engineering, Radio Frequency +18