CS552 - Reading List

Papers from which we will pick and chose the ones to cover.

• [wetherall_reviews] David Wetherall, "Research papers and review considerations."
  
• [taskofreferee] Alan Jay Smith, "The Task of the Referee," IEEE Computer, 23(4), April 1990, pp. 65-71.
  
• [efficientReading] Michael J. hanson, "Efficient Reading of Papers in Science and Technology."
  
• [howtoread] Bill Griswold, "How to Read an Engineering Research Paper."
  
• [levin83evaluation] Roy Levin and David D. Redell, "An Evaluation of the Ninth SOSP Submissions -or- How (and How Not) to Write a Good Systems Paper." ACM SIGOPS Operating Systems Review, Vol. 17, No. 3 (July, 1983), pages 35-40.
  

• [navarro02superpages] Practical, transparent operating system support for superpages, J. Navarro, S. Iyer, P. Druschel, and A. Cox.
• [rossbach07txlinux] TxLinux: Using and Managing Hardware Transactional Memory in the Operating System, C.J. Rossbach, O.S. Hoffman, D.E. Porter, H.E. Ramadan, A. Bhandari, and E. Witchel. In SOSP 2007.

• [smith03overview] J. E. Smith and Ravi Nair. An overview of virtual machine architectures. 2003.
• [barham03xen] P. Barham, "Xen and the Art of Virtualization", SOSP 2003
• [engler95exokernel] Dawson Engler, "Exokernel: An Operating System Architecture for Application-Level Resource Management", SOSP 1995.
• [dike00user] and [dike01user] J. Dike, "A User-mode Port of the Linux Kernel", Linux Showcase and Conference 2000. (see more documentation at User Mode Linux website)
• [hoxer02implementing] H. Hoxer, et al, "Implementing a User-mode Linux with Minimal Changes from the Original Kernel", 2002 Linux System Technology Conference.
• [whitaker02scale] Whitaker et al, "Scale and Performance in the Denali Isolation Kernel", OSDI 2002.
• [whitaker02denali] A. Whitaker, M. Shaw, and S. Gribble, Denali: Lightweight Virtual Machines for Distributed and Networked Applications, Usenix 2002.
• [lawton99running] K. Lawton, "Running Multiple Operating Systems Concurrently on an IA32 PC Using Virtualization Techniques". (Unpublished paper that started the Plex86 project).
• [robin00analysis] J. Robin and C. Irvine, "Analysis of the Intel Pentium's ability to support a secure virtual machine monitor", 9th USENIX Security Symposium, Denver, CO, August 2000
• [waldspurger02memory] Carl A. Waldspurger, "Memory Resource Management in VMware ESX Server", Operating System Design and Implementation (OSDI 02), Boston, MA, Dec, 2002.
• [vmware_vdi] "VDI Server Sizing and Scaling", VMWare White Paper..
• [bugnion00disco] E. Bugnion, et al, Disco: Running Commodity Operating Systems on Scalable Multiprocessors, ACM Transactions on Computer Systems, 18(3), August 2000.
• [goldberg74survey] R. P. Goldberg, Surve of Virtual Machine Research, IEEE Computer, Volume 7, No. 6, June 1974.
• [popek74formal] G. J. Popek and R. P. Goldberg, Formal requirements for virtualizable third generation architectures, Commun. ACM, vol. 17, no. 7, pp. 412 421, 1974.
• [kaashoek97application] M. Frans Kaashoek, Dawson R. Engler, et. al., "Application Performance and Flexibility on Exokernel Systems", SOSP 1997.
• [hand05virtual] Steven Hand, Andrew Warfield, Keir Fraser, "Are VMMs Microkernels Done Right?", HotOS 2005.
• [garfinkle03terra] Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, Dan Boneh, "Terra: A Virtual Machine Based Platform for Trusted Computing", SOSP 2003.
• [garfinkle05when] Tal Garfinkel, Mendel Rosenblum, "When Virtual is Harder Than Real : Security Challenges in Virtual Machine Based Computing Environments".
• [jones06antfarm] "Antfarm: Tracking Processes in a Virtual Machine Environment", Stephen Jones et. al, USENIX 2006 Annual Technical Conference
• "Debugging Operating Systems with Time-Traveling Virtual Machines", Samuel T. King, George W. Dunlap, and Peter M. Chen, University of Michigan, USENIX Annual Technical Conference 2005.
• "vBlades: Optimized Paravirtualization for the Itanium Processor Family", Daniel J. Magenheimer and Thomas W. Christian, Hewlett-Packard Laboratories, USENIX VM Symposium 2004
• [ganev04kernel] "Kernel Plugins: When a VM Is Too Much", Ivan Ganev, Greg Eisenhauer, and Karsten Schwan, Georgia Institute of Technology, USENIX VM Symposium 2004
• [chiueh99integrating] "Integrating segmentation and paging protection for safe, efficient and transparent software extensions", Tzi-cker Chiueh, Ganesh Venkitachalam, Prashant Pradhan, SOSP 1999
Towards Scalable Multiprocessor Virtual Machines Volkmar Uhlig, Joshua LeVasseur, Espen Skoglund, and Uwe Dannowski, Universität Karlsruhe, USENIX VM Symposium 2004.
• "PDS: A Virtual Execution Environment for Software Deployment", Bowen Alpern, Joshua Auerbach, Vasanth Bala, Thomas Frauenhofer, Todd Mummert, Michael Pigott, VEE 2005
• "Scalability, Fidelity and Containment in the Potemkin Virtual Honeyfarm". Michael Vrable, Justin Ma, Jay Chen, David Moore, Erik Vandekieft, Alex Snoeren, Geoff Voelker, Stefan Savage (UCSD), SOSP 2005
• [chapman05implementing] "Implementing Transparent Shared Memory on Clusters Using Virtual Machines", Matthew Chapman and Gernot Heiser, University of New South Wales and National ICT Australia, USENIX Annual Technical Conference 2005
• "Diagnosing Performance Overheads in the Xen Virtual Machine Environment", Aravind Menon, Jose Santos, Yoshio Turner, G. (John) Janakiraman, Willy Zwaenepoel, VEE 2005
• [vmware_drs] "Resource Management with VMWare DRS", VMWare White Paper
• [vmware_infrastructure] "VMWare Infrastructure Architecture Overview", VMWare White Paper

