Do you use Racket in the implementation of operating systems or "OS-like" systems? Consider submitting a short paper about your work to the PLOS '19 workshop! Papers are due on August 9, a little over a month from now.
Eric. ------------------------------------------------------------------------------- CALL FOR PAPERS Tenth Workshop on Programming Languages and Operating Systems (PLOS 2019) October 27, 2019 Huntsville, Ontario, Canada http://plos-workshop.org/2019/ Sponsored by ACM SIGOPS In conjunction with SOSP 2019 http://www.sigops.org/sosp/sosp19/ Paper submission deadline: August 9, 2019 Notification of acceptance: September 6, 2019 Final papers due: October 1, 2019 Workshop: October 27, 2019 Historically, operating system development and programming language development went hand-in-hand. Challenges in one area were often approached using ideas or techniques developed in the other, and advances in one area enabled new capabilities in the other. Today, although the systems community at large retains an iron grip on C, modern programming language ideas continue to spark innovations in OS design and construction. Conversely, the systems field continues to provide a wealth of challenging problems and practical results that should lead to advances in programming languages, software designs, and idioms. This workshop will bring together researchers and developers from the programming language and operating system domains to discuss recent work at the intersection of these fields. It will be a platform for discussing new visions, challenges, experiences, problems, and solutions arising from the application of advanced programming and software engineering concepts to operating systems construction, and vice versa. Suggested paper topics include, but are not restricted to: * critical evaluations of new programming language ideas in support of OS construction * domain-specific languages for operating systems * type-safe languages for operating systems * the design of language-specific unikernels * language-based approaches to crosscutting system concerns, such as security and run-time performance * language support for system verification, testing, and debugging * synthesis of OS code * static/dynamic configuration of operating systems * static/dynamic specialization within operating systems * the use of OS abstractions and techniques in language runtimes * experience reports on applying new language techniques in commercial OS settings AGENDA The workshop will be a highly interactive event with an agenda designed to promote focused and lively discussions. Part of the workshop program will be based on paper presentations. PLOS welcomes research, experience, and position papers; papers describing industrial experience are particularly encouraged. The set of accepted papers will be made available to registered attendees in advance of the workshop. Participants should come to the workshop prepared with questions and comments. SUBMISSION GUIDELINES All papers must be written in English and should be formatted in the two-column ACM article style (<http://www.sigplan.org/Resources/Author/>, using the options sigplan,10pt). The CCS Concepts, Keywords, and ACM Reference Format sections are not required in submissions. Submissions are single blind: author names and affiliations should be included. Submissions must not be more than six (6) pages in length, using 10-point font. The bibliography does not count towards the page limit. The page limit will be strictly enforced, and shorter papers are encouraged. Papers must be submitted in PDF format via the workshop website. They will be reviewed by the workshop program committee and designated external reviewers. Papers will be evaluated based on technical quality, originality, relevance, and presentation. By default, accepted papers will be published electronically in the ACM Digital Library. The authors of accepted papers to be included in the ACM Digital Library will be required to sign ACM copyright release forms. The publication of a paper in the PLOS workshop proceedings is not intended to replace future conference publication. PROGRAM COMMITTEE Owen Arden, University of California, Santa Cruz Jia-Ju Bai, Tsinghua University Vijay Chidambaram, University of Texas at Austin/VMware Research Pierre-Evariste Dagand, CNRS/Inria/LIP6 Eric Eide, University of Utah (chair) Arjun Guha, University of Massachusetts, Amherst Stephen Kell, University of Kent Lindsey Kuper, University of California, Santa Cruz Daniel Lohmann, Leibniz University Hannover Heather Miller, Carnegie Mellon University Laurent Reveillere, University of Bordeaux Leonid Ryzhyk, VMware Research ORGANIZING COMMITTEE Chris Hawblitzel, Microsoft Research Gilles Muller, Inria/LIP6 Olaf Spinczyk, Osnabrueck University -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/m1pnmsma9q.fsf%40gris-dmz.flux.utah.edu. For more options, visit https://groups.google.com/d/optout.