::
front page
››
people
view
publications
::
projects
::
contact
projects
XCap
Deker: Decomposing Kernels for Verification
Michael Quigley
Alum
,
advised by
Anton Burtsev
now at
Google
areas of interest
operating systems
,
security
email
mquigley at cs.utah.edu
web
www.cs.utah.edu/~mquigley
publications with the flux group
Extensions to Barrelfish Asynchronous C
Michael Quigley
MS Project Report 2016
[
pdf
::
bibtex
]