[TYPES] SPACE 2006: Call for Participation

Richard Jones R.E.Jones at kent.ac.uk
Tue Dec 6 13:05:18 EST 2005

This is the final call for participation for SPACE 2004. Apologies for any 

SPACE 2006 

Third workshop on 

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


Early registration deadline: 10 December 2005


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 


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.


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 

Full papers:

  * Nicolas Marti, Reynald Affeldt, Akinori Yonezawa. Verification of the
    Heap Manager of an Operating System using Separation Logic 
  * Matthew Collinson and David Pym. Bunching for Region and Location Models:
    Extended Abstract
  * Frances Spalding, Limin Jia. Asserting Memory Shape using Linear Logic
  * Neelakantan Krishnaswami. Separation Logic for a Higher-Order Typed
  * Laura Effinger Dean, Chris Erickson, Melissa O'Neill, Darren Strash.
    Extending Garbage Collection to Complex Data Structures
  * Toshiyuki Maeda and Akinori Yonezawa. Writing practical memory
    management code with a strictly typed assembly language 
  * Laura Effinger-Dean, Chris Erickson, Melissa O'Neill, Darren Strash.
    Garbage Collection for Trailer Arrays
  * Florian Liekweg. Compiler-Directed Automatic Memory Management 
  * Stephen Magill. Inferring Invariants in Separation Logic for Imperative
    List-processing Programs

Short papers:

  * Susumu Nishimura. Short Presentation: Verifying Data-Parallel Programs 
    with Separation Logic 
  * Chris Hawblitzel. Short Presentation: Linear Types for Aliased Resources
  * Andreas Krall. Short Presentation: Static Verification of Global Heap 
    References in Java Native Libraries 
  * Quy Tuan Nguyen and C. Barry Jay. Polymorphic Memory Management 
  * Nick Benton, Noah Torp-Smith. [Short Presentation] Abstracting Allocation: 
    The New new Thing 

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.


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.


For information on registration, accommodation etc, please refer to the POPL
2006 conference web pages:


Please note that the deadlines both for registering for the hotel at the POPL
rate and for advance registration for the conference is December 10th. 


  * Richard Jones (chair), Computing Laboratory, University of Kent 
  * Peter O'Hearn (chair), Dept. of Computer Science, Queen Mary, University of


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


  * 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-Universitiet Munchen 
  * Atsushi Igarashi, Kyoto University 
  * Mooly Sagiv, Tel-Aviv University 
  * David Walker, Princeton University 


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