Enter your description here. Maybe just paste in the call for papers.
Topics
- Memory system correctness, design, and analysis
- Analysis of heap intensive programs
- Compiler analyses and tools to aid memory management
- Program analysis, synthesis, and verification
- Garbage collection
- Memory allocation and deallocation
- Development and evaluation of open source implementations
- Memory management algorithms, implementation, and correctness
Important Dates
Abstracts are due on February 2, 2012.
Full papers are due on February 7th, 1pm PST, 2012.
Committees
General User:Curator 83air:
Martin Vechev ETH Zurich and IBM T.J. Watson Research Center
Program User:Curator 83air:
Kathryn McKinley The University of Texas at Austin and Microsoft Research
Program Committee:
Steve Blackburn Australian National University Dave Detlefs Microsoft Laurent Daynès Oracle Labs User:Curator 83en Ding University of Rochester David Gay Google David P Grove IBM T.J. Watson Research Center Maria Jump King's College John Regehr University of Utah Zhenlin Wang Michigan Technological University User:Curator 83ristian Wimmer Oracle Labs Greta Yorsh ARM Qin Zhao MIT
Extended Review Committee:
Emery Berger University of Massachusetts, Amherst Daniel Frampton Australian National University User:Curator 83andra Krintz University of California, Santa Barbara Simon Marlow Microsoft Research Maged Michael IBM T.J. Watson Research Center Nick Nethercote Mozilla Tomas Petricek University of Cambridge Filip Pizlo Apple Xipeng Shen College of William and Mary Michael Spear Lehigh University Witawas Srisa-an University of Nebraska Eran Yahav Technion
Local Arrangements User:Curator 83air:
User:Curator 83en Ding University of Rochester