Hi! I've been a PhD student at Cornell since 2003.
I am currently interested in virtualization and its applications to server consolidation to improve the efficiency of cloud computing. I work with fellow graduate student Tudor Marian and my advisor, Hakim Weatherspoon.
During my time at Cornell, I have also worked on the Nexus project, in which we were building a new operating system from scratch with a focus on trusted computing. I specifically looked at reducing the trusted computing base by protecting the integrity of data on permanent storage from unauthorized modification and replay, and by running device drivers safely outside of the kernel.
I am currently interested in virtualization and its applications to server consolidation to improve the efficiency of cloud computing. I work with fellow graduate student Tudor Marian and my advisor, Hakim Weatherspoon.
During my time at Cornell, I have also worked on the Nexus project, in which we were building a new operating system from scratch with a focus on trusted computing. I specifically looked at reducing the trusted computing base by protecting the integrity of data on permanent storage from unauthorized modification and replay, and by running device drivers safely outside of the kernel.
Dan Williams
4104 Upson Hall
Computer Science Department
Cornell University
Ithaca, NY 14853
E-mail: djwill@cs.cornell.edu
Publications
- Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, and Fred B. Schneider. Device Driver Safety Through a Reference Validation Mechanism . In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, San Diego, CA, December 2008.
- Alan Shieh, Dan Williams, Emin Gün Sirer, and Fred B. Schneider. Nexus: A New Operating System For Trustworthy Computing (extended abstract) . In Proceedings of the 20th ACM Symposium on Operating Systems Principles, Brighton, UK, October 2005.
- Dan Williams and Emin Gün Sirer. Optimal Parameter Selection for Efficient Memory Integrity Verification Using Merkle Hash Trees. In Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications - Trustworthy Network Computing Workshop, Cambridge, MA, August 2004.