Hyperkernel: Push-Button Verification of an OS Kernel

Article Details
Title:	Hyperkernel: Push-Button Verification of an OS Kernel
Article URLs:	https://doi.org/10.1145/3132747.3132748
Alternative Article URLs:
Authors:	Luke Nelson	University of Washington
	Helgi Sigurbjarnarson	University of Washington
	Kaiyuan Zhang	University of Washington
	Dylan Johnson	University of Washington
	James Bornholt	University of Washington
	Emina Torlak	University of Washington
	Xi Wang	University of Washington
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://locore.cs.washington.edu/hyperkernel/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sosp/NelsonSZJBTW17
Author Comments:

ACM Symposium on Operating Systems Principles, SOSP 2017