Differences

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

--- publications [2014/11/11 15:18]
lionelsambuc [Bachelor's theses]
+++ publications [2016/04/17 21:18] (current)
jeanbaptisteboric fix link
@@ 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.minix3.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)

User Tools

Site Tools

Differences

Page Tools