John Regehr

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	Nathan Cooprider	[17] [18] [19] [21] [22] [25]
4	Usit Duongsaa	[14] [20]
5	Eric Eide (Eric Norman Eide)	[8] [11] [17] [22] [27] [28]
6	Krisztián Flautner	[29]
7	David Gay	[18] [22]
8	Michael B. Jones	[1] [2] [4]
9	Insup Lee	[23] [24]
10	Jay Lepreau	[8] [9] [11]
11	Philip Levis	[26]
12	Michael Parker	[9]
13	Alastair David Reid (Alastair D. Reid, Alastair Reid)	[8] [9] [10] [12] [13]
14	Usa Sammapun	[23] [24]
15	Stefan Saroiu	[4]
16	Oleg Sokolsky	[23] [24]
17	Tim Stack	[11]
18	John A. Stankovic	[3] [5]
19	Kirk Webb	[9] [10] [13]

Colors in the list of coauthors