SPLASH 2022 (series) / 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
Personal website:https://alastairreid.github.io
Research interests:Formal Verification, ISAs, processor semantics, microarchitecture, vector architecture, parallelising compilers, software defined radio, functional programming
Contributions
| 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
View general profile