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

San Francisco, California
January 13, 2008

Co-located with the ACM Symposium on Principles of Programming Languages (POPL'08)

 


  Announcements
  Workshop Scope
  Workshop Format
  Important Dates
  Submissions
  Program Committee
  Previous Workshops
  Call for papers
 

Announcements

  • Nov 11: SPACE has been cancelled at POPL 2008. The workshop is expected to take place next year, and be co-located with POPL 2009.
     
  • The submission site is now open.
  • Submission deadline: November 9.

  •  

    Workshop Scope

    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

    Workshop 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.

    Important Dates

    Paper Submission: Friday, November 9, 2007
    Notification: Friday, November 30, 2007
    Camera-ready: TBA
    Symposium: Sunday, January 13, 2008

    Submissions

    Papers must be submitted using the EasyChair SPACE08 site: http://www.easychair.org/conferences/?conf=SPACE08

    Enquiries can be sent to space08@easychair.org

    Program Committee

    Previous Workshops