Sun 15 - Sat 21 November 2020 Online Conference
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


HATRA 2020Author of Towards making formal methods normal: meeting developers where they are within the HATRA-track
Show activities from other conferences

Using general profile