• [intel05virtualization] Intel, "Intel Vanderpool Technology for IA-32 Processors (VT-x) Preliminary Specification", January, 2005
• [neiger06intel] G. Neiger, A. Santoni, F. Leung, D. Rodgers, R. Uhlig, "Intel Virtualization Technology: Hardware Support for Efficient Processor Virtualization", Intel Technology Journal, Vol. 10, No. 3, August 2006

• "Measuring CPU Overhead for I/O Processing in the Xen Virtual Machine Monitor", Ludmila Cherkasova and Rob Gardner, Hewlett-Packard Laboratories, USENIX Annual Technical Conference 2005
• [sugerman01virtualizing] J. Sugerman, G. Venkitachalam, B-H Lim, "Virtualizing I/O Devices on VMWare Workstation's Virtual Machine Monitor", USENIX 2001.
• [king03operating] S. King, et al, "Operating System Support for Virtual Machines", USENIX 2003.
• [menon06optimizing] Aravind Menon, Alan L. Cox, and Willy Zwaenepoel, "Optimizing Network Virtualization in Xen", USENIX 2006.
• [fraser04safe] Keir Fraser, Steven Hand, et. al., "Safe Hardware Access With The Xen Virtual Machine Monitor", OASIS ASPLOS 2004 workshop.
• [fraser04reconstructing] "Reconstructing I/O", K. Fraser, S. Hand, R. Neugebauer, et. al, University of Cambridge Computer Laboratory Technical Report 596, August 2004.
• "Running Virtualized Native Drivers in User Mode Linux", V. Guffens and G. Bastin, USENIX Annual Technical Conference 2005
• "Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines", Joshua LeVasseur, Volkmar Uhlig, Jan Stoess, and Stefan Gö University of Karlsruhe, Germany , OSDI 2004

• [meijer] E. Meijer, J. Gough, Technical Overview of the Common Language Runtime.

• [ebcioglu01dynamic] Ebcioglu, et al., "Dynamic Binary Translation and Optimization," IEEE Transactions on Computers, June 2001, pp. 529-548.
• [chernoff98fx32] Anton Chernoff et. al. "FX!32 A Profile-Directed Binary Translator" MICRO'98

• [gabriel91rise] Richard P. Gabriel, The Rise of "Worse is Better".
• [lampson93principles] Butler Lampson's Turing Award Lecture: Principles for Computer System Design
• [lampson83hints] Butler Lampson, "Hints for Computer System Design" (10 years earlier)
• [saltz84end] J.H. Saltzer, D.P. Reed, and D.P. Clark, "The End to End Argument in System Design"
• [thompson84reflections] Ken Thompson's Turing Award Lecture: Reflections on Trusting Trust
• [dijkstra68structure] Edsger W. Dijkstra, "The Structure of the "THE"-Multiprogramming System", Communications of the ACM 11(5), May 1968.
  [dijkstra-honoring] For information of the career of CS pioneer Edsger Dijkstra: In Pursuit of Simplicity, A Symposium Honoring Professor Edsger Wybe Dijkstra
• [ritchie74unix] D. M. Ritchie and K . Thompson, "The UNIX Time-Sharing System", Communications of the ACM, Vol. 17, No. 7, July 1974, pp. 365-375.