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