[Adams and Agesen, 2006]
Keith Adams and Ole Agesen. A comparison of software and hardware techniques for x86 virtualization. In Proc. 12th Int'l Conf. on Architectural Support for Programming Languages and Operating Systems, San Jose, California, USA, October 2006.
[Adya et al., 2002]
Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, and Roger R. Wattenhofer. FARSITE: Federated, available, and reliable storage for an incompletely trusted environment. In Proc. 5th Symposium on Operating Systems Design and Implementations, Boston, MA, December 2002. (PDF, 15 pages, 226817 bytes)
[Anderson, 1990]
Thomas Anderson. The performance of spin lock alternatives for shared-memory multiprocessors. IEEE Transactions on Parallel and Distributed Systems, 1(1), 1990.
[Arbaugh et al., 1997]
William A. Arbaugh, David J. Farber, and Jonathan M. Smith. A secure and reliable bootstrap architecture. In IEEE Symposium on Security and Privacy, pages 65–71, 1997. (PDF, 7 pages, 689304 bytes)
[Baker et al., 1991]
Mary G. Baker, John H. Hartman, Michael D. Kupfer, Ken W. Shirriff, and John K. Ousterhout. Measurements of a distributed file system. In Proc. 13th Symp. on Operating Systems Principles, Pacific Grove, CA, October 1991. ACM.
[Barham et al., 2003]
Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield. Xen and the art of virtualization. In Proc. 19th Symp. on Operating Systems Principles, pages 164–177, Bolton Landing, NY, USA, October 2003.
[Bell and LaPadula, 1976]
D.E. Bell and L.J. LaPadula. Secure computer system: Unified exposition and Multics interpretation. Technical Report MTR-2997, MITRE Corp., March 1976.
[Bershad, 1992]
Brian N. Bershad. The increasing irrelevance of IPC performance for microkernel-based operating systems. In Proc. USENIX WS Microkernels & other Kernel Arch., pages 205–211, Seattle, WA, USA, April 1992.
[Brinch Hansen, 1970]
Per Brinch Hansen. The nucleus of a multiprogramming operating system. Communications of the ACM, 13:238–250, 1970.
[Chen and Bershad, 1993]
J. Bradley Chen and Brian N. Bershad. The impact of operating system structure on memory system performance. In Proc. Symp. on Operating Systems Principles, pages 120–133, Asheville, NC, USA, December 1993. (PDF, 14 pages, 1523803 bytes)
[Clark and Emer, 1985]
Douglas W. Clark and Joel S. Emer. Performance of the VAX-11/780 translation buffer: Simulation and measurement. ACM Transactions on Computer Systems, 3:31–62, 1985.
[Coulouris et al., 1994]
George F. Coulouris, Jean Dollimore, and Tim Kindberg. Distributed Systems: Concepts and Design. Addison-Wesley, 2nd edition, 1994.
[Custer, 1993]
Helen Custer. Inside Windows-NT. Microsoft, 1993.
[Dean and Armand, 1992]
Randall W. Dean and Francois Armand. Data movement in kernelized systems. In Proc. USENIX WS Microkernels & other Kernel Arch., pages 243–261, Seattle, WA, USA, April 1992.
[Dennis and Van Horn, 1966]
Jack B. Dennis and Earl C. Van Horn. Programming semantics for multiprogrammed computations. Communications of the ACM, 9:143–155, 1966.
[Dijkstra, 1968]
Edsger W. Dijkstra. The structure of the ``THE'' multiprogramming system. Communications of the ACM, 11:341–346, 1968.
[DoD, 1986]
US Department of Defence. Trusted Computer System Evaluation Criteria, 1986. DoD 5200.28-STD.
[Draves et al., 1991]
Richard P. Draves, Brian N. Bershad, Richard F. Rashid, and Randall W. Dean. Using continuations to implement thread management and communication in operating systems. In Proc. 13th Symp. on Operating Systems Principles, 1991.
[Elkaduwe et al., 2008]
Dhammika Elkaduwe, Philip Derrin, and Kevin Elphinstone. Kernel design for isolation and assurance of physical memory. In 1st Workshop on Isolation and Integration in Embedded Systems, pages 35–40, Glasgow, UK, April 2008. ACM SIGOPS.
[Elphinstone et al., 2007]
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, and Gernot Heiser. Towards a practical, verified kernel. In Proc. 11th Workshop on Hot Topics in Operating Systems, San Diego, CA, USA, May 2007.
[Engler et al., 1995]
Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr. Exokernel: An operating system architecture for application-level resource management. In 15th Symp. on Operating Systems Principles, Copper Mountain Resort, CO, 1995. ACM. (PostScript, 16 pages, 251660 bytes)
[Fitzgerald and Rashid, 1986]
Robert Fitzgerald and Richard Rashid. The integration of virtual memory management and interprocess communication in Accent. ACM Transactions on Computer Systems, 4:147–177, 1986.
[Fleisch et al., 1998]
Brett D. Fleisch, Mark Allan A. Co, and Chao Tan. Workplace microkernel and OS: A case study. Software Practice and Experience, 28:569–591, 1998.
[Ford et al., 1999]
Bryan Ford, Mike Hibler, Jay Lepreau, Roland McGrath, and Patrick Tullmann. Interface and execution models in the fluke kernel. In Proceedings of the third symposium on Operating systems design and implementation, pages 101–115. USENIX Association, 1999.
[Goel et al., 2005]
Ashvin Goel, Kenneth Po, Kamran Farhadi, Zheng Li, and Eyal de Lara. The taser intrusion recovery system. In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, 2005.
[Golub et al., 1990]
David B. Golub, Randall W. Dean, Alessandro Forin, and Richard F. Rashid. UNIX as an application program. In Proc. 1990 Summer USENIX Annual Technical Conference, pages 87–95, June 1990.
[Greenway, 2007]
David Greenway. Quantifing the effects of scheduling on IPC performance. BSc thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, June 2007.
[Härtig et al., 1997]
Hermann Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg, and Jean Wolter. The performance of μ-kernel-based systems. In Proc. Symp. on Operating Systems Principles, pages 66–77, St. Malo, France, October 1997. (PDF, 12 pages, 2019149 bytes)
[Heiser et al., 1998]
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke. The Mungi single-address-space operating system. Software Practice and Experience, 28(9):901–928, July 1998.
[Hill et al., 2000]
J. Hill, R. Szewczyk, A. Woo, S. Holland, D. Culler, and K. Pister. System architecture directions for network sensors. In Proc. Int'l Conf. on Architectural Support for Programming Languages and Operating Systems, Cambridge, MA, November 2000. (PDF, 12 pages, 268481 bytes)
[Huberman, 1988]
Bernardo A. Huberman, editor. The Ecology of Computation. Studies in Computer Science and Artifical Intelligence. North-Holland, Amsterdam, 1988.
[ISO/IEC 15408, 1999]
US National Institute of Standards. Common Criteria for IT Security Evaluation, 1999. ISO Standard 15408. http://csrc.nist.gov/cc/.
[Kaashoek et al., 1997]
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceno, Russell Hunt, David Mazières, Thomas Pinckney, Robert Grimm, John Jannotti, and Kenneth Mackenzie. Application performance and flexibility on exokernel systems. In 16th Symp. on Operating Systems Principles, Saint Malo, France, 1997. ACM. (PostScript, 18 pages, 261813 bytes)
[King and Chen, 2003]
S. T. King and P. M. Chen. Backtracking intrusions. In Proc. Symp. on Operating Systems Principles, Bolton Landing, NY, October 2003. (PDF, 14 pages, 160685 bytes)
[Lamport et al., 1982]
Leslie Lamport, Robert Shostak, and Marshall Pease. The byzantine generals problem. ACM Trans. Program. Lang. Syst., 4(3):382–401, 1982. (doi:10.1145/357172.357176)
[LeVasseur et al., 2004]
Joshua LeVasseur, Volkmar Uhlig, Jan Stoess, and Stefan Götz. Unmodified device driver reuse and improved system dependability via virtual machines. In Proc. 6th Symposium on Operating Systems Design and Implementations, pages 17–30, San Francisco, CA, USA, December 2004.
[LeVasseur et al., 2008]
Joshua LeVasseur, Volkmar Uhlig, Yaowei Yang, Matthew Chapman, Peter Chubb, Ben Leslie, and Gernot Heiser. Pre-virtualization: soft layering for virtual machines. In John Morris Yeh-Ching Chung, editor, Proc. 13th IEEE Asia-Pacific Computer Systems Architecture Conference, Hsinchu, Taiwan, August 2008. IEEE Computer Society Press.
[Liedtke, 1995]
Jochen Liedtke. On μ-kernel construction. In Proc. Symp. on Operating Systems Principles, pages 237–250, Copper Mountain, CO, USA, December 1995.
[Mullender and Tanenbaum, 1986]
Sape J. Mullender and Andrew S. Tanenbaum. The design of a capability-based distributed operating system. The Computer Journal, 29:289–299, 1986.
[Nourai, 2005]
Abi Nourai. A physically-addressed L4 kernel. BE thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, March 2005.
[Ousterhout, 1990]
J.K. Ousterhout. Why aren't operating systems getting faster as fast as hardware? In Proc. 1990 Summer USENIX Annual Technical Conference, pages 247–56, June 1990.
[Rashid et al., 1988]
Richard Rashid, Avadis Tevanian, Jr., Michael Young, David Golub, Robert Baron, David Black, William J. Bolosky, and Jonathan Chew. Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures. IEEE Transactions on Computers, C-37:896–908, 1988.
[Rashid, 1988]
Richard F. Rashid. From RIG to Accent to Mach: The evolution of a network operating system. In Huberman [Huberman, 1988], pages 207–230.
[Rozier et al., 1990]
M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmann, C. Kaiser, S. Langlois, P. Léonard, and W. Neuhauser. Overview of the sc chorus distributed operating system. Technical report CS/TR-90-25, Chorus systeèmes, Montigny-le-Bretonneux (France), April 1990.
[Rozier et al., 1992]
M. Rozier, V. Abrossimov, F. Armand, L. Boule, M. Gien, M. Guillemont, F. Herrman, C. Kaiser, S. Langlois, P. Léonard, and W. Neuhauser. Overview of the Chorus distributed operating system. In Proc. USENIX WS Microkernels & other Kernel Arch., pages 39–69, Seattle, WA, USA, April 1992.
[Schach et al., 2002]
Stephen R. Schach, Bo Jin, David R. Wright, Gillian Z. Heller, and A. Jefferson Offutt. Maintainability of the Linux kernel. IEE Proceedings: Software, 149:18–23, 2002. (PDF, 6 pages, 718223 bytes)
[Schimmel, 1994]
Curt Schimmel. UNIX Systems for Modern Architectures. Addison Wesley, 1994.
[Shapiro and Weber, 2000]
Jonathan S. Shapiro and Samuel Weber. Verifying the EROS confinement mechanism. In IEEE Symposium on Security and Privacy, pages 166–181, Washington, DC, USA, May 2000.
[Sinha, 1997]
Pradeep K. Sinha. Distributed Operating Systems: Concepts and Design. Comp. Soc. Press, 1997.
[Tanenbaum and Mullender, 1981]
Andrew S. Tanenbaum and Sape J. Mullender. An overview of the Amoeba distributed operating system. Operating Systems Review, 15(3):51–64, 1981.
[Tanenbaum and Mullender, 1984]
Andrew S. Tanenbaum and Sape Mullender. The design of a capability-based distributed operating system. Technical Report IR-88, Vrije Universiteit, November 1984.
[Uhlig et al., 1994]
Richard Uhlig, David Nagle, Tim Stanley, Trevor Mudge, Stuart Sechrest, and Richard Brown. Design tradeoffs for software-managed TLBs. ACM Transactions on Computer Systems, August 1994.
[von Behren et al., 2003]
R. von Behren, J. Condit, and E. Brewer. Why events are a bad idea (for high-concurrency servers). In Proc. Workshop on Hot Topics in Operating Systems, Hawaii, May 2003. (PDF, 6 pages, 94267 bytes)
[Waldspurger, 2002]
Carl A. Waldspurger. Memory resource management in VMware ESX server. In Proc. 5th Symposium on Operating Systems Design and Implementations, Boston, MA, USA, 2002.
[Warton, 2005]
Matthew Warton. Single kernel stack L4. BE thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, November 2005.
[Weiser et al., 1994]
M. Weiser, B. Welch, A. J. Demers, and S Shenker. Scheduling for reduced cpu energy. In Proc. 1st. Symposium on Operating Systems Design and Implementations. USENIX Association, 1994. (PDF, 11 pages, 55846 bytes)
[Weissel and Bellosa, 2002]
A. Weissel and F. Bellosa. Process cruise control: event-driven clock scaling for dynamic power management. In Proc. Int'l Conf. on Compilers, Architecture and Synthesis for Embedded Systems. ACM, 2002. (PDF, 9 pages, 147502 bytes)
[Wheeler and Bershad, 1992]
Bob Wheeler and Brian N. Bershad. Consistency management for virtually indexed caches. In 5th Int'l Conf. on Architectural Support for Programming Languages and Operating Systems, Boston, MA, October 1992. (PDF, 13 pages, 1623845 bytes)
[Wiggins, 2003]
Adam Wiggins. A survey on the interaction between caching, translation and protection. Technical Report UNSW-CSE-TR-0321, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, August 2003.
[Wulf et al., 1974]
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: The kernel of a multiprocessor operating system. Communications of the ACM, 17:337–345, 1974. (PDF, 9 pages, 1013725 bytes)
[Young et al., 1987]
Michael Young, Avadis Tevanian, Richard Rashid, David Golub, Jeffrey Eppinger, Jonathan Chew, William Bolosky, David Black, and Robert Baron. The duality of memory and communication in the implementation of a multiprocessor operating system. In Proc. Symp. on Operating Systems Principles, pages 63–76, 1987.
[Zeng et al., 2002]
H. Zeng, X. Fan, C Ellis, A. Lebeck, and A. Vahdat. Ecosystem: Managing energy as a first class operating system resource. In Proc. 10th. Int'l Conf. on Architectural Support for Programming Languages and Operating Systems. ACM, 2002. (PDF, 10 pages, 108612 bytes)