Alastair Reid
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
12
Active years
1999–2016
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CAV | 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 |
| 2016 | FMCAD | Trustworthy specifications of ARM v8-A and v8-M system level architecture. | Alastair Reid |
| 2014 | DATE | Advanced SIMD: Extending the reach of contemporary SIMD architectures. | Matthias Boettcher, Bashir M. Al-Hashimi, Mbou Eyole, Giacomo Gabrielli, Alastair Reid |
| 2008 | MICRO | 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, Krisztin Flautner |
| 2007 | SBAC-PAD | Low-cost Techniques for Reducing Branch Context Pollution in a Soft Realtime Embedded Multithreaded Processor. | Emre zer, Alastair Reid, Stuart Biles |
| 2004 | ASPLOS | HOIST: a system for automatically deriving static analyzers for embedded systems. | John Regehr, Alastair Reid |
| 2003 | EMSOFT | Eliminating Stack Overflow by Abstract Interpretation. | John Regehr, Alastair Reid, Kirk Webb |
| 2003 | RTSS | Evolving real-time systems using hierarchical scheduling and concurrency analysis. | John Regehr, Alastair Reid, Kirk Webb, Michael A. Parker, Jay Lepreau |
| 2002 | ICSE | Static and dynamic structure in design patterns. | Eric Eide, Alastair Reid, John Regehr, Jay Lepreau |
| 2001 | PADL | FVision: A Declarative Language for Visual Tracking. | John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager |
| 2000 | OSDI | Knit: Component Composition for Systems Software. | Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide |
| 1999 | ICSE | Prototyping Real-Time Vision Systems: An Experiment in DSL Design. | Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak |
| 1999 | PLDI | A Semantics for Imprecise Exceptions. | Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow |