John Regehr Vis

*	2009
32	EE	Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt: Precise garbage collection for C. ISMM 2009: 39-48
31	EE	Xuejun Yang, Nathan Cooprider, John Regehr: Eliminating the call stack to save RAM. LCTES 2009: 60-69
30	EE	Yang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Levis, John Regehr: Surviving sensor network software faults. SOSP 2009: 235-246
	2008
29		Krisztián Flautner, John Regehr: Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008 ACM 2008
28	EE	Venkat Chakravarthy, John Regehr, Eric Eide: Edicts: implementing features with flexible binding times. AOSD 2008: 108-119
27	EE	Eric Eide, John Regehr: Volatiles are miscompiled, and what to do about it. EMSOFT 2008: 255-264
	2007
26	EE	Will Archer, Philip Levis, John Regehr: Interface contracts for TinyOS. IPSN 2007: 158-165
25	EE	Nathan Cooprider, John Regehr: Offline compression for on-chip ram. PLDI 2007: 363-372
24	EE	Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr: Statistical Runtime Checking of Probabilistic Properties. RV 2007: 164-175
23	EE	Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee: Runtime Verification for Wireless Sensor Network Applications. Runtime Verification 2007
22	EE	Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr: Efficient memory safety for TinyOS. SenSys 2007: 205-218
21	EE	John Regehr, Nathan Cooprider: Interrupt Verification via Thread Verification. Electr. Notes Theor. Comput. Sci. 174(9): 139-150 (2007)
	2006
20	EE	John Regehr, Usit Duongsaa: Deriving abstract transfer functions for analyzing embedded software. LCTES 2006: 34-43
19	EE	Nathan Cooprider, John Regehr: Pluggable abstract domains for analyzing embedded software. LCTES 2006: 44-53
18	EE	John Regehr, Nathan Cooprider, David Gay: Atomicity and visibility in tiny embedded systems. PLOS 2006: 2
17	EE	John Regehr, Nathan Cooprider, Will Archer, Eric Eide: Efficient type and memory safety for tiny embedded systems. PLOS 2006: 6
16	EE	John Regehr: From the Editor: Real-Time and Embedded Systems--Teaching Reliability. IEEE Distributed Systems Online 7(5): (2006)
	2005
15	EE	John Regehr: Random testing of interrupt-driven software. EMSOFT 2005: 290-298
14	EE	John Regehr, Usit Duongsaa: Preventing interrupt overload. LCTES 2005: 50-58
13	EE	John Regehr, Alastair Reid, Kirk Webb: Eliminating stack overflow by abstract interpretation. ACM Trans. Embedded Comput. Syst. 4(4): 751-778 (2005)
	2004
12	EE	John Regehr, Alastair Reid: HOIST: a system for automatically deriving static analyzers for embedded systems. ASPLOS 2004: 133-143
11	EE	Eric Eide, Tim Stack, John Regehr, Jay Lepreau: Dynamic CPU Management for Real-Time, Middleware-Based Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 286-295
	2003
10	EE	John Regehr, Alastair Reid, Kirk Webb: Eliminating Stack Overflow by Abstract Interpretation. EMSOFT 2003: 306-322
9	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
8	EE	Eric Eide, Alastair Reid, John Regehr, Jay Lepreau: Static and dynamic structure in design patterns. ICSE 2002: 208-218
7	EE	John Regehr: Scheduling Tasks with Mixed Preemption Relations for Robustness to Timing Faults. IEEE Real-Time Systems Symposium 2002: 315-326
6	EE	John Regehr: Inferring Scheduling Behavior with Hourglass. USENIX Annual Technical Conference, FREENIX Track 2002: 143-156
	2001
5	EE	John Regehr, John A. Stankovic: Augmented CPU Reservations: Towards Predictable Execution on General-Purpose Operating System. IEEE Real Time Technology and Applications Symposium 2001: 141-148
4	EE	Michael B. Jones, John Regehr, Stefan Saroiu: Two Case Studies in Predictable Application Scheduling Using Rialto/NT. IEEE Real Time Technology and Applications Symposium 2001: 157-164
3	EE	John Regehr, John A. Stankovic: HLS: A Framework for Composing Soft Real-Time Schedulers. IEEE Real-Time Systems Symposium 2001: 3-14
	1999
2	EE	Michael B. Jones, John Regehr: The Problems You're Having May Not Be the Problems You Think You're Having: Results from a Latency Study of Windows NT. IEEE Real Time Technology and Applications Symposium 1999: 287-
1	EE	Michael B. Jones, John Regehr: The Problems You're Having May Not Be the Problems You Think You're Having: Results from a Latency Study of Windows NT. Workshop on Hot Topics in Operating Systems 1999: 96-101

Coauthor Index

1	Will Archer	[17] [22] [26]
2	Venkat Chakravarthy	[28]
3	Yang Chen	[30]
4	Nathan Cooprider	[17] [18] [19] [21] [22] [25] [31]
5	Usit Duongsaa	[14] [20]
6	Eric Eide (Eric Norman Eide)	[8] [11] [17] [22] [27] [28]
7	Matthew Flatt	[32]
8	Krisztián Flautner	[29]
9	David Gay	[18] [22]
10	Omprakash Gnawali	[30]
11	Michael B. Jones	[1] [2] [4]
12	Maria A. Kazandjieva	[30]
13	Insup Lee	[23] [24]
14	Jay Lepreau	[8] [9] [11]
15	Philip Levis	[26] [30]
16	Michael Parker	[9]
17	Jon Rafkind	[32]
18	Alastair David Reid (Alastair D. Reid, Alastair Reid)	[8] [9] [10] [12] [13]
19	Usa Sammapun	[23] [24]
20	Stefan Saroiu	[4]
21	Oleg Sokolsky	[23] [24]
22	Tim Stack	[11]
23	John A. Stankovic	[3] [5]
24	Kirk Webb	[9] [10] [13]
25	Adam Wick	[32]
26	Xuejun Yang	[31]

Colors in the list of coauthors