(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "[ \s]User:Curator 83" to " Ch") |
||
Line 35: | Line 35: | ||
==Committees== | ==Committees== | ||
− | General | + | General Chair: |
Martin Vechev ETH Zurich and IBM T.J. Watson Research Center | Martin Vechev ETH Zurich and IBM T.J. Watson Research Center | ||
− | Program | + | Program Chair: |
Kathryn McKinley The University of Texas at Austin and Microsoft Research | Kathryn McKinley The University of Texas at Austin and Microsoft Research | ||
Program Committee: | Program Committee: | ||
Line 43: | Line 43: | ||
Dave Detlefs Microsoft | Dave Detlefs Microsoft | ||
Laurent Daynès Oracle Labs | Laurent Daynès Oracle Labs | ||
− | + | Chen Ding University of Rochester | |
David Gay Google | David Gay Google | ||
David P Grove IBM T.J. Watson Research Center | David P Grove IBM T.J. Watson Research Center | ||
Line 49: | Line 49: | ||
John Regehr University of Utah | John Regehr University of Utah | ||
Zhenlin Wang Michigan Technological University | Zhenlin Wang Michigan Technological University | ||
− | + | Christian Wimmer Oracle Labs | |
Greta Yorsh ARM | Greta Yorsh ARM | ||
Qin Zhao MIT | Qin Zhao MIT | ||
Line 55: | Line 55: | ||
Emery Berger University of Massachusetts, Amherst | Emery Berger University of Massachusetts, Amherst | ||
Daniel Frampton Australian National University | Daniel Frampton Australian National University | ||
− | + | Chandra Krintz University of California, Santa Barbara | |
Simon Marlow Microsoft Research | Simon Marlow Microsoft Research | ||
Maged Michael IBM T.J. Watson Research Center | Maged Michael IBM T.J. Watson Research Center | ||
Line 65: | Line 65: | ||
Witawas Srisa-an University of Nebraska | Witawas Srisa-an University of Nebraska | ||
Eran Yahav Technion | Eran Yahav Technion | ||
− | Local Arrangements | + | Local Arrangements Chair: |
− | + | Chen Ding University of Rochester |
Revision as of 12:40, 7 July 2022
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 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