Secure, Safe, Reliable Execution -------------------------------- Devietti, J., Blundell, C., Martin, M. M., and Zdancewic, S. 2008. Hardbound: architectural support for spatial safety of the C programming language. 13th International Conference on Architectural Support For Programming Languages and Operating Systems. ASPLOS XIII. http://doi.acm.org/10.1145/1346281.1346295 Nagarakatte, S., Zhao, J., Martin, M. M., and Zdancewic, S. 2009. SoftBound: highly compatible and complete spatial memory safety for C. 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '09. http://doi.acm.org/10.1145/1542476.1542504 Galen Hunt, Chris Hawblitzel, Orion Hodson, James Larus, Bjarne Steensgaard, and Ted Wobber, Sealing OS Processes to Improve Dependability and Safety, in Proceedings of the European Conference on Computer Systems (EuroSys), Association for Computing Machinery, Inc., Lisbon, Portugal, March 2007 Wells, P. M., Chakraborty, K., and Sohi, G. S. 2009. Mixed-mode multicore reliability. In Proceeding of the 14th international Conference on Architectural Support For Programming Languages and Operating Systems (Washington, DC, USA, March 07 - 11, 2009). ASPLOS '09. ACM, New York, NY, 169-180. DOI= http://doi.acm.org/10.1145/1508244.1508265 Chen, X., Garfinkel, T., Lewis, E. C., Subrahmanyam, P., Waldspurger, C. A., Boneh, D., Dwoskin, J., and Ports, D. R., "Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems." In Proceedings of the 13th international Conference on Architectural Support For Programming Languages and Operating Systems (Seattle, WA, USA, March 01 - 05, 2008). ASPLOS XIII. ACM, New York, NY, 2-13. DOI= http://doi.acm.org/10.1145/1346281.1346284 Criswell, J., Lenharth, A., Dhurjati, D., and Adve, V., "Secure virtual architecture: a safe execution environment for commodity operating systems." In Proceedings of Twenty-First ACM SIGOPS Symposium on Operating Systems Principles (Stevenson, Washington, USA, October 14 - 17, 2007). SOSP '07. ACM, New York, NY, 351-366. DOI= http://doi.acm.org/10.1145/1294261.1294295 Scheduling & Virtualization Techniques -------------------------------------- Lagar-Cavilla, H. A., Tolia, N., Satyanarayanan, M., and de Lara, E. 2007. VMM-independent graphics acceleration. In Proceedings of the 3rd international Conference on Virtual Execution Environments (San Diego, California, USA, June 13 - 15, 2007). VEE '07. ACM, New York, NY, 33-43. DOI= http://doi.acm.org/10.1145/1254810.1254816 Micah Dowty, Jeremy Sugerman, "GPU Virtualization on VMware's Hosted I/O Architecture", USENIX Workshop on I/O Virtualization, 2008 Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, and Galen Hunt, Helios: Heterogeneous Multiprocessing with Satellite Kernels, in Proceedings of the 22nd Symposium on Operating Systems Principles (SOSP '09), Association for Computing Machinery, Inc., Big Sky, MT, October 2009 Kim, H., Lim, H., Jeong, J., Jo, H., and Lee, J. 2009. Task-aware virtual machine scheduling for I/O performance. In Proceedings of the 2009 ACM SIGPLAN/SIGOPS international Conference on Virtual Execution Environments (Washington, DC, USA, March 11 - 13, 2009). VEE '09. ACM, New York, NY, 101-110. DOI= http://doi.acm.org/10.1145/1508293.1508308 Chen, J. and John, L. K. 2009. Efficient program scheduling for heterogeneous multi-core processors. In Proceedings of the 46th Annual Design Automation Conference (San Francisco, California, July 26 - 31, 2009). DAC '09. ACM, New York, NY, 927-930. DOI= http://doi.acm.org/10.1145/1629911.1630149 Jayaseelan, R. and Mitra, T. 2009. Dynamic thermal management via architectural adaptation. In Proceedings of the 46th Annual Design Automation Conference (San Francisco, California, July 26 - 31, 2009). DAC '09. ACM, New York, NY, 484-489. DOI= http://doi.acm.org/10.1145/1629911.1630038 D. Wentzlaff and A. Agarwal. "Constructing virtual architectures on a tiled processor". Intl Symp Code Generation and Optimization, (CGO-4):173--184, 2006. Keith Adams and Ole Agesen, "A comparison of software and hardware techniques for x86 virtualization", Architectural Support for Programming Languages and Operating Systems, 2006. Paul Barham et al., "Xen and the Art of Virtualization", SOSP 2003. C. Waldspurger, "Memory resource management in VMware ESX server", Operating System Design and Implementation, 2002. S. King et al., "Operating System Support for Virtual Machines", USENIX Technical Conference 2003. J. Navarro et al., "Practical, transparent operating system support for superpages", Operating System Design and Implementation, 2002. Jisoo Yang , Kang G. Shin, "Using hypervisor to provide data secrecy for user applications on a per-page basis", Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, March 05-07, 2008, Seattle, WA, USA Timothy Wood, Gabriel Tarasuk-Levin, Prashant Shenoy, Peter Desnoyers, Emmanuel Cecchet, Mark D. Corner, "Memory buddies: exploiting page sharing for smart colocation in virtualized data centers," Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, March 2009, Washington, DC, USA Binary Translation and Optimization ----------------------------------- Cozzie, A., Stranton, F., Xue, H. and King, S. T. 2008. Digging for data structures. 8th USENIX Symposium on Operating Systems Design and Implementation. OSDI '08. http://www.usenix.org/event/osdi08/tech/full_papers/cozzie/cozzie.pdf Tallent, N. R., Mellor-Crummey, J. M., and Fagan, M. W. 2009. Binary analysis for measurement and attribution of program performance. 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '09. http://doi.acm.org/10.1145/1542476.1542526 Mars, J. and Hundt, R. 2009. Scenario Based Optimization: A Framework for Statically Enabling Online Optimizations. In Proceedings of the 2009 international Symposium on Code Generation and Optimization (March 22 - 25, 2009). Code Generation and Optimization. IEEE Computer Society, Washington, DC, 169-179. DOI= http://dx.doi.org/10.1109/CGO.2009.24 JaeWoong Chung; Dalton, M.; Kannan, H.; Kozyrakis, C., "Thread-safe dynamic binary translation using transactional memory," High Performance Computer Architecture, 2008. HPCA 2008. IEEE 14th International Symposium on , vol., no., pp.279-289, 16-20 Feb. 2008 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=4658646&isnumber=4658618 E. Duesterwald, "Design and engineering of a dynamic binary optimizer," Proc. IEEE, vol. 93, no. 2, pp. 436-448, Feb. 2005. H. S. Kim and J. E. Smith, "Dynamic binary translation for accumulator-oriented architectures," in Proc. 2003 Int. Symp. Code Generation and Optimization, 2003, pp. 25-35. Emmett Witchel and Mendel Rosenblum, "Embra: Fast and Flexible Machine Simulation", SIGMETRICS Conference 1996.