[TYPES/announce] SPACE 2008: Call for Papers

[Radu Rugina]

                  SPACE'08 CALL FOR PAPERS

     Fourth Workshop on Semantics, Program Analysis, and
        Computing Environments for Memory Management

                    January 13, 2008
                San Francisco, California
                 Co-located with POPL'08
                 Sponsored by ACM SIGPLAN

     http://www.cs.cornell.edu/Conferences/space2008

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

Memory management is a difficult engineering task. We
desperately need new tools and analyses that can identify
memory management errors in low-level C/C++ code, such as
dereferencing a pointer to an object that has been recycled
or failing to reclaim an object. We also need new data
structures and algorithms to avoid overheads such as
fragmentation and synchronization. High-level languages such
as Java or ML insulate the programmer from many of these
problems through automatic memory management techniques
(e.g., garbage collection). But standard GC techniques are
not always suitable for all domains. For instance,
programmers for embedded and real-time systems need static
guarantees about resource requirements that are difficult to
meet with standard collection algorithms. New languages,
logics, analyses, and type systems are needed that let us
reason about the management of memory, time, and other
critical resources, whether using manual or automatic
methods. The aim of this workshop is to bring together
researchers for a fruitful exchange of ideas on semantics,
program analysis and computing environments for memory
management.

Topics of interest include but are not limited to:

   * alternative memory management strategies (e.g.,
     region-based)
   * memory management for constrained (e.g., embedded,
     real-time) systems
   * analyses for optimization of memory management
   * analyses for faults in manual memory management
   * types, semantics, logics, and calculi for memory
     management
   * applications of statically controlled memory management
   * empirical results for new or existing memory management
     strategies

TIME AND PLACE:

The workshop takes place in San Francisco, California on
January 13, 2008. It is co-located with POPL 2008, which
takes place January 10-12, 2008.

IMPORTANT DATES:

   * Submission deadline:   Friday, November 9, 2007
   * Notification:          Friday, November 30, 2007
   * Workshop:              Sunday, January 13, 2008

FORMAT:

The workshop will consist of:

     * 25-minute presentations by authors of selected,
       peer-reviewed papers.
     * 10-minute short presentations (non-peer reviewed)
     * one or two 45-minute invited talks (to be determined)

The long papers will be selected by a program committee and
only "lightly" reviewed.  Long papers should be 8 pages in
9pt ACM SIGPLAN style, excluding appendices.  Additional
pages for clearly-marked appendices are allowed, but
reviewers are not required to read appendices. Our goal in
selecting papers is to meet our time requirements and
present a balanced program. Short papers should be 4 pages
or less.  We hope to include all of the short presentations,
but may be forced to select a subset depending on the number
of submissions. Again, our goal is to have a productive,
interactive workshop.

We will distribute an informal proceedings at the workshop
only. We do not consider the proceedings to be a formal
(citable) publication so that any works in progress
presented here may be submitted later for formal
publication. The informal proceedings for the workshop will
consist of the accepted papers, and titles and abstracts for
the short presentations.

STEERING COMMITTEE:

   * Richard Jones, University of Kent
   * Greg Morrisett, Harvard University
   * Peter O'Hearn, Queen Mary University of London
   * Martin Elsman, IT University of Copenhagen
   * Fritz Henglein, University of Copenhagen

PROGRAM CHAIRS:

   * General chair: Michael Hicks, Univ. of Maryland,
     College Park
   * Program chair: Radu Rugina, Cornell University

PROGRAM COMMITTEE:

   * David F. Bacon, IBM T.J. Watson Research Center
   * Josh Berdine, Microsoft Research, Cambridge
   * Dino Distefano, Queen Mary, University of London
   * Matthew Fluet, Toyota Technological Institute at Chicago
   * Chris Hawblitzel, Microsoft Research, Redmond
   * Dan Grossman, University of Washington
   * Simon Peyton Jones, Microsoft Research, Cambridge
   * Bjarne Steensgaard, Microsoft Research, Redmond
   * Eran Yahav, IBM TJ Watson Research Center