User Tools

Site Tools


publications

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
publications [2014/11/11 09:18]
lionelsambuc [Bachelor's theses]
publications [2014/11/11 09:19]
lionelsambuc [Workshop]
Line 1: Line 1:
 +====== Publications relating to MINIX 3 ======
 +
 +===== Book =====
 +  * Operating Systems: Design and Implementation 3/e, Tanenbaum, A.S. and Woodhull, A.S., Upper Saddle River, NJ: Prentice Hall, 2006.
 +
 +
 +===== Research papers =====
 +
 +==== Conference ====
 +
 +  * [[http://​www.minix3.org/​docs/​conf/​systor-2014.pdf|Towards a Flexible, Lightweight Virtualization Alternative]],​ Moolenbroek,​ D.C. van, Appuswamy, R., and Tanenbaum, A.S., Proc. Seventh Int'l Systems and Storage Conf. (SYSTOR '14), pp. 1--7, Haifa Israel, June 2014.
 +  * [[http://​www.minix3.org/​docs/​conf/​edcc-2014.pdf|On the Soundness of Silence: Investigating Silent Failures Using Fault Injection Experiments]],​ Kouwe, E. van der, Giuffrida, C., and Tanenbaum, A.S., Proc. 10th European Dependable Computing Conf. (EDCC '14), pp. 118--129, Newcastle, U.K., May 2014.
 +  * [[http://​www.minix3.org/​docs/​conf/​hase-2014.pdf|Evaluating Distortion in Fault-Injection Experiments]],​ Kouwe, E. van der, Giuffrida, C., and Tanenbaum, A.S., Proc. 15th IEEE Int'l Symp. on High Assurance Systems Eng. (HASE '14), Miami, FL, Jan. 2014 (Best Paper Award).
 +  * [[http://​www.minix3.org/​docs/​conf/​icpads-2013.pdf|File-Level,​ Host-Side Flash Caching with Loris]], Appuswamy, R., Moolenbroek,​ D.C. van, Santhanam, S., and Tanenbaum, A.S., Proc. 19th Int'l Conf. on Parallel and Distributed Systems (ICPADS '13), pp. 34--42, Seoul, Korea, Dec. 2013.
 +  * [[http://​www.minix3.org/​docs/​conf/​prdc-2013a.pdf| Transaction-Based Process Crash Recovery of File System Namespace Modules]], Moolenbroek,​ D.C. van, Appuswamy, R., and Tanenbaum, A.S., Proc. Pacific Rim Int'l Symp. of Dependable Computing (PRDC '13), pp. 338--347, Vancouver, B.C., Canada, Dec. 2013.
 +  * [[http://​www.minix3.org/​docs/​conf/​prdc-2013.pdf| EDFI: A Dependable Fault Injection Tool of Dependability Benchmarking Experiments]],​ Giuffrida, C., Kuijsten, A., and Tanenbaum, A.S., Proc. Pacific Rim Int'l Symp. of Dependable Computing (PRDC '13), pp. 31--40, Vancouver, B.C., Canada, Dec. 2013.
 +  * [[http://​www.minix3.org/​docs/​conf/​lisa-2013.pdf|Back to the Future: Fault-tolerant Live Update with Time-traveling State Transfer]], Giuffrida, C., Iorgulescu, C., Kuijsten, A., and Tanenbaum, A.S., Proc. Large Installation System Admin. (LISA '13), pp. 89--104, Washington, D.C., Nov.  2013 (Best student paper award).
 +  * [[http://​www.minix3.org/​docs/​conf/​dsn-2013.pdf|Practical Automated Vulnerability Monitoring Using Program State Invariants]],​ Giuffrida, C., Cavallaro, L., and Tanenbaum, A.S., Proc. 43rd Int'l Conf. on Dependable Systems and Networks (DSN '13), pp. 1--12, Budapest, Hungary, June 2013.
 +  * [[http://​www.minix3.org/​docs/​conf/​atc-2013.pdf|When Slower Is Faster: on Heterogeneous Multicores for Reliable Systems]], Hruby, T., Bos, H., and Tanenbaum, A.S., Proc. Ann. Tech. Conf. (ATC '13), pp. 255--266, San Jose, CA, June 2013.
 +  * [[http://​www.minix3.org/​docs/​conf/​msst-2013.pdf|Cache,​ Cache Everywhere, Flushing All Hits Down the Sink: On Exclusivity in Multilevel, Hybrid Caches]], Appuswamy, R., Moolenbroek,​ D.C. van, and Tanenbaum, A.S., Proc.  of the 29th IEEE Symp. on Massive Storage Systems and Technologies (MSST '13), pp. 1--14, Long Beach, CA, May 2013.
 +  * [[http://​www.minix3.org/​docs/​conf/​ladc-2013.pdf|Battling Bad Bits with Checksums in the Loris Page Cache]], Moolenbroek,​ D.C. van, Appuswamy, R., and Tanenbaum, A.S., Proc. Sixth Latin American Symp. on Dependable Computing (LADC '13), pp. 68--77, Rio de Janeiro, Brazil, April 2013 (Best Paper Award).
 +  * [[http://​www.minix3.org/​docs/​conf/​asplos-2013.pdf|Safe and Automatic Live Update for Operating Systems]], Giuffrida, C., Kuijsten, A., and Tanenbaum, A.S., Proc. Arch. Prog. Lang. Operating Systems 2013 (ASPLOS '13), pp. 279--292, Houston, TX, March 2013.
 +  * [[http://​www.cs.vu.nl/​~giuffrida/​papers/​usenixsec-2012.pdf|Enhanced Operating System Security Through Efficient and Fine-grained Address Space Randomization]],​ Giuffrida, C., Kuijsten, A. and Tanenbaum, A.S., Proc. 21st USENIX Security Symp. (USENIX Sec '12), pp. 40--55, Bellevue, WA, Aug, 2012.
 +  * [[http://​www.minix3.org/​theses/​dsn2012.pdf|Keep Net Working - On a Dependable and Fast Networking Stack]], Hruby, T., Vogt, D., Bos, H., and Tanenbaum, A.S., Proc. 42nd Annual IEEE/IFIP Int'l Conf. on Dependable Systems and Networks (DSN '12), Boston, MA, June 2012
 +  * [[http://​www.minix3.org/​docs/​loris/​NAS2012.pdf|Integrated System and Process Crash Recovery in the Loris Storage Stack]], Moolenbroek,​ D.C. van, Appuswamy, R. and Tanenbaum, A.S., Proc. Seventh IEEE Int'l Conf. on Networking, Architecture,​ and Storage (NAS '12), pp. 1--10, Xiamen, Fuijan, China, June 2012.
 +  * [[http://​www.minix3.org/​docs/​loris/​MSST2012.pdf|Integrating Flash-based SSDs into the Storage Stack]], Appuswamy, R., Moolenbroek,​ D.C. van and Tanenbaum, A.S., Proc. 28th IEEE Conf. on Mass Storage Systems and Technologies (MSST '12), pp. 1--12, Pacific Grove, CA, May 2012.
 +  * [[http://​www.minix3.org/​docs/​loris/​NAS2011.pdf|Efficient,​ Modular Metadata Management with Loris]], Van Heuven van Staereling, R., Appuswamy, R., Moolenbroek,​ D.C. van, and Tanenbaum, A.S., Proc. Sixth IEEE Int'l Conf. on Networking, Architecture,​ and Storage (NAS '11), pp. 278--287, Dalian, Liaoning, China, July 2011.
 +  * [[http://​www.minix3.org/​docs/​loris/​MSST2011.pdf|Flexible,​ Modular File Volume Virtualization in Loris]], Appuswamy, R., Moolenbroek,​ D.C. van, and Tanenbaum, A.S., Proc. 27th IEEE Conf. on Mass Storage Systems and Technologies (MSST '11), pp. 1--14, Denver, CO, May 2011.
 +  * [[http://​www.minix3.org/​docs/​loris/​PRDC2010.pdf|Loris - A Dependable, Modular File-Based Storage Stack]], Appuswamy, R., Moolenbroek,​ D.C. van, and Tanenbaum, A.S., Proc. 16th IEEE Pacific Rim Int'l Symp. on Dependable Computing (PRDC '10), pp. 165--174, Tokyo, Dec. 2010.
 +  * [[http://​www.minix3.org/​docs/​jorrit-herder/​ladc09.pdf|Dealing with Driver Failures in the Storage Stack]], Herder, J.N., Moolenbroek,​ D.C. van, Appuswamy, R., Wu, B., Gras, B, and Tanenbaum, A.S., Proc. Fourth Latin-American Symp. on Dependable Computing (LADC '09), pp. 119--126, João Pessoa, Paraíba, Brazil, Sep. 2009 (Best Paper Award).
 +  * [[http://​www.minix3.org/​docs/​jorrit-herder/​dsn-dccs09.pdf|Fault Isolation for Device Drivers]], Herder, J.N., Bos, H., Gras, B., Homburg, P., and Tanenbaum, A.S., Proc. 39th Annual IEEE/IFIP Int'l Conf. on Dependable Systems and Networks (DSN '09), pp. 33--42, Lisbon, Portugal, July 2009.
 +  * [[http://​www.minix3.org/​docs/​jorrit-herder/​prdc08.pdf|Countering IPC Threats in Multiserver Operating Systems]], Herder, J.N., Bos, H., Gras, B., Homburg, P., and Tanenbaum, A.S., Proc. 14th IEEE Pacific Rim Int'l Symp. on Dependable Computing (PRDC '08), pp. 112--121, Taipei, Taiwan, Dec. 2008
 +  * [[http://​www.minix3.org/​docs/​jorrit-herder/​rtns08.pdf|Enhancing a Dependable Multiserver Operating System with Temporal Protection via Resource Reservations]],​ Mancina, A., Herder, J.N., Gras, B., Tanenbaum, A.S., and Lipari, G., Proc. 16th Int'l Conf. on Real-Time and Network Systems (RTNS '08), Rennes, France, Oct. 2008 (Best Paper Award).
 +  * [[http://​www.minix3.org/​docs/​jorrit-herder/​dsn-dccs07.pdf|Failure Resilience for Device Drivers]], Herder, J.N., Bos, H., Gras, B., Homburg, P., Tanenbaum, A.S., Proc. 37th Annual IEEE/IFIP Int'l Conf. on Dependable Systems and Networks (DSN '07), pp. 41--50, Edinburgh, U.K., June 2007.
 +  * [[http://​www.minix3.org/​docs/​jorrit-herder/​edcc06.pdf|Construction of a Highly Dependable Operating System]], Herder, J.N., Bos, H., Gras, B., Homburg, P., Tanenbaum, A.S., Proc. 6th European Dependable Computing Conf. (EDCC '06), pp. 3--12, Coimbra, Portugal, Oct. 2006.
 +  * [[http://​www.minix3.org/​docs/​jorrit-herder/​acsac06.pdf|Reorganizing UNIX for Reliability]],​ Herder, J.N., Bos, H., Gras, B., Homburg, P., Tanenbaum, A.S., Proc. 11th Asia-Pacific Computer Systems Architecture Conf. (ACSAC '06), pp. 81--94, Shanghai, China, Sep. 2006.
 +  * [[http://​www.minix3.org/​docs/​jorrit-herder/​asci06.pdf|The Architecture of a Fault-Resilient Operating System]], Herder, J. N., Bos, H., Gras, B., Homburg, P., and Tanenbaum, A. S., Proc. 12th ASCI Conf. (ASCI '06), pp. 74--81, Lommel, Belgium, June 2006.
 +
 +==== Workshop ====
 +  * [[http://​www.minix3.org/​docs/​workshop/​sfma-2014.pdf|Scheduling of Multiserver System Components on Over-provisioned Multicore Systems]], Hruby, T., Bos, H., and Tanenbaum, A.S., Proc. Fourth Workshop on Systems for Future Multicore Architectures (SFMA '14), Amsterdam, April 2014.
 +  * [[http://​www.minix3.org/​docs/​workshop/​hotdep-2013.pdf|Techniques for Efficient In-memory Checkpointing]],​ Vogt, D., Giuffrida, C., Bos, H., and Tanenbaum, A.S., Proc. of the Ninth Workshop on Hot Topics in System Dependability (HotDep '13), Art. 12, Farmington, PA., Nov. 2013.
 +  * [[http://​www.minix3.org/​docs/​workshop/​sfma-2013.pdf|Heterogeneous Multicores: When Slower is Faster]], Hruby, T., Bos, H., and Tanenbaum, A.S., Proc. Third Workshop on Systems for Future Multicore Architectures (SFMA '13), Prague, April 2013.
 +  * [[http://​www.minix3.org/​docs/​workshop/​hotswup-2012.pdf|Safe and Automated State Transfer for Secure and Reliable Update]], Giuffrida, C. and Tanenbaum, A.S., Proc. Fourth Int'l Workshop on Hot Topics in Software Upgrades (HotSWUp'​12),​ Zurich, June 2012.
 +  * [[http://​www.minix3.org/​docs/​loris/​HotDep2011.pdf|Integrated End-to-End Dependability in the Loris Storage Stack]], Moolenbroek,​ D.C. van, Appuswamy, R., and Tanenbaum, A.S., Proc. Seventh Workshop on Hot Topics in System Dependability (HotDep'​11),​ pp. 165--170, Hong Kong, China, June 2011.
 +  * [[http://​www.cs.vu.nl/​~giuffrida/​papers/​hotdep-2010.pdf|We Crashed, Now What?]], Giuffrida, C., Cavallaro, L., and Tanenbaum, A.S., Proc. Sixth Workshop on Hot Topics in System Dependability (HotDep '10), pp. 1--8, Vancouver, BC, Canada, Oct. 2010.
 +  * [[http://​www.minix3.org/​docs/​loris/​HotStorage2010.pdf|Block-level RAID is dead]], Appuswamy, R., Moolenbroek,​ D.C. van, and Tanenbaum, A.S., Proc. Second Workshop on Hot Topics in Storage and File Systems (HotStorage '10), Boston, June 2010.
 +  * [[http://​www.cs.vu.nl/​~giuffrida/​papers/​hotswup-2009.pdf|Cooperative Update: a New Model for Dependable Live Update]], Giuffrida, C., and Tanenbaum, A.S., Proc. Second Int'l Workshop on Hot Topics in Software Upgrades (HotSWUp'​10),​ pp. 1--6, Orlando, FL, Oct. 2009.
 +  * [[http://​www.minix3.org/​docs/​jorrit-herder/​eurosys-aw06-talk.pdf|Reincarnation of Dead Device Drivers]], Herder, J.N., Proc. First EuroSys Authoring Workshop, Leuven, Belgium, April 2006.
 +  * [[http://​www.minix3.org/​docs/​jorrit-herder/​eurosys-dw05-talk.pdf|Design and Implementation of a Reliable Operating System]], Herder, J.N. Proc. First EuroSys Doctoral Workshop, Brighton, England, Oct. 2005.
 +
 +==== Journal ====
 +
 +  * [[http://​www.springerlink.com/​openurl.asp?​genre=article&​id=doi:​10.1007/​s11241-009-9086-5|Enhancing a Dependable Multiserver Operating System with Temporal Protection via Resource Reservations]],​ Mancina, A., Herder, J.N., Gras, B., Tanenbaum, A.S., and Lipari, G., Real-Time Systems Journal, vol. 43, no. 2, pp. 177--210, Oct. 2009.
 +  * [[http://​csdl2.computer.org/​persagen/​DLAbsToc.jsp?​resourcePath=/​dl/​mags/​co/&​toc=comp/​mags/​co/​2006/​05/​r5toc.xml&​DOI=10.1109/​MC.2006.156|Can We Make Operating Systems Reliable and Secure?]], Tanenbaum, A.S., Herder, J.N., and Bos, H., Tanenbaum, A.S., Herder, J.N., and Bos, H., IEEE Computer, vol. 39, no. 5, pp. 44--51, May 2006 (Cover Feature).
 +
 +==== Magazine ====
 +
 +  * [[http://​www.minix3.org/​docs/​login-2010.pdf|MINIX 3: Status Report and Current Research]], Tanenbaum, A.S., Appuswamy, R., Bos, H., Cavallaro, L., Giuffrida, C., Herder, J., Hruby, T., Kouwe, E. van der, and Moolenbroek,​ D. van, USENIX ;login:, vol. 35, no. 3, pp. 7--13, June 2010.
 +  * [[http://​www.minix3.org/​docs/​login-2007.pdf|Roadmap to a Failure-Resilient Operating System]], Herder, J.N., Bos, H., Gras, B., Homburg, P., and Tanenbaum, A.S., USENIX ;login:, vol. 32, no. 1, pp. 14--20, Feb. 2007.
 +  * [[http://​www.minix3.org/​docs/​jorrit-herder/​osr-jul06.pdf|MINIX 3: A Highly Reliable, Self-Repairing Operating System]], Herder, J.N., Bos, H., Gras, B., Homburg, P, and Tanenbaum, A.S., ACM SIGOPS Operating Systems Review, vol. 40, pp. 80--89, July 2006.
 +  * [[http://​www.minix3.org/​docs/​login-2006.pdf|Modular System Programming in MINIX 3]], Herder, J.N., Bos, H., Gras, B., Homburg, P, and Tanenbaum, A.S., USENIX ;login:, vol. 31, no. 2, pp. 19--28, April 2006.
 +
 +===== Ph.D. theses =====
 +  * [[http://​www.minx3.org/​theses/​Raja_Appuswamy_PhD_thesis.pdf|Building a File-Based Storage Stack: Modularity and Flexibility in Loris]] (Raja Appuswamy'​s Ph.D. thesis, 2014)
 +  * [[http://​www.minix3.org/​theses/​Cristiano_Giuffrida_PhD_thesis.pdf|Safe and Automatic Live Update]] (Cristiano Giuffrida’s Ph.D. thesis, 2014) 
 +  * [[http://​www.minix3.org/​theses/​herder_phd_thesis.pdf|Building a Dependable Operating System]] (Jorrit Herder'​s Ph.D. thesis, 2010)
 +  * [[http://​hdl.handle.net/​10289/​2607|Block-Based Distributed File Systems]] (Tony McGregor, DPhil thesis, 1997)
 +
 +===== Master'​s theses =====
 +  * [[http://​www.minix3.org/​theses/​Calin_Iorgulescu_Master_Thesis.pdf|Safe and Automatic Live Update for Unix Applications]] (Calin Iorgulescu'​s master'​s thesis, 2013)\\
 +  * [[http://​www.minix3.org/​theses/​priescu_thesis_2012.pdf|Efficient Use of Heterogeneous Multicore Architectures in Reliable Multiserver Systems]] (Valentin Gabriel Priescu'​s master'​s thesis, 2012)\\
 +  * [[http://​www.minix3.org/​theses/​kuijsten-polymorphic-os.pdf|Polymorphic Operating Systems]] (Anton Kuijsten'​s master'​s thesis, 2012)\\
 +  * [[http://​www.minix3.org/​docs/​Implementing.MINIX.On.The.Single.Chip.Cloud.Computer.pdf|Implementing Minix on the Single Chip Cloud Computer]] (Niek Linnenbank'​s master'​s thesis, 2011)\\
 +  * [[http://​www.minix3.org/​theses/​kouwe-qemu.pdf|Porting the QEMU Virtualization Software to MINIX 3]] (Erik van der Kouwe'​s master'​s thesis, 2009, [[http://​www.few.vu.nl/​~vdkouwe/​doc/​msc-thesis-cs-presentation-erik-van-der-kouwe.pdf|slides]] also available)\\
 +  * [[http://​www.minix3.org/​theses/​veerman-dynamic-updates.pdf|Dynamic Updates and Failure Resistance for the Minix File Server]] (Thomas Veerman'​s master'​s thesis, 2009)\\
 +  * [[http://​www.minix3.org/​theses/​moolenbroek-multimedia-support.pdf|Multimedia Support for MINIX 3]] (David van Moolenbroek'​s master'​s thesis, 2007)\\
 +  * [[http://​www.minix3.org/​theses/​gerofi-minix-vfs.pdf|Design and Implementation of the MINIX Virtual File System]] (Balazs Gerofi'​s master'​s thesis, 2006)\\
 +  * [[http://​www.minix3.org/​theses/​alting-powerpc-port.pdf|A Port of the MINIX OS to the PowerPC Platform]] (Ingmar Alting'​s master'​s thesis, 2006)\\
 +  * [[http://​www.minix3.org/​theses/​meurs-profiling-tools.pdf|Building Performance Measurement Tools for the MINIX 3 Operating System]] (Rogier Meurs' master'​s thesis, 2006)\\
 +  * [[http://​www.minix3.org/​theses/​herder-true-microkernel.pdf|Towards a True Microkernel Operating System]] (Jorrit Herder'​s master'​s thesis, 2005)\\
 +===== Bachelor'​s theses =====
 +  * [[http://​www.minix3.org/​theses/​ahmad-cc-performance.pdf|MINIX 3 C Compiler Performance]] (Feisal S. Ahmad'​s bachelor'​s thesis, 2008) ([[http://​www.minix3.org/​theses/​ahmad-cc-performance_appendix.pdf|appendix]])
 +  * [[http://​www.minix3.org/​theses/​smit-finding-hot-spots.pdf|Finding hot spots in MINIX 3]] (Jens de Smit's bachelor'​s thesis, 2008)
 +
 +===== Other publications =====
 +  * [[http://​www.minix3.org/​theses/​kelly-xen.pdf|Porting MINIX to Xen]] (Ivan Kelly'​s course project, 2006) ([[http://​wiki.bleurgh.com/​MinixOnXen|project wiki]])
 +  * [[http://​www.minix3.org/​theses/​linnenbank-ipa.pdf|Implementing the Intel Pro/1000 on MINIX 3]] (Niek Linnenbank'​s project, 2009)
 +  * [[http://​www.minix3.org/​docs/​scheduling/​report.pdf|User Mode Scheduling in MINIX 3]] (Björn Patrick Swift'​s project, 2010) \\
 +  * [[http://​www.minix3.org/​docs/​szekeres-iommu.pdf|IOMMU driver for MINIX 3]] (Adriana Szekeres'​ project, 2011)
  
publications.txt · Last modified: 2016/04/17 15:18 by jeanbaptisteboric