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
15		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
14		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
13		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
	2006
12		Yuan Lin, Scott A. Mahlke, Trevor N. Mudge, Chaitali Chakrabarti, Alastair Reid, Krisztián Flautner: Design and Implementation of Turbo Decoders for Software Defined Radio. SiPS 2006: 22-27
	2005
11		John Regehr, Alastair Reid, Kirk Webb: Eliminating stack overflow by abstract interpretation. ACM Trans. Embedded Comput. Syst. 4(4): 751-778 (2005)
	2004
10		John Regehr, Alastair Reid: HOIST: a system for automatically deriving static analyzers for embedded systems. ASPLOS 2004: 133-143
	2003
9		John Regehr, Alastair Reid, Kirk Webb: Eliminating Stack Overflow by Abstract Interpretation. EMSOFT 2003: 306-322
8		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		Eric Eide, Alastair Reid, John Regehr, Jay Lepreau: Static and dynamic structure in design patterns. ICSE 2002: 208-218
	2001
6		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		Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak: Prototyping Real-Time Vision Systems: An Experiment in DSL Design. ICSE 1999: 484-493
3		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		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	[13]
2	Richard Bruce	[14]
3	Chaitali Chakrabarti	[12] [14]
4	Eric Eide (Eric Norman Eide)	[5] [7]
5	Matthew Flatt	[5]
6	Krisztián Flautner	[12] [14] [15]
7	Edmund Grimley-Evans	[15]
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	[14]
14	Jay Lepreau	[5] [7] [8]
15	Yuan Lin	[12] [14] [15]
16	Scott A. Mahlke	[12] [14]
17	Simon Marlow	[3]
18	Trevor N. Mudge	[12] [14]
19	Emre Özer	[13]
20	Michael Parker	[8]
21	John Peterson	[4] [6]
22	John Regehr	[7] [8] [9] [10] [11]
23	Sangwon Seo	[14]
24	Leigh Stoller	[5]
25	Kirk Webb	[8] [9] [11]
26	Mladen Wilder	[14]
27	Mark Woh	[14]

Colors in the list of coauthors