Alastair Reid

23 papers A* 6A 4B 1C 2Misc 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2020 J jnl
Towards making formal methods normal: meeting developers where they are.
CoRR
Alastair Reid, Luke Church, Shaked Flur, Sarah de Haas, Maritza Johnson, Ben Laurie
2019 J jnl
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.
Proc. ACM Program. Lang.
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
2018 J jnl
The ARM Scalable Vector Extension.
CoRR
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
2017 J jnl
The ARM Scalable Vector Extension.
IEEE Micro
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
2017 J jnl
Who guards the guards? formal validation of the Arm v8-m architecture specification.
Proc. ACM Program. Lang.
Alastair Reid
2016 — conf
End-to-End Verification of Processors with ISA-Formal.
CAV (2)
Alastair Reid, Rick Chen, Anastasios Deligiannis, David Gilday, David Hoyes, Will Keen, Ashan Pathirane, Owen Shepherd, Peter Vrabel, Ali Zaidi
2016 B conf
Trustworthy specifications of ARM® v8-A and v8-M system level architecture.
FMCAD
Alastair Reid
2014 A conf
Advanced SIMD: Extending the reach of contemporary SIMD architectures.
DATE
Matthias Boettcher, Bashir M. Al-Hashimi, Mbou Eyole, Giacomo Gabrielli, Alastair Reid
2008 A* conf
From SODA to scotch: The evolution of a wireless baseband processor.
MICRO
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
2007 C conf
Low-cost Techniques for Reducing Branch Context Pollution in a Soft Realtime Embedded Multithreaded Processor.
SBAC-PAD
Emre Özer, Alastair Reid, Stuart Biles
2006 — conf
Design and Implementation of Turbo Decoders for Software Defined Radio.
SiPS
Yuan Lin, Scott A. Mahlke, Trevor N. Mudge, Chaitali Chakrabarti, Alastair Reid, Krisztián Flautner
2005 J jnl
Eliminating stack overflow by abstract interpretation.
ACM Trans. Embed. Comput. Syst.
John Regehr, Alastair Reid, Kirk Webb
2004 A* conf
HOIST: a system for automatically deriving static analyzers for embedded systems.
ASPLOS
John Regehr, Alastair Reid
2003 Misc conf
Eliminating Stack Overflow by Abstract Interpretation.
EMSOFT
John Regehr, Alastair Reid, Kirk Webb
2003 A conf
Evolving real-time systems using hierarchical scheduling and concurrency analysis.
RTSS
John Regehr, Alastair Reid, Kirk Webb, Michael A. Parker, Jay Lepreau
2002 A* conf
Static and dynamic structure in design patterns.
ICSE
Eric Eide, Alastair Reid, John Regehr, Jay Lepreau
2001 C conf
FVision: A Declarative Language for Visual Tracking.
PADL
John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager
2000 A* conf
Knit: Component Composition for Systems Software.
OSDI
Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide
1999 A* conf
A Semantics for Imprecise Exceptions.
PLDI
Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow
1999 A* conf
Prototyping Real-Time Vision Systems: An Experiment in DSL Design.
ICSE
Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak
1998 — conf
Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes.
IFL
Alastair Reid
1993 A conf
Implementing Fudgets with Standard Widget Sets.
Functional Programming
Alastair Reid, Satnam Singh
1989 A conf
Designing Data Structures.
Functional Programming
Alastair Reid