Personal information

Websites & social links

Homepage

Countries

United Kingdom, United States

Activities

Collapse all

Employment (6)

Intel (UK): Cambridge, Cambridgeshire, GB

2021-12-01 to present | Senior Principal Engineer (Strategic CAD Labs)
Employment
Source: Self-asserted source
Alastair Reid

Google Inc: London, GB

2019-10 to 2021-11-30 | Research Scientist
Employment
Source: Self-asserted source
Alastair Reid

Arm Ltd: Cambridge, Cambridgeshire, GB

2017-03 to 2019-09 | Senior Principal Research Engineer (ARM Research)
Employment
Source: Self-asserted source
Alastair Reid

ARM Limited: Cambridge, GB

2004 to 2017-03 | Principal Research Engineer (ARM Research)
Employment
Source: Self-asserted source
Alastair Reid

University of Utah: Salt Lake City, UT, US

1998 to 2001 | Research Associate (School of Computing)
Employment
Source: Self-asserted source
Alastair Reid

Yale University: New Haven, CT, US

1994 to 1998 | Research Assistant (Computing Science)
Employment
Source: Self-asserted source
Alastair Reid

Education and qualifications (3)

University of Glasgow: Glasgow, GB

2019-03 | Ph.D. (School of Computing Science)
Education
Source: Self-asserted source
Alastair Reid

University of Glasgow: Glasgow, Glasgow, GB

1988 to 1994 | M.Sc. (Computing Science)
Education
Source: Self-asserted source
Alastair Reid

University of Strathclyde: Glasgow, Glasgow, GB

1984 to 1988 | B.Sc. (Computer Science)
Education
Source: Self-asserted source
Alastair Reid

Professional activities (2)

University of Cambridge: Cambridge, Cambridgeshire, GB

2016 to present | Visiting scholar (Computer Science)
Invited position
Source: Self-asserted source
Alastair Reid

Association for Computing Machinery: New York, NY, US

2014 to present | Professional Membership
Membership
Source: Self-asserted source
Alastair Reid

Works (23)

Defining interfaces between hardware and software: Quality and performance

2019-03 | Dissertation or Thesis
Source: Self-asserted source
Alastair Reid

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS

Proceedings of the ACM on Programming Languages
2019-01-02 | Journal article
DOI: 10.1145/3290384
Part of ISSN: 2475-1421
Contributors: Alasdair Armstrong; Christopher Pulte; Shaked Flur; Ian Stark; Neel Krishnaswami; Peter Sewell; Thomas Bauereiss; Brian Campbell; Alastair Reid; Kathryn E. Gray et al.
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

Who guards the guards? formal validation of the Arm v8-m architecture specification

Proceedings of the ACM on Programming Languages
2017-10 | Journal article
DOI: 10.1145/3133912
Contributors: Alastair Reid
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

The ARM Scalable Vector Extension

IEEE Micro
2017-03 | Journal article
DOI: 10.1109/mm.2017.35
Contributors: Nigel Stephens; Stuart Biles; Matthias Boettcher; Jacob Eapen; Mbou Eyole; Giacomo Gabrielli; Matt Horsnell; Grigorios Magklis; Alejandro Martinez; Nathanael Premillieu et al.
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

End-to-End Verification of Processors with ISA-Formal

Computer Aided Verification
2016 | Other
DOI: 10.1007/978-3-319-41540-6_3
Contributors: Alastair Reid; Rick Chen; Anastasios Deligiannis; David Gilday; David Hoyes; Will Keen; Ashan Pathirane; Owen Shepherd; Peter Vrabel; Ali Zaidi
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

Trustworthy specifications of ARM® v8-A and v8-M system level architecture

2016 Formal Methods in Computer-Aided Design (FMCAD)
2016-10 | Conference paper
DOI: 10.1109/fmcad.2016.7886675
Contributors: Alastair Reid
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

Advanced SIMD: Extending the reach of contemporary SIMD architectures

Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014
2014 | Conference paper
DOI: 10.7873/date.2014.037
Contributors: Matthias Boettcher; Bashir M. Al-Hashimi; Mbou Eyole; Giacomo Gabrielli; Alastair Reid
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

