Alastair Reid

According to our database, Alastair Reid authored at least 23 papers between 1989 and 2020.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2020

Towards making formal methods normal: meeting developers where they are.

Alastair Reid, Luke Church, Shaked Flur, Sarah de Haas, Maritza Johnson, Ben Laurie

CoRR, 2020

2019

Defining interfaces between hardware and software: quality and performance.

Alastair David Reid

PhD thesis, 2019

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

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

Proc. ACM Program. Lang., 2019

2017

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

Alastair Reid

Proc. ACM Program. Lang., 2017

The ARM Scalable Vector Extension.

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

IEEE Micro, 2017

2016

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

Alastair Reid

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

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

Alastair Reid, Rick Chen, Anastasios Deligiannis, David Gilday, David Hoyes, Will Keen, Ashan Pathirane, Owen Shepherd, Peter Vrabel, Ali Zaidi

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2014

Advanced SIMD: Extending the reach of contemporary SIMD architectures.

Matthias Boettcher, Bashir M. Al-Hashimi, Mbou Eyole, Giacomo Gabrielli, Alastair Reid

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2008

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

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

Proceedings of the 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), 2008

SoC-C: efficient programming abstractions for heterogeneous multicore systems on chip.

Alastair David Reid, Krisztián Flautner, Edmund Grimley-Evans, Yuan Lin

Proceedings of the 2008 International Conference on Compilers, 2008

2007

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

Emre Özer, Alastair Reid, Stuart Biles

Proceedings of the 19th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2007), 2007

2006

Design and Implementation of Turbo Decoders for Software Defined Radio.

Yuan Lin, Scott A. Mahlke, Trevor N. Mudge, Chaitali Chakrabarti, Alastair Reid, Krisztián Flautner

Proceedings of the IEEE Workshop on Signal Processing Systems, 2006

2005

Eliminating stack overflow by abstract interpretation.

John Regehr, Alastair Reid, Kirk Webb

ACM Trans. Embed. Comput. Syst., 2005

2004

HOIST: a system for automatically deriving static analyzers for embedded systems.

John Regehr, Alastair Reid

Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, 2004

2003

Evolving real-time systems using hierarchical scheduling and concurrency analysis.

John Regehr, Alastair Reid, Kirk Webb, Michael A. Parker, Jay Lepreau

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

2002

Static and dynamic structure in design patterns.

Eric Eide, Alastair Reid, John Regehr, Jay Lepreau

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

FVision: A Declarative Language for Visual Tracking.

John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager

Proceedings of the Practical Aspects of Declarative Languages, 2001

2000

Knit: Component Composition for Systems Software.

Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide

Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

1999

A Semantics for Imprecise Exceptions.

Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

Prototyping Real-Time Vision Systems: An Experiment in DSL Design.

Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak

Proceedings of the 1999 International Conference on Software Engineering, 1999

1998

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

Alastair Reid

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

1993

Implementing Fudgets with Standard Widget Sets.

Alastair Reid, Satnam Singh

Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993

1989

Designing Data Structures.

Alastair Reid

Proceedings of the Functional Programming, 1989