You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
''Enter your description here. Maybe just paste in the call for papers.'' ==Topics== <ul> <li>Memory system correctness, design, and analysis <br> <li>Analysis of heap intensive programs<br> <li>Compiler analyses and tools to aid memory management<br> <li>Program analysis, synthesis, and verification<br> <li>Garbage collection<br> <li>Memory allocation and deallocation<br> <li>Development and evaluation of open source implementations<br> <li>Memory management algorithms, implementation, and correctness<br> </ul> ==Important Dates== Abstracts are due on February 2, 2012.<br> Full papers are due on February 7th, 1pm PST, 2012.<br> ==Committees== General Chair: Martin Vechev ETH Zurich and IBM T.J. Watson Research Center Program Chair: 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 Chen 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 Christian Wimmer Oracle Labs Greta Yorsh ARM Qin Zhao MIT Extended Review Committee: Emery Berger University of Massachusetts, Amherst Daniel Frampton Australian National University Chandra 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 Chair: Chen Ding University of Rochester
Save page Show preview Cancel