Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Alastair Reid

Registered user since Sat 26 Aug 2017

Name:Alastair Reid

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


HATRA 2022 Committee Member in Program Committee within the Human Aspects of Types and Reasoning Assistants-track
Show activities from other conferences

SPLASH 2022-profile
View general profile