CS523 Midterm Workshop
| A Choices Hypervisor on the ARM architecture | Paper | Presentation |
| DefensiveDriving: Guarding Operating System from Device Driver Bugs and Crashes | Paper | Presentation |
| An Extensible Choices System Interface | Paper | Presentation |
| Peer-to-Peer Ubiquitous AdHoc Networking with Gaia | Paper | Presentation |
| Porting the Xen Hypervisor to ARM | Paper | Presentation |
| Equitable Collaborative Storage | Paper | Presentation |