John D. Regehr, Ph.D.
Affiliations: | 2001 | University of Virginia, Charlottesville, VA |
Area:
Computer ScienceGoogle:
"John Regehr"Parents
Sign in to add mentor| John A. Stankovic | grad student | 2001 | UVA | |
| (Using hierarchical scheduling to support soft real-time applications in general-purpose operating systems.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Lopes NP, Menendez D, Nagarakatte S, et al. (2018) Practical verification of peephole optimizations with Alive Communications of the Acm. 61: 84-91 |
| Regehr J, Reid A, Webb K. (2005) Eliminating stack overflow by abstract interpretation Acm Transactions in Embedded Computing Systems. 4: 751-778 |
| Regehr J, Stankovic JA. (2000) Hierarchical schedulers, performance guarantee, and resource management Acm Sigops Operating Systems Review. 34: 31 |