Flux Research Group / School of Computing

projects

XCap XCap
Deker: Decomposing Kernels for Verification Deker: Decomposing Kernels for Verification
Sarah Spall

Sarah Spall

Alum, advised by Anton Burtsev
now atIndiana University
areas of interest operating systems, languages
email sspall10 at gmail.com