Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Alastair Reid

Registered user since Thu 16 Jan 2020

Name:Alastair Reid

Researcher at Google (UK) 2019-present

  • Rust verification tools

Researcher at Arm Ltd (UK) 2004-2019

  • Formal ISA specifications (newest)
  • Model checking processor pipelines
  • Wide SIMD instruction set
  • Pipeline parallelism
  • Software defined radio
  • Vectorising compilers (oldest)

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

  • Component based / Library operating systems

Researcher at Yale University (USA), 1994-1998

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

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

  • Formal specification and verification
  • GHC foreign function interface


  • Ph.D. Glasgow University, “Defining interfaces between hardware and software: Quality and performance”
  • M.Sc. Glasgow University, “A precise semantics for Ultraloose Specifications”
  • B.Sc. University of Strathclyde.
Country:United Kingdom
Affiliation:Google Research
Research interests:formal verification, security, functional languages, computer architecture


HATRA 2021 Committee Member in Program Committee within the HATRA 2021-track
Show activities from other conferences

Using general profile