Eliminating stack overflow by abstract interpretation
John Regehr, Alastair Reid, and Kirk Webb
In ACM Trans. Embed. Comput. Syst. 4(4), November 2005 [ bibtex ]

Evolving real-time systems using hierarchical scheduling and concurrency analysis
John Regehr, Alastair Reid, Kirk Webb, Mike Parker, and Jay Lepreau
In RTSS 2003 [ bibtex ]

Static and Dynamic Structure in Design Patterns
Eric Eide, Alastair Reid, John Regehr, and Jay Lepreau
In ICSE 2002 [ bibtex ]

Aspect Weaving as Component Knitting: Separating Concerns with Knit
Eric Eide, Alastair Reid, Matthew Flatt, and Jay Lepreau
In WASC 2001 [ bibtex ]

Knit: Component Composition for Systems Software
Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, and Eric Eide
In OSDI 2000 [ bibtex ]