Alastair Reid

Registered user since Sat 26 Aug 2017

Name: Alastair Reid

Bio: Researcher at Arm Ltd (UK) since 2004

  • model checking processor pipelines (newest)
  • formal architecture specifications
  • wide SIMD instruction set
  • pipeline parallelism
  • software defined radio
  • vectorising compilers (oldest)

Researcher at University of Utah (USA), 1998-2004

  • component based operating system kernels

Researcher at Yale University (USA), 1994-1998

  • Haskell foreign function interface
  • Functional Reactive Programming
  • Visual Tracking in Haskell
  • Haskell library/compiler development

Researcher at University of Glasgow (UK), 1988-1994

  • Formal Specification and Verification
  • GHC foreign function interface

Country: United Kingdom

Affiliation: Arm Ltd

Personal website: https://alastairreid.github.io

Research interests: Formal Verification, ISAs, processor semantics, microarchitecture, vector architecture, parallelising compilers, software defined radio, functional programming

Contributions

POPL 2019Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track
PLDI 2018Committee Member in External Review Committee
LCTES 2016Session Chair of Session 1: Dynamic Translation and Iterative Compilation (part of LCTES)
SPLASH 2017Author of Who Guards the Guards? Formal Validation of the ARM v8-M Architecture Specification within the OOPSLA-track