SoC-C

Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems - CASES '08
2008 | Conference paper
DOI: 10.1145/1450095.1450112
Contributors: Alastair D. Reid; Krisztian Flautner; Edmund Grimley-Evans; Yuan Lin
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

From SODA to scotch: The evolution of a wireless baseband processor

2008 41st IEEE/ACM International Symposium on Microarchitecture
2008-11 | Conference paper
DOI: 10.1109/micro.2008.4771787
Contributors: Mark Woh; Yuan Lin; Sangwon Seo; Scott Mahlke; Trevor Mudge; Chaitali Chakrabarti; Richard Bruce; Danny Kershaw; Alastair Reid; Mladen Wilder et al.
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

Low-cost Techniques for Reducing Branch Context Pollution in a Soft Realtime Embedded Multithreaded Processor

19th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'07)
2007-10 | Conference paper
DOI: 10.1109/sbac-pad.2007.15
Contributors: Emre Ozer; Alastair Reid; Stuart Biles
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

Design and Implementation of Turbo Decoders for Software Defined Radio

2006 IEEE Workshop on Signal Processing Systems Design and Implementation
2006-10 | Conference paper
DOI: 10.1109/sips.2006.352549
Contributors: Yuan Lin; Scott Mahlke; Trevor Mudge; Chaitali Chakrabarti; Alastair Reid; Krisztian Flautner
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

Eliminating stack overflow by abstract interpretation

ACM Transactions on Embedded Computing Systems
2005-11-01 | Journal article
DOI: 10.1145/1113830.1113833
Contributors: John Regehr; Alastair Reid; Kirk Webb
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

HOIST

Proceedings of the 11th international conference on Architectural support for programming languages and operating systems - ASPLOS-XI
2004 | Conference paper
DOI: 10.1145/1024393.1024410
Contributors: John Regehr; Alastair Reid
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

Eliminating Stack Overflow by Abstract Interpretation

Embedded Software
2003 | Other
DOI: 10.1007/978-3-540-45212-6_20
Contributors: John Regehr; Alastair Reid; Kirk Webb
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

Static and dynamic structure in design patterns

Proceedings of the 24th international conference on Software engineering - ICSE '02
2002 | Conference paper
DOI: 10.1145/581339.581367
Contributors: Eric Eide; Alastair Reid; John Regehr; Jay Lepreau
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

FVision: A Declarative Language for Visual Tracking

Practical Aspects of Declarative Languages
2001 | Other
DOI: 10.1007/3-540-45241-9_21
Contributors: John Peterson; Paul Hudak; Alastair Reid; Greg Hager
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

Knit: Component Composition for Systems Software

Operating System Design and Implementation (OSDI 2000)
2000 | Conference paper
Source: Self-asserted source
Alastair Reid

A semantics for imprecise exceptions

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation - PLDI '99
1999 | Conference paper
DOI: 10.1145/301618.301637
Contributors: Simon Peyton Jones; Alastair Reid; Fergus Henderson; Tony Hoare; Simon Marlow
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes

Implementation of Functional Languages
1999 | Other
DOI: 10.1007/3-540-48515-5_12
Contributors: Alastair Reid
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

Implementing Fudgets with Standard Widget Sets

Functional Programming, Glasgow 1993
1994 | Other
DOI: 10.1007/978-1-4471-3236-3_18
Contributors: Alastair Reid; Satnam Singh
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

Designing Data Structures

Functional Programming
1990 | Other
DOI: 10.1007/978-1-4471-3166-3_12
Contributors: Alastair Reid
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

Evolving real-time systems using hierarchical scheduling and concurrency analysis

Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748)
Conference paper
DOI: 10.1109/real.2003.1253251
Contributors: J. Regehr; A. Reid; K. Webb; M. Parker; J. Lepreau
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search

Prototyping real-time vision systems: an experiment in DSL design

Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)
Conference paper
DOI: 10.1109/icse.1999.841038
Contributors: A. Reid; J. Peterson; G. Hager; P. Hudak
Source: Self-asserted source
Alastair Reid via Crossref Metadata Search
How many people are using ORCID?