Write a Blog >>
SLE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Alastair Reid

Registered user since Thu 16 Jan 2020

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

Show activities from other conferences

SPLASH 2020-profile
View general profile