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
Research interests:Formal Verification, ISAs, processor semantics, microarchitecture, vector architecture, parallelising compilers, software defined radio, functional programming

Contributions

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

PLDI 2018-profile
View general profile