• Publications

Publications relating to MINIX 3

Research papers

Conference

• Enhanced Operating System Security Through Efficient and Fine-grained Address Space Randomization, Proc. 21st USENIX Security Symposium (USENIX Sec '12), pp. 40--55, Bellevue, Washington, US, August 2012.

• Keep Net Working - On a Dependable and Fast Networking Stack, Proc. 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012), Boston, MA, June 2012

• Integrated System and Process Crash Recovery in the Loris Storage Stack, Proc. 7th IEEE International Conference on Networking, Architecture, and Storage (NAS'12), pp. 1--10, Xiamen, Fuijan, China, June 2012.

• Integrating Flash-based SSDs into the Storage Stack, Proc. 28th IEEE Conference on Mass Storage Systems and Technologies (MSST'12), pp. 1--12, Pacific Grove, California, US, May 2011.

• Efficient, Modular Metadata Management with Loris, Proc. 6th IEEE International Conference on Networking, Architecture, and Storage (NAS'11), pp. 278--287, Dalian, Liaoning, China, July 2011.

• Flexible, Modular File Volume Virtualization in Loris, Proc. 27th IEEE Conference on Mass Storage Systems and Technologies (MSST'11), pp. 1--14, Denver, Colorado, US, May 2011.

• Loris - A Dependable, Modular File-Based Storage Stack, Proc. 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'10), pp. 165--174, Tokyo, Japan, Dec. 2011.

• 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

• Integrated End-to-End Dependability in the Loris Storage Stack, 7th Workshop on Hot Topics in System Dependability (HotDep'11), pp. 165--170, Hong Kong, China, June 2011.

• We Crashed, Now What?, 6th Workshop on Hot Topics in System Dependability (HotDep'10), pp. 1--8, Vancouver, BC, Canada, October 2010.

• Block-level RAID is dead, 2nd Workshop on Hot Topics in Storage and File Systems (HotStorage'10), Boston, US, June 2010.

• Cooperative Update: a New Model for Dependable Live Update, 2nd International Workshop on Hot Topics in Software Upgrades (!HotSWUp'10), pp. 1--6, Orlando, FL, USA, October 2009.

• 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, pp. 80--89, July 2006.

• 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)

• Block-Based Distributed File Systems (Tony McGregor, DPhil thesis, 1997)

Master's theses

• Efficient Use of Heterogeneous Multicore Architectures in Reliable Multiserver Systems (Valentin Gabriel Priescu's master's thesis, 2012)
  Polymorphic Operating Systems (Anton Kuijsten's master's thesis, 2012)
  Implementing Minix on the Single Chip Cloud Computer (Niek Linnenbank's master's thesis, 2011)
  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)
  

  User Mode Scheduling in MINIX 3 (Björn Patrick Swift's project, 2010)
  

  IOMMU driver for MINIX 3 (Adriana Szekeres' project, 2011)