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

PLDI 2018Committee Member in External Review Committee
Show activities from other conferences

Using general profile