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
Block-level RAID is dead, 2nd Workshop on Hot Topics in Storage and File Systems (HotStorage), Boston, US, June 2010.
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
MINIX 3: Status Report and Current Research, USENIX ;login:, vol. 35, no. 3, pp. 7--13, Jun. 2010.
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.
Ph.D. theses
Building a Dependable Operating System (Jorrit Herder's Ph.D. thesis, 2010)
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)