Call for papers

The goal of the WAMOS workshop is to present novel ideas and results (both practical as well as research oriented) in the field of microkernel based operating systems. Participation is open to anyone, however students participating in the Advanced Operating Systems course at HSRM are explicitly for^H^H^Hasked to submit their work.
The authors of the most successful papers may be asked to review their work and subsequently submit it to a "real" workshop.

Topics of interest

Topics of interest include (but are not limited to):
  • Analyses and comparison of different microkernel architectures
  • Portability issues of microkernel-based systems
  • Concepts for integrating and sharing hot-pluggable I/O devices in a multiserver environment
  • Safety and security implications
  • User-level scheduling policies for microkernels


Submission Guidelines

Authors are invited to submit original, unpublished papers that are not being considered in another forum. Papers submitted will be thoroughly reviewed for novelty, relevance, technical quality and scientific soundness by the members of the program committee. Authors of accepted papers will have an option of improving their submissions according to the reviewer's comments, before providing camera-ready papers.

Submissions must be in the standard ACM format for conference proceedings. Papers should be clearly marked in the text as "Short Research Paper". Short research papers should not exceed five pages double column including figures and tables.

Submit via Easychair at https://www.easychair.org/conferences/?conf=wamos2015

All authors are required to to attend the workshop and present the paper. Presented papers will be published in the WAMOS 2015 proceedings that will not be published by ACM and will not be included in the ACM Digital Library. Nevertheless, authors are required to adhere to the ACM Policy and Procedures on Plagiarism as well as to the ACM Policy on Prior Publication and Simultaneous Submissions.

Important dates

  • Submission deadline is 23:59 Central European Time on July 13 20, 2015
  • Feedback is due on July 27, 2015
  • Camera-ready Papers are due 23:59 Central European Time on August 4, 2015
  • The Workshop will take place in on August 6, 2015