MIT's Kaashoek receives ACM award for Exokernel Operating Systems, et al.web.mit.edu31 pointshankejh15 years ago