[ecoop-info] CFPart: PLOS '07 --- Extended Early Registration Deadline

[Eric Eide]

If you work at the intersection of programming languages and operating systems,
come participate in PLOS 2007, the 4th Workshop on Programming Languages and
Operating Systems <http://plosworkshop.org/2007/>!

This year's workshop will be a highly interactive event, with ten short papers
on cutting-edge research topics:

  + domain-specific languages for systems
        + concurrency and multi-core systems
              + transactional memory versus locking
                    + formal specification and static checking
                          + aspect-oriented programming for system concerns

PLOS 2007 will be held on the day after the SOSP 2007 conference.

LATEST NEWS: The PLOS 2007 early registration deadline has been extended until
September 28!  See the call for participation below for more details.

Come participate and contribute at PLOS '07!


-------------------------------------------------------------------------------


                            CALL FOR PARTICIPATION
                    *EXTENDED EARLY REGISTRATION DEADLINE*

        Fourth Workshop on Programming Languages and Operating Systems
                                  (PLOS 2007)

                               October 18, 2007
                      Skamania Lodge / Stevenson, WA, USA

                         http://plosworkshop.org/2007/

                            Sponsored by ACM SIGOPS


               *EARLY REGISTRATION DEADLINE: September 28, 2007*
                Online registration deadline: October 10, 2007


    Historically, operating system development and programming language
    development went hand-in-hand.  Today, although the systems community
    at large retains an iron grip on C, many people continue to explore
    novel approaches to OS construction based on new programming language
    ideas.

    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.


ACCEPTED PAPERS

    * "Formalising Device Driver Interfaces"
      Leonid Ryzhyk, Ihor Kuz, and Gernot Heiser (NICTA and University of New
      South Wales)
      
    * "A High-Performance Operating System for Structured Concurrent Programs"
      Luc Blaeser (ETH Zurich)

    * "Why The Grass May Not Be Greener On The Other Side: A Comparison of
      Locking vs. Transactional Memory"
      Paul E. McKenney, Maged M. Michael (IBM), and Jonathan Walpole (Portland
      State University)

    * "Configurable Memory Protection by Aspects"
      Daniel Lohmann, Jochen Streicher, Wanja Hofer, Olaf Spinczyk, and
      Wolfgang Schroeder-Preikschat (Freidrich-Alexander University
      Erlangen-Nuremberg)

    * "Towards Easing the Diagnosis of Bugs in OS Code"
      Henrik Stuart, Rene Rydhof Hansen, Julia L. Lawall, Jesper Andersen
      (DIKU), Yoann Padioleau, and Gilles Muller (Ecole des Mines de Nantes)

    * "Writing Systems Software in a Functional Language"
      Iavor S. Diatchki (Galois), Thomas Hallgren (OGI), Mark P. Jones,
      Rebekah Leslie, and Andrew Tolmach (Portland State University)

    * "A DSL Approach for Object Memory Management of Small Devices"
      Kevin Marquet and Gilles Grimaud (LIFL, Univ. Lille 1)

    * "Resource Management Aspects for Sensor Network Software"
      Sean Walton and Eric Eide (University of Utah)

    * "Checking the Hardware-Software Interface in Spec#"
      Kevin Bierhoff (CMU) and Chris Hawblitzel (Microsoft Research)

    * "Predictive Thread-to-Core Assignment on a Heterogeneous Multi-Core
      Processor"
      Tyler Sondag, Viswanath Krishnamurthy, and Hridesh Rajan (Iowa State
      University)


VISIT THE WEB SITE for more info:   http://plosworkshop.org/2007/