Alastair D. Reid, Alastair Reid
ARM Limited, Cambridge, UK, 2004-present (2008) / University of Utah, USA, 1999-2004 / Yale University, USA, 1994-1999 / University of Glasgow, UK, 1988-1994
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| c14 |      | Alastair D. Reid, Krisztián Flautner, Edmund Grimley-Evans, Yuan Lin: SoC-C: efficient programming abstractions for heterogeneous multicore systems on chip. CASES 2008: 95-104 |
| c13 | | 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 | ||
| c12 | | 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 | ||
| c11 | | 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. Embedded Comput. Syst. 4(4): 751-778 (2005) |
| 2004 | ||
| c10 | | John Regehr, Alastair Reid: HOIST: a system for automatically deriving static analyzers for embedded systems. ASPLOS 2004: 133-143 |
| 2003 | ||
| c9 | | John Regehr, Alastair Reid, Kirk Webb: Eliminating Stack Overflow by Abstract Interpretation. EMSOFT 2003: 306-322 |
| c8 | | 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 | ||
| c7 | | Eric Eide, Alastair Reid, John Regehr, Jay Lepreau: Static and dynamic structure in design patterns. ICSE 2002: 208-218 |
| 2001 | ||
| c6 | | John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager: FVision: A Declarative Language for Visual Tracking. PADL 2001: 304-321 |
| 2000 | ||
| c5 | | Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide: Knit: Component Composition for Systems Software. OSDI 2000: 347-360 |
| 1999 | ||
| c4 | | Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak: Prototyping Real-Time Vision Systems: An Experiment in DSL Design. ICSE 1999: 484-493 |
| c3 | | Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow: A Semantics for Imprecise Exceptions. PLDI 1999: 25-36 |
| 1998 | ||
| c2 | | Alastair Reid: Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes. IFL 1998: 186-199 |
| 1989 | ||
| c1 |  | |
Colors in the list of coauthors
Last update Sun May 19 12:54:01 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page