- The Case for Hierarchical Schedulers with Performance Guarantees Technical Report: University of Virginia CS-2000-07, March 2000
- CPU Reservations and Time Constraints: Implementation Experience on Windows NT
- HOIST: A System for Automatically Deriving Static Analyzers for Embedded Systems
- Edicts: Implementing Features with Flexible Binding Times Venkat Chakravarthy John Regehr Eric Eide
- Poster Abstract: TinyOS 2.1 Adding Threads and Memory Protection to TinyOS
- Efficient Memory Safety for TinyOS Nathan Cooprider Will Archer Eric Eide David Gay John Regehr
- Atomicity and Visibility in Tiny Embedded Systems John Regehr Nathan Cooprider
- Eliminating Stack Overflow by Abstract Interpretation
- This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 23, 2005, Philadelphia, PA.
- Compiling for Resource-Constrained Platforms using ASSHes: Application-and System-Specific Heuristics
- Random Testing of Interrupt-Driven Software
- HOIST: A System for Automatically Deriving
- Two Case Studies in Predictable Application Scheduling Using Rialto/NT Michael B. Jones
- An Isotach Implementation for Myrinet John Regehr
- Two Case Studies in Predictable Application Scheduling Using Rialto/NT Michael B. Jones
- Safe and Structured Use of Interrupts in Real-Time and Embedded Software
- Memory Safety and Untrusted Extensions for TinyOS
- Correctness Proofs for Device Drivers in Embedded Systems Jianjun Duan
- Thread Verification vs. Interrupt Verification John Regehr
- Ph.D. Proposal: Hierarchical Loadable Schedulers
- Using Hierarchical Scheduling to Support Soft Real-Time Applications
- In Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), pages 314, London, UK, December 46 2001. c 2001 IEEE.
- The Problems You're Having May Not Be the Problems You Think You're Having
- In Proceedings of the 22nd IEEE RealTime Systems Symposium (RTSS 2001), pages 3--14, London, UK, December 4--6 2001. c
- CRM: Middleware for Managing CPU Time
- Preventing Interrupt Overload John Regehr Usit Duongsaa
- In Proceedings of the International Workshop on Multimedia Middleware (M3W '01), pages 2327, Ottawa, Canada, October 2001. c ACM 2001.
- Appeared in Proceedings of the Seventh IEEE Real-Time Technology and Applica-tions Symposium (RTAS 2001), pages 141148, Taipei, Taiwan, May 30June 1 2001.
- Offline Compression for On-Chip RAM Nathan Cooprider John Regehr
- Finding and Understanding Bugs in C Compilers Xuejun Yang Yang Chen Eric Eide John Regehr
- T-Check: Bug Finding for Sensor Networks School of Computing, University of Utah, USA
- Deriving Abstract Transfer Functions for Analyzing Embedded Software
- Task/Scheduler Logic: Reasoning about Concurrency in Component-Based Systems Software
- Volatiles Are Miscompiled, and What to Do about It University of Utah, School of Computing
- The Case Hierarchical Schedulers with Performance Guarantees Technical Report: University Virginia CS200007, March 2000
- Eliminating the Call Stack to Save RAM Xuejun Yang
- CPU Reservations and Time Constraints: Implementation Experience on Windows NT
- An Isotach Implementation for Myrinet John Regehr
- Appeared in Proceedings of the Seventh IEEE RealTime Technology and Applica tions Symposium (RTAS 2001), pages 141--148, Taipei, Taiwan, May 30--June 1 2001.
- In Proceedings of the International Workshop on Multimedia Middleware (M3W '01), pages 23--27, Ottawa, Canada, October 2001. c
- Random Testing of Interrupt-Driven Software John Regehr
- The Problems You're Having May Not Be the Problems You Think You're Having
- Predictable Scheduling for Digital Audio Michael B. Jones and John Regehr
- HOIST: A System for Automatically Deriving Static Analyzers for Embedded Systems
- Using Hierarchical Scheduling to Support Soft RealTime Applications
- Pluggable Abstract Domains for Analyzing Embedded Software Nathan Cooprider John Regehr
- Predictable Scheduling for Digital Audio Michael B. Jones and John Regehr
- Efficient Type and Memory Safety for Tiny Embedded Systems John Regehr Nathan Cooprider Will Archer Eric Eide
- Precise Garbage Collection for C Jon Rafkind
- High Confidence TinyOS John Regehr Phil Levis
- ARMor: Fully Verified Software Fault Isolation University of Utah, USA
- A Practical Logic Framework for Verifying Safety Properties of Executables
- Swarm Testing Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, and John Regehr
- Understanding Integer Overflow in C/C++ Will Dietz, Peng Li, John Regehr, and Vikram Adve
- Testing static analyzers with randomly generated programs
