[TYPES] SPACE 2006: Call for Papers

David Walker dpw at CS.Princeton.EDU
Fri Sep 9 14:30:23 EDT 2005


Call for Papers:  SPACE 2006 

Third workshop on
SEMANTICS, PROGRAM ANALYSIS, AND
COMPUTING ENVIRONMENTS FOR MEMORY MANAGEMENT 

January 14, 2006
Charleston, South Carolina 
 
Sponsored by ACM/SIGPLAN 

http://www.itu.dk/research/plt/space2006/

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

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.

SCOPE: Topics of interest include but are not limited to: 

  * alternative memory management strategies (.e.g, region- or reap-based)
  * memory management for constrained (embedded, real-time, etc.) 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 Charleston, South Carolina on January 14, 2006.
It is co-located with POPL 2006, which takes place January 11-13, 2006.

IMPORTANT DATES: 

  * Submission deadline:   midnight EST, Thursday, November 10, 2005 
  * Electronic PC meeting: Monday/Tuesday, November 28/29, 2005 
  * Notification:          Tuesday, December 2, 2005 
  * Final copy:            midnight, Friday, December 16, 2005 
  * Workshop:              Saturday, January 14, 2006 

FORMAT: 

The workshop will consist of: 

  * 25-minute presentations by authors of selected, peer-reviewed papers
  * 10-minute short presentations (non-peer-reviewed)
  * two 45-minute invited talks (to be determined)
  * a series of "5-minute madness" talks as time permits 

The long papers will be selected by a program committee and only "lightly"
reviewed. Our goal in selecting papers is to meet our time requirements and
present a balanced program. 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.

At lunch-time, participants will be able to sign up for a "5-minute madness"
talk slot (as time permits). These talks will be limited to at most 2
viewgraphs and are meant to give a brief, perhaps provocative, viewpoint on
the research issues in memory management and to spark conversation. A
moderator will limit time according to the excitement generated by the
presentation.

INFORMAL PROCEEDINGS: 

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.

LONG PAPERS: 

Authors should submit a 12 page extended abstract formatted using the ACM
LaTeX sig-alternate format
(http://www.acm.org/sigs/pubs/proceed/template.html). Accepted final papers
will be allowed to be longer (up to 20 pages).

SHORT PRESENTATIONS: 

Authors should submit a 2-3 page abstract formatted using the ACM LaTeX
sig-alternate format (http://www.acm.org/sigs/pubs/proceed/template.html).
The title should start with "Short Presentation: ".

INFORMATION: 

Please refer to the workshop home page at
http://www.itu.dk/research/plt/space2006 for up-to-date information on
location, invited talks, participation, and so on. 

REGISTRATION: 

For information on registration, accommodation etc, please refer to the POPL
2006 conference web pages:  http://www.cs.princeton.edu/~dpw/popl/06/

STEERING COMMITTEE: 

  * Fritz Henglein, Dept. of Computer Science, University of Copenhagen
  * Richard Jones, Computing Laboratory, University of Kent
  * Greg Morrisett, Division of Engineering and Applied Science, Harvard
University
  * Peter O'Hearn, Dept. of Computer Science, Queen Mary, University of
London 

PROGRAM CHAIRS: 

  * Martin Elsman, IT University of Copenhagen
  * David Walker, Princeton University 

PROGRAM COMMITTEE: 

  * Amal Ahmed, Harvard University
  * Perry Cheng, IBM (T.J. Watson Research Center)
  * Martin Elsman, IT University of Copenhagen
  * Philippa Gardner, Imperial College
  * Michael Hicks, University of Maryland
  * Martin Hofmann, Ludwig-Maximilians-Universität München
  * Atsushi Igarashi, Kyoto University
  * Mooly Sagiv, Tel-Aviv University
  * David Walker, Princeton University 

PREVIOUS SPACE WORKSHOPS: 

The first SPACE workshop was held in connection with POPL 2001 at Imperial
College, London, January 15-16, 2001. The second SPACE workshop was held in
connection with POPL 2004 in Venice, Italy, January 12, 2004.





More information about the Types-list mailing list