• Publications

Publications relating to MINIX 3

Research papers

Conference

• Dealing with Driver Failures in the Storage Stack, Proc.4th Latin-American Symposium on Dependable Computing (LADC'09), pp. 119--126, João Pessoa, Paraíba, Brazil, Sep. 2009.

• Fault Isolation for Device Drivers, Proc. 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'09), pp. 33--42, Lisbon, Portugal, July 2009. (Conference track: Dependable Computing and Communication Symposium (DCCS).)

• Countering IPC Threats in Multiserver Operating Systems, Proc. 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'08), pp. 112--121, Taipei, Taiwan, Dec. 2008

• Enhancing a Dependable Multiserver Operating System with Temporal Protection via Resource Reservations, Proc. 16th International Conference on Real-Time and Network Systems (RTNS'08), Rennes, France, Oct. 2008.

• Failure Resilience for Device Drivers, Proc. 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07), pp. 41--50, Edinburgh, UK, June 2007. (Conference track: Dependable Computing and Communication Symposium (DCCS).)

• Construction of a Highly Dependable Operating System, Proc. 6th European Dependable Computing Conference (EDCC-6), pp. 3--12, Coimbra, Portugal, Oct. 2006.

• Reorganizing UNIX for Reliability, Proc. 11th Asia-Pacific Computer Systems Architecture Conference (ACSAC'06), pp. 81--94, Shanghai, China, Sep. 2006. (Advances in Computer Systems Architecture, Springer Lecture Notes in Computer Science (LNCS) 4186.)

• The Architecture of a Fault-Resilient Operating System, Proc. 12th ASCI Conference (ASCI'06), pp. 74--81, Lommel, Belgium, June 2006.

Workshop

• Reincarnation of Dead Device Drivers, 1st EuroSys Authoring Workshop, Leuven, Belgium, Apr. 2006.

• Design and Implementation of a Reliable Operating System, 1st EuroSys Doctoral Workshop, Brighton, England, Oct. 2005. (Colocated with 20th ACM Symposium on Operating System Principles.)

Journal

• Enhancing a Dependable Multiserver Operating System with Temporal Protection via Resource Reservations, Real-Time Systems Journal, vol. 43, no. 2, pp. 177--210, Oct. 2009.

• Can We Make Operating Systems Reliable and Secure?, IEEE Computer, vol. 39, no. 5, pp. 44--51, May 2006 (Cover Feature).

Magazine

• Roadmap to a Failure-Resilient Operating System, USENIX ;login:, vol. 32, no. 1, pp. 14--20, Feb. 2007.

• MINIX 3: A Highly Reliable, Self-Repairing Operating System, ACM SIGOPS Operating Systems Review, vol. 40, nr. 3, pp. 80--89, July 2006. (Special issue on Self-Organizing Systems; editor: Emin Gün Sirer.)

• Modular System Programming in MINIX 3, USENIX ;login:, vol. 31, no. 2, pp. 19--28, Apr. 2006.

Master's theses

• Porting the QEMU Virtualization Software to MINIX 3 (Erik van der Kouwe's master's thesis, 2009, slides also available)
  Dynamic Updates and Failure Resistance for the Minix File Server (Thomas Veerman's master's thesis, 2009)
  Multimedia Support for MINIX 3 (David van Moolenbroek's master's thesis, 2007)
  Design and Implementation of the MINIX Virtual File System (Balazs Gerofi's master's thesis, 2006)
  A Port of the MINIX OS to the PowerPC Platform (Ingmar Alting's master's thesis, 2006)
  Building Performance Measurement Tools for the MINIX 3 Operating System (Rogier Meurs' master's thesis, 2006)
  Towards a True Microkernel Operating System (Jorrit Herder's master's thesis, 2005)
  

Bachelor's theses

• MINIX 3 C Compiler Performance (Feisal S. Ahmad's bachelor's thesis, 2008) (appendix)
  Finding hot spots in MINIX 3 (Jens de Smit's bachelor's thesis, 2008)
  

Other publications

• Porting MINIX to Xen (Ivan Kelly's course project, 2006) (project wiki)
  

  Implementing the Intel Pro/1000 on MINIX 3 (Niek Linnenbank's project, 2009)