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)