The SCEAS System
Navigation Menu

Search the dblp DataBase


Alastair Reid: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002