Candidacy Exam

January 18th, 11:30 am

Christoffer Dall

  • [1] G. J. Popek and R. P. Goldberg, “Formal requirements for virtualizable third generation architectures,” presented at the Communications of the ACM, 1974, vol. 17, no. 7, pp. 412–421.PDF

  • [2] P. H. Gum, “System/370 Extended Architecture: Facilities for Virtual Machines,” presented at the IBM Journal of Research and Development, 1983.PDF

  • [3] E. Bugnion, S. Devine, and M. Rosenblum, “Disco: running commodity operating systems on scalable multiprocessors,” presented at the SOSP '07, 1997, vol. 15, no. 4.PDF

  • [4] J. Sugerman, G. Venkitachalam, and B. Lim, “Virtualizing I/O devices on VMware workstation’s hosted virtual machine monitor,” presented at the Usenix ATC '02, 2001, pp. 1–14.PDF

  • [5] C. A. Waldspurger, “Memory resource management in VMware ESX server,” presented at the ACM SIGOPS Operating Systems Review, 2002, vol. 36, no. SI, pp. 181–194.PDF

  • [6] P. Barham, B. Dragovic, K. Fraser, and S. Hand, “Xen and the art of virtualization,” presented at the SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles, 2003.PDF

  • [7] J. LeVasseur, V. Uhlig, J. Stoess, and S. Götz, “Unmodified device driver reuse and improved system dependability via virtual machines,” presented at the Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation-Volume 6, 2004, pp. 2–2.PDF

  • [8] R. Uhlig, G. Neiger, D. Rodgers, A. L. Santoni, F. C. M. Martins, A. V. Anderson, S. M. Bennett, A. Kagi, F. H. Leung, and L. Smith, “Intel virtualization technology,” presented at the Computer, 2005, vol. 38, no. 5, pp. 48–56.PDF

  • [9] K. Adams and O. Agesen, “A comparison of software and hardware techniques for x86 virtualization,” presented at the Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, 2006, pp. 2–13.PDF

  • [10] J. Liu, W. Huang, B. Abali, and D. Panda, “High performance VMM-bypass I/O in virtual machines,” presented at the Usenix ATC '06, 2006, vol. 6.PDF

  • [11] J. Stoess, C. Lang, and F. Bellosa, “Energy management for hypervisor-based virtual machines,” presented at the Usenix ATC '07, 2007, p. 1.PDF

  • [12] R. Nathuji, and K. Schwan, “VirtualPower: coordinated power management in virtualized enterprise systems,” presented at the SOSP '07, New York, New York, USA, 2007, vol. 41, no. 6, pp. 265–278.PDF

  • [13] P. Willmann, S. Rixner, and A. L. Cox, “Protection strategies for direct access to virtualized I/O devices,” presented at the Usenix ATC '08, 2008, pp. 15–28.PDF

  • [14] R. Russell, “virtio: towards a de-facto standard for virtual I/O devices,” presented at the ACM SIGOPS Operating Systems Review '08, 2008, vol. 42, no. 5, pp. 95–103.PDF

  • [15] R. Bhargava, B. Serebrin, F. Spadini, S. Manne, R. Bhargava, B. Serebrin, F. Spadini, S. Manne, R. Bhargava, B. Serebrin, F. Spadini, S. Manne, R. Bhargava, B. Serebrin, F. Spadini, and S. Manne, “Accelerating two-dimensional page walks for virtualized systems,” presented at the ASPLOS XIII Proceedings of the 13th international conference on Architectural support for programming languages and operating systems, 2008, vol. 42, no. 2, pp. 26–35.PDF

  • [16] A. Kivity, Y. Kamay, D. Laor, U. Lublin, and A. Liguori, “kvm: the Linux Virtual Machine Monitor,” presented at the OLS '09: Ottawa Linux Symposium 2009, 2009, pp. 1–8.PDF

  • [17] K. Tian and Y. Dong, “Power-aware I/O virtualization,” presented at the Proceedings of the 2nd conference on I/O virtualization, 2010, pp. 8–8.PDF

  • [18] L. Ye, G. Lu, S. Kumar, C. Gniady, J. H. Hartman, L. Ye, G. Lu, S. Kumar, C. Gniady, and J. H. Hartman, “Energy-efficient storage in virtual machine environments,” presented at the VEE '10, New York, New York, USA, 2010, vol. 45, no. 7, pp. 75–84.PDF

  • [19] M. Ben-Yehuda, M. D. Day, Z. Dubitzky, M. Factor, N. Har'El, A. Gordon, A. Liguori, O. Wasserman, and B.-A. Yassour, “The turtles project: design and implementation of nested virtualization,” presented at the OSDI'10: Proceedings of the 9th USENIX conference on Operating systems design and implementation, 2010.PDF

  • [20] P. Colp, M. Nanavati, J. Zhu, W. Aiello, G. Coker, T. Deegan, P. Loscocco, and A. Warfield, “Breaking Up is Hard to Do: Security and Functionality in a Commodity Hypervisor,” presented at the the Twenty-Third ACM Symposium, New York, New York, USA, 2011, p. 189.PDF

  • [21] N. Amit, M. Ben-Yehuda, D. Tsafrir, and A. Schuster, “vIOMMU: efficient IOMMU emulation,” presented at the USENIXATC'11: Proceedings of the 2011 USENIX conference on USENIX annual technical conference, 2011.PDF

  • [22] B. Krishnan, H. Amur, A. Gavrilovska, and K. Schwan, “VM power metering,” presented at the ACM SIGMETRICS Performance Evaluation Review, 2011, vol. 38, no. 3, pp. 56–60.PDF

  • [23] I. Ahmad, A. Gulati, and A. Mashtizadeh, “vIC: interrupt coalescing for virtual machine storage device IO,” presented at the USENIXATC'11: Proceedings of the 2011 USENIX conference on USENIX annual technical conference, 2011.PDF

  • [24] X. Wang, J. Zang, Z. Wang, Y. Luo, X. Li, X. Wang, J. Zang, Z. Wang, Y. Luo, and X. Li, “Selective hardware/software memory virtualization,” presented at the VEE '11 Proceedings of the 7th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, 2011, vol. 46, no. 7, pp. 217–226.PDF

  • [25] J. Andrus, C. Dall, A. V. Hof, O. Laadan, and J. Nieh, “Cells: a virtual mobile smartphone architecture,” presented at the SOSP '11: Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, 2011.PDF

  • [26] I. Hwang, T. Kam, and M. Pedram, “A study of the effectiveness of CPU consolidation in a virtualized multi-core server system,” presented at the the 2012 ACM/IEEE international symposium, New York, New York, USA, 2012, pp. 339–344.PDF

  • [27] O. Agesen, J. Mattson, R. Rugina, and J. Sheldon, “Software Techniques for Avoiding Hardware Virtualization Exits,” presented at the Usenix ATC '12, 2012.PDF

  • [28] A. Gordon, N. Amit, N. Har'El, M. Ben-Yehuda, A. Landau, A. Schuster, and D. Tsafrir, “ELI: bare-metal performance for I/O virtualization,” presented at the ASPLOS '12: Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems, 2012.PDF

  • [29] E. Bugnion, S. Devine, M. Rosenblum, J. Sugerman, and E. Y. Wang, “Bringing Virtualization to the x86 Architecture with the Original VMware Workstation,” presented at the Transactions on Computer Systems (TOCS, 2012, vol. 30, no. 4.PDF