| 2007 |
|---|
| 12 | EE | 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 |
| 2005 |
|---|
| 11 | EE | John Regehr,
Alastair Reid,
Kirk Webb:
Eliminating stack overflow by abstract interpretation.
ACM Trans. Embedded Comput. Syst. 4(4): 751-778 (2005) |
| 2004 |
|---|
| 10 | EE | John Regehr,
Alastair Reid:
HOIST: a system for automatically deriving static analyzers for embedded systems.
ASPLOS 2004: 133-143 |
| 2003 |
|---|
| 9 | EE | John Regehr,
Alastair Reid,
Kirk Webb:
Eliminating Stack Overflow by Abstract Interpretation.
EMSOFT 2003: 306-322 |
| 8 | EE | John Regehr,
Alastair Reid,
Kirk Webb,
Michael Parker,
Jay Lepreau:
Evolving real-time systems using hierarchical scheduling and concurrency analysis.
RTSS 2003: 25- |
| 2002 |
|---|
| 7 | EE | Eric Eide,
Alastair Reid,
John Regehr,
Jay Lepreau:
Static and dynamic structure in design patterns.
ICSE 2002: 208-218 |
| 2001 |
|---|
| 6 | EE | John Peterson,
Paul Hudak,
Alastair Reid,
Gregory D. Hager:
FVision: A Declarative Language for Visual Tracking.
PADL 2001: 304-321 |
| 2000 |
|---|
| 5 | | Alastair Reid,
Matthew Flatt,
Leigh Stoller,
Jay Lepreau,
Eric Eide:
Knit: Component Composition for Systems Software.
OSDI 2000: 347-360 |
| 1999 |
|---|
| 4 | EE | Alastair Reid,
John Peterson,
Gregory D. Hager,
Paul Hudak:
Prototyping Real-Time Vision Systems: An Experiment in DSL Design.
ICSE 1999: 484-493 |
| 3 | EE | Simon L. Peyton Jones,
Alastair Reid,
Fergus Henderson,
C. A. R. Hoare,
Simon Marlow:
A Semantics for Imprecise Exceptions.
PLDI 1999: 25-36 |
| 1998 |
|---|
| 2 | EE | Alastair Reid:
Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes.
IFL 1998: 186-199 |
| 1989 |
|---|
| 1 | | Alastair Reid:
Designing Data Structures.
Functional Programming 1989: 170-181 |
