default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlastair Reid 0001
Person information
- affiliation: Intel, Cambridge, UK
- affiliation (2019-2021): Google Research, London, UK
- affiliation (2004-2019): ARM Limited, Cambridge, UK
- affiliation (1999-2004): University of Utah, Salt Lake City, UT, USA
- affiliation (1994-1999): Yale University, New Haven, CT, USA
- affiliation (1988-1994): University of Glasgow, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[i2]Alastair Reid, Luke Church, Shaked Flur, Sarah de Haas, Maritza Johnson, Ben Laurie:
Towards making formal methods normal: meeting developers where they are. CoRR abs/2010.16345 (2020)
2010 – 2019
- 2019
- [b1]Alastair David Reid:
Defining interfaces between hardware and software: quality and performance. University of Glasgow, UK, 2019 - [j4]Alasdair Armstrong, Thomas Bauereiss, Brian Campbell
, Alastair Reid, Kathryn E. Gray, Robert M. Norton, Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami, Peter Sewell:
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS. Proc. ACM Program. Lang. 3(POPL): 71:1-71:31 (2019) - 2018
- [i1]Nigel Stephens, Stuart Biles, Matthias Boettcher, Jacob Eapen, Mbou Eyole, Giacomo Gabrielli, Matt Horsnell, Grigorios Magklis, Alejandro Martinez, Nathanaël Prémillieu, Alastair Reid, Alejandro Rico, Paul Walker:
The ARM Scalable Vector Extension. CoRR abs/1803.06185 (2018) - 2017
- [j3]Nigel Stephens, Stuart Biles, Matthias Boettcher, Jacob Eapen, Mbou Eyole, Giacomo Gabrielli, Matt Horsnell, Grigorios Magklis, Alejandro Martinez, Nathanaël Prémillieu, Alastair Reid, Alejandro Rico, Paul Walker:
The ARM Scalable Vector Extension. IEEE Micro 37(2): 26-39 (2017) - [j2]Alastair Reid:
Who guards the guards? formal validation of the Arm v8-m architecture specification. Proc. ACM Program. Lang. 1(OOPSLA): 88:1-88:24 (2017) - 2016
- [c18]Alastair Reid, Rick Chen, Anastasios Deligiannis, David Gilday, David Hoyes, Will Keen, Ashan Pathirane, Owen Shepherd, Peter Vrabel, Ali Zaidi:
End-to-End Verification of Processors with ISA-Formal. CAV (2) 2016: 42-58 - [c17]Alastair Reid:
Trustworthy specifications of ARM® v8-A and v8-M system level architecture. FMCAD 2016: 161-168 - 2014
- [c16]Matthias Boettcher, Bashir M. Al-Hashimi, Mbou Eyole, Giacomo Gabrielli, Alastair Reid:
Advanced SIMD: Extending the reach of contemporary SIMD architectures. DATE 2014: 1-4
2000 – 2009
- 2008
- [c15]Alastair David Reid, Krisztián Flautner, Edmund Grimley-Evans, Yuan Lin:
SoC-C: efficient programming abstractions for heterogeneous multicore systems on chip. CASES 2008: 95-104 - [c14]Mark Woh, Yuan Lin, Sangwon Seo, Scott A. Mahlke, Trevor N. Mudge, Chaitali Chakrabarti, Richard Bruce, Danny Kershaw, Alastair Reid, Mladen Wilder, Krisztián Flautner:
From SODA to scotch: The evolution of a wireless baseband processor. MICRO 2008: 152-163 - 2007
- [c13]Emre Özer, Alastair Reid, Stuart Biles:
Low-cost Techniques for Reducing Branch Context Pollution in a Soft Realtime Embedded Multithreaded Processor. SBAC-PAD 2007: 37-44 - 2006
- [c12]Yuan Lin, Scott A. Mahlke, Trevor N. Mudge, Chaitali Chakrabarti, Alastair Reid, Krisztián Flautner:
Design and Implementation of Turbo Decoders for Software Defined Radio. SiPS 2006: 22-27 - 2005
- [j1]John Regehr, Alastair Reid, Kirk Webb:
Eliminating stack overflow by abstract interpretation. ACM Trans. Embed. Comput. Syst. 4(4): 751-778 (2005) - 2004
- [c11]John Regehr, Alastair Reid:
HOIST: a system for automatically deriving static analyzers for embedded systems. ASPLOS 2004: 133-143 - 2003
- [c10]John Regehr, Alastair Reid, Kirk Webb:
Eliminating Stack Overflow by Abstract Interpretation. EMSOFT 2003: 306-322 - [c9]John Regehr, Alastair Reid, Kirk Webb, Michael A. Parker, Jay Lepreau:
Evolving real-time systems using hierarchical scheduling and concurrency analysis. RTSS 2003: 25-36 - 2002
- [c8]Eric Eide, Alastair Reid, John Regehr, Jay Lepreau:
Static and dynamic structure in design patterns. ICSE 2002: 208-218 - 2001
- [c7]John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager:
FVision: A Declarative Language for Visual Tracking. PADL 2001: 304-321 - 2000
- [c6]Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide:
Knit: Component Composition for Systems Software. OSDI 2000: 347-360
1990 – 1999
- 1999
- [c5]Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak:
Prototyping Real-Time Vision Systems: An Experiment in DSL Design. ICSE 1999: 484-493 - [c4]Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow:
A Semantics for Imprecise Exceptions. PLDI 1999: 25-36 - 1998
- [c3]Alastair Reid:
Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes. IFL 1998: 186-199 - 1993
- [c2]Alastair Reid, Satnam Singh:
Implementing Fudgets with Standard Widget Sets. Functional Programming 1993: 222-235
1980 – 1989
- 1989
- [c1]Alastair Reid:
Designing Data Structures. Functional Programming 1989: 170-181
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
