Thesis Title: Making safe OS kernel extensions expressive, efficient, and easy to program
Tianyin Xu, Chair and Director of Research
Darko Marinov
Adam Bates
Hubertus Franke
Dan Williams, Virginia Tech
Michael V Le, IBM