Alastair David Reid

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

2008
14	EE	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
13	EE	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
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

Coauthor Index

1	Stuart Biles	[12]
2	Richard Bruce	[13]
3	Chaitali Chakrabarti	[13]
4	Eric Eide (Eric Norman Eide)	[5] [7]
5	Matthew Flatt	[5]
6	Krisztián Flautner	[13] [14]
7	Edmund Grimley-Evans	[14]
8	Gregory D. Hager	[4] [6]
9	Fergus Henderson	[3]
10	C. A. R. Hoare (Tony Hoare)	[3]
11	Paul Hudak	[4] [6]
12	Simon L. Peyton Jones	[3]
13	Danny Kershaw	[13]
14	Jay Lepreau	[5] [7] [8]
15	Yuan Lin	[13] [14]
16	Scott A. Mahlke	[13]
17	Simon Marlow	[3]
18	Trevor N. Mudge	[13]
19	Emre Özer	[12]
20	Michael Parker	[8]
21	John Peterson	[4] [6]
22	John Regehr	[7] [8] [9] [10] [11]
23	Sangwon Seo	[13]
24	Leigh Stoller	[5]
25	Kirk Webb	[8] [9] [11]
26	Mladen Wilder	[13]
27	Mark Woh	[13]

Colors in the list of coauthors