Alastair Reid

Publication Activity (10 Years)

Years Active: 1989-2020
Publications (10 Years): 7

Top Topics

Provably Correct

Highly Scalable

Processor Array

Top Venues

Proc. ACM Program. Lang.

Publications

Alastair Reid, Luke Church, Shaked Flur, Sarah de Haas, Maritza Johnson, Ben Laurie
Towards making formal methods normal: meeting developers where they are. CoRR (2020)
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) (2019)
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 (2018)
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) (2017)
Alastair Reid
Who guards the guards? formal validation of the Arm v8-m architecture specification. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Alastair Reid
Trustworthy specifications of ARM® v8-A and v8-M system level architecture. FMCAD (2016)
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)
Matthias Boettcher, Bashir M. Al-Hashimi, Mbou Eyole, Giacomo Gabrielli, Alastair Reid
Advanced SIMD: Extending the reach of contemporary SIMD architectures. DATE (2014)
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)
Emre Özer, Alastair Reid, Stuart Biles
Low-cost Techniques for Reducing Branch Context Pollution in a Soft Realtime Embedded Multithreaded Processor. SBAC-PAD (2007)
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)
John Regehr, Alastair Reid, Kirk Webb
Eliminating stack overflow by abstract interpretation. ACM Trans. Embed. Comput. Syst. 4 (4) (2005)
John Regehr, Alastair Reid
HOIST: a system for automatically deriving static analyzers for embedded systems. ASPLOS (2004)
John Regehr, Alastair Reid, Kirk Webb
Eliminating Stack Overflow by Abstract Interpretation. EMSOFT (2003)
John Regehr, Alastair Reid, Kirk Webb, Michael A. Parker, Jay Lepreau
Evolving real-time systems using hierarchical scheduling and concurrency analysis. RTSS (2003)
Eric Eide, Alastair Reid, John Regehr, Jay Lepreau
Static and dynamic structure in design patterns. ICSE (2002)
John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager
FVision: A Declarative Language for Visual Tracking. PADL (2001)
Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide
Knit: Component Composition for Systems Software. OSDI (2000)
Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak
Prototyping Real-Time Vision Systems: An Experiment in DSL Design. ICSE (1999)
Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow
A Semantics for Imprecise Exceptions. PLDI (1999)
Alastair Reid
Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes. IFL (1998)
Alastair Reid, Satnam Singh
Implementing Fudgets with Standard Widget Sets. Functional Programming (1993)
Alastair Reid
Designing Data Structures. Functional Programming (1989)