Broad new OS research: Challenges and opportunities

Proceedings of HotOS 2005 - 10th Workshop on Hot Topics in Operating Systems

Volumn , Issue , 2005, Pages

  Hunt, Galen C ^a   Larus, James R ^a   Tarditi, David ^a   Wobber, Ted ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN;

BINARY INTERFACES; DESIGN DECISIONS; MICROSOFT RESEARCHES; MULTI-PROCESSORS; SOFTWARE SYSTEMS; SYSTEM CONFIGURATIONS; SYSTEM DEPENDABILITY; SYSTEM EXTENSION;

USER EXPERIENCE;

EID: 85092605272     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. M. Abadi, A. Birrell, and T. Wobber. Access Control in a World of Software Diversity. Proc. of Hot OS X: The 10th Workshop on Hot Topics in Operating Systems, June 2005.
2. M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: A new kernel foundation for UNIX development. Summer USENIX Conference, pp. 93-112, 1986.
3. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, A. Warfield. Xen and the Art of Virtualization. Proc. of the 19th ACM Symposium on Operating Systems Principles, pp. 164-177, 2003.
4. M. Barnett, K. R. M. Leino, and W. Schulte, The Spec# Programming System: An Overview. Proc. of Construction and Analysis of Safe, Secure and Interoperable Smart Devices, 2004.
5. B. N. Bershad, S. Savage, P. Pardyak, E.G. Sirer, M.E. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility safety and performance in the SPIN operating system. Proc. of the 15th Symposium on Operating Systems Principles, pp. 267-283, 1995.
6. I. Buck, T. Foley, D. Horn, J. Sugerman, K. Fatahalian, M. Houston, and P. Hanrahan. Brooks for GPUs: stream computing on graphics hardware. Proc. of the 2004 SIGGRAPH Conference, pp. 777-786, 2004.
7. S. Chaki, S. K. Rajamani, and J. Rehof, Types as Models: Model Checking Message-Passing Programs. Proc. of the 29th ACM Symposium on Principles of Programming Languages. pp. 45-57, 2002.
8. J. DeTreville. Making system configuration more declarative. Proc. of Hot OS X: The 10th Workshop on Hot Topics in Operating Systems, June 2005.
9. S. Devine, E. Bugnion, and M. Rosenblum. Virtualization system include a virtual machine monitor for a computer with a segmented architecture. US Patent, 6397242, 1998.
10. A. Fedorova, M. Seltzer, C. Small, and D. Nussbaum. Implementing an OS Scheduler for Multithreaded Chip Multiprocessors. Work-in-Progress Reports, 6th Symposium on Operating Systems Design and Implementation, 2004.
11. T. Garfinkel, B. Pfaff, J. Chow, M. Rosenblum, D. Boneh. Terra: A Virtual-Machine Based Platform for Trusted Computing. Proc. of the 19th ACM Symposium on Operating Systems Principles, pp. 193-206. 2003.
12. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java language specification. Addison-Wesley, 2000.
13. M. Kaashoek, D.R. Engler, G.R. Ganger, H.M. Briceño, R. Hunt, D. Mazières, T. Pinckney, R. Grimm, J. Jannotti, and K. Mackenzie. Application performance and flexibility on exokernel systems, Proc. of the 16th ACM Symposium on Operating Systems Principles, pp. 52-65. 1997.
14. P.H.Kamp and R.N.M. Watson, Jails: Confining the omnipotent root. SANE 2000. May 2000.
15. C. Kaner and D.L. Pels, Bad Software: What to Do When Software Fails. John Wiley & Sons, 1998.
16. J. Liedtke. Toward real µ-kernels. Communications of the ACM, 39(9):70-77, September 1996.
17. R. Pike. Systems Software Research is Irrelevant. Invited talk, University of Utah, February 2000.
18. M. Rozier, A. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmann, C. Kaiser, S. Langlois, P. Leonard, and W. Neuhauser. CHORUS distributed operating system. Computing Systems, 1(4):305-370, 1988.
19. Schneider, F.B. Enforceable Security Policies. ACM Transactions on Information and System Security (TISSEC), 3 (1). 30-50, 2000.
20. Secunia, Statistics of released advisories by project, http://secunia.com/product, 2005.
21. M. Seltzer, Y. Endo, C. Small, and K. A. Smith. Dealing With Disaster: Surviving Misbehaved Kernel Extensions. Proc. of the 2nd Symposium on Operating Systems Design and Implementation, pp. 213-228, 1996.
22. M. Swift, B. N. Bershad, and H. M. Levy. Improving the Reliability of Commodity Operating Systems, ACM Transactions on Computer Systems, 22(4), Nov. 2004.
23. R. Wahbe, S. Lucco, T.E. Anderson, and S. Graham. Efficient Software-Based Fault Isolation. Proc. of the 14th ACM Symposium on Operating Systems Principles, pp. 203-216 1993.
24. Common Language Infrastructure (CLI): Partition I: Architecture, ISO/IEC 23271:2003.
25. Common Language Infrastructure (CLI): Partition II: CIL Instruction Set, ISO/IEC 23271:2003.