The singularity system

Communications of the ACM

Volumn 53, Issue 8, 2010, Pages 72-79

  Larus, James ^a   Hunt, Galen ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77955252693     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1787234.1787253     Document Type: Article

References (12)

1. Aiken, M., Fähndrich, M., Hawblitzel, C., Hunt, G., and Larus, J.R. Deconstructing process isolation. In Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (San Jose, CA, Oct.). ACM Press, New York, 2006, 1-10.
2. Ball, T. and Rajamani, S.K. The SLAM toolkit. In Proceedings of the 13th Conference on Computer-Aided Verification (Paris, July). Springer, 2001, 260-264.
3. Barnett, M., Change, B.-y.E., Deline, R., Jacobs, B., and Leino, K.R. Boogie: A modular reusable verifier for object-oriented programs. In Proceedings of the Fourth International Symposium on Formal Methods for Components and Objects (Amsterdam, the Netherlands, Nov.). Springer, 2005, 364-387.
4. Bershad, B.N., Savage, S., Pardyak, P., Sirer, E.G., Fiuczynski, M., Becker, D., Eggers, S., and Chambers, C. Extensibility, safety and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (Copper Mountain Resort, Co, Dec.). ACM Press, New York, 1995, 267-284.
5. Chou, A., Yang, J., Chelf, B., Hallem, S., and Engler, D. An empirical study of operating systems errors. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (Chateau Lake Louise, Banff, Canada, Oct.). ACM Press, New York, 2001, 73-88.
6. Fähndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J.R., and Levi, S. Language support for fast and reliable message-based communication in Singularity OS. In Proceedings of the First ACM SIGOPS/EuroSys European Conference on Computer Systems (Leuven, Belgium, Apr.). ACM Press, New York, 2006, 177-190.
7. Flatt, M. and Findler, R.B. Kill-safe synchronization abstractions. In Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation (Washington, D.C., June). ACM Press, New York, 2004, 47-58.
8. Hinchey, M., Jackson, M., Cousot, P., Cook, B., Bowen, J.P., and Margaria, T. Software engineering and formal methods. Commun. ACM 51, 9 (Sept. 2008), 54-59.
9. Hunt, G. and Larus, J. Singularity: Rethinking the software stack. ACM SIGOPS Operating Systems Review 41, 2 (Apr. 2007), 37-49.
10. Hunt, G., Aiken, M., Fähndrich, M., Hawblitzel, C., Hodson, O., Larus, J., Levi, S., Steensgaard, B., Tarditi, D., and Wobber, T. Sealing OS processes to improve dependability and safety. In Proceedings of the Second ACM SIGOPS/EuroSys European Conference on Computer Systems (Lisbon, Portugal, Mar.). ACM Press, New York, 2007, 341-354.
11. Orgovan, V. and Tricker, M. An Introduction to Driver Quality. Microsoft WinHeC 2004 presentation DDT301, New Orleans, LA, 2003.
12. Spear, M.F., Roeder, T., Levi, S., and Hunt, G. Solving the starting problem: Device drivers as self-describing artifacts. In Proceedings of the EuroSys 2006 Conference (Leuven, Belgium, Apr.). ACM Press, New York, 2006, 45-58.