Search the dblp DataBase

Publications of Author

1. John Regehr, Alastair Reid
   HOIST: a system for automatically deriving static analyzers for embedded systems. [Citation Graph (0, 0)][DBLP]
   ASPLOS, 2004, pp:133-143 [Conf]
   
2. John Regehr, Alastair Reid, Kirk Webb
   Eliminating Stack Overflow by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2003, pp:306-322 [Conf]
   
3. Alastair Reid
   Designing Data Structures. [Citation Graph (0, 0)][DBLP]
   Functional Programming, 1989, pp:170-181 [Conf]
   
4. Eric Eide, Alastair Reid, John Regehr, Jay Lepreau
   Static and dynamic structure in design patterns. [Citation Graph (0, 0)][DBLP]
   ICSE, 2002, pp:208-218 [Conf]
   
5. Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak
   Prototyping Real-Time Vision Systems: An Experiment in DSL Design. [Citation Graph (0, 0)][DBLP]
   ICSE, 1999, pp:484-493 [Conf]
   
6. Alastair Reid
   Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes. [Citation Graph (0, 0)][DBLP]
   IFL, 1998, pp:186-199 [Conf]
   
7. Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide
   Knit: Component Composition for Systems Software. [Citation Graph (0, 0)][DBLP]
   OSDI, 2000, pp:347-360 [Conf]
   
8. John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager
   FVision: A Declarative Language for Visual Tracking. [Citation Graph (0, 0)][DBLP]
   PADL, 2001, pp:304-321 [Conf]
   
9. Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow
   A Semantics for Imprecise Exceptions. [Citation Graph (0, 0)][DBLP]
   PLDI, 1999, pp:25-36 [Conf]
   
10. John Regehr, Alastair Reid, Kirk Webb, Michael Parker, Jay Lepreau
    Evolving real-time systems using hierarchical scheduling and concurrency analysis. [Citation Graph (0, 0)][DBLP]
    RTSS, 2003, pp:25-0 [Conf]
    
11. John Regehr, Alastair Reid, Kirk Webb
    Eliminating stack overflow by abstract interpretation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:4, pp:751-778 [Journal]
    
12. 
    From SODA to scotch: The evolution of a wireless baseband processor. [Citation Graph (, )][DBLP]
    
    
13. 
    Low-cost Techniques for Reducing Branch Context Pollution in a Soft Realtime Embedded Multithreaded Processor. [Citation Graph (, )][DBLP]
    
    
14. 
    Design and Implementation of Turbo Decoders for Software Defined Radio. [Citation Graph (, )][DBLP]