USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 3 results:
Filters: Author is John Regehr [Clear All Filters]
Correctness Proofs for Device Drivers in Embedded Systems. 5th International Workshop on Systems Software Verification (SSV 10).
.
2010. Inferring Scheduling Behavior with Hourglass. 2002 USENIX Annual Technical Conference (USENIX ATC 02).
.
2002. CPU Reservations and Time Constraints: Implementation Experience on Windows NT. Windows NT 3rd Symposium (Windows NT 3rd Symposium).
.
1999.