ISMM 2012: Difference between revisions
No edit summary |
|||
| Line 15: | Line 15: | ||
==Topics== | ==Topics== | ||
Memory system correctness, design, and analysis | Memory system correctness, design, and analysis <br> | ||
Analysis of heap intensive programs | Analysis of heap intensive programs<br> | ||
Compiler analyses and tools to aid memory management | Compiler analyses and tools to aid memory management<br> | ||
Program analysis, synthesis, and verification | Program analysis, synthesis, and verification<br> | ||
Garbage collection | Garbage collection<br> | ||
Memory allocation and deallocation | Memory allocation and deallocation<br> | ||
Development and evaluation of open source implementations | Development and evaluation of open source implementations<br> | ||
Memory management algorithms, implementation, and correctness | Memory management algorithms, implementation, and correctness<br> | ||
==Important Dates== | ==Important Dates== | ||
Abstracts are due on February 2, 2012. | |||
Full papers are due on February 7th, 1pm PST, 2012. | Abstracts are due on February 2, 2012.<br> | ||
Full papers are due on February 7th, 1pm PST, 2012.<br> | |||
==Committees== | ==Committees== | ||
General Chair: <br> | General Chair: <br> | ||
Martin Vechev IBM T.J. Watson Research Center | Martin Vechev IBM T.J. Watson Research Center<br> | ||
Program Chair: | Program Chair: <br> | ||
Kathryn McKinley The University of Texas at Austin and Microsoft Research | Kathryn McKinley The University of Texas at Austin and Microsoft Research<br> | ||
Program Committee: | Program Committee: <br> | ||
Steve Blackburn Australian National University | Steve Blackburn Australian National University<br> | ||
Dave Detlefs Microsoft | Dave Detlefs Microsoft<br> | ||
Laurent Daynès Oracle Labs | Laurent Daynès Oracle Labs<br> | ||
Chen Ding University of Rochester | Chen Ding University of Rochester<br> | ||
David Gay Google | David Gay Google<br> | ||
David P Grove IBM T.J. Watson Research Center | David P Grove IBM T.J. Watson Research Center<br> | ||
Maria Jump King's College | Maria Jump King's College<br> | ||
John Regehr University of Utah | John Regehr University of Utah<br> | ||
Zhenlin Wang Michigan Technological University | Zhenlin Wang Michigan Technological University<br> | ||
Christian Wimmer Oracle Labs | Christian Wimmer Oracle Labs<br> | ||
Greta Yorsh ARM | Greta Yorsh ARM<br> | ||
Qin Zhao MIT | Qin Zhao MIT<br> | ||
Extended Review Committee: | Extended Review Committee: <br> | ||
Emery Berger University of Massachusetts, Amherst | Emery Berger University of Massachusetts, Amherst<br> | ||
Daniel Frampton Australian National University | Daniel Frampton Australian National University<br> | ||
Chandra Krintz University of California, Santa Barbara | Chandra Krintz University of California, Santa Barbara<br> | ||
Simon Marlow Microsoft Research | Simon Marlow Microsoft Research<br> | ||
Maged Michael IBM T.J. Watson Research Center | Maged Michael IBM T.J. Watson Research Center<br> | ||
Nick Nethercote Mozilla | Nick Nethercote Mozilla<br> | ||
Tomas Petricek University of Cambridge | Tomas Petricek University of Cambridge<br> | ||
Filip Pizlo Apple | Filip Pizlo Apple<br> | ||
Xipeng Shen College of William and Mary | Xipeng Shen College of William and Mary<br> | ||
Michael Spear Lehigh University | Michael Spear Lehigh University<br> | ||
Witawas Srisa-an University of Nebraska | Witawas Srisa-an University of Nebraska<br> | ||
Eran Yahav Technion | Eran Yahav Technion<br> | ||
Local Arrangements Chair: | Local Arrangements Chair: <br> | ||
Chen Ding University of Rochester | Chen Ding University of Rochester<br> | ||
Revision as of 00:40, 22 October 2011
| ISMM 2012 | |
|---|---|
International Symposium on Memory Management
| |
| Subevent of | ACM PLDI 2012 |
| Dates | 2012/06/15 (iCal) - 2012/06/16 |
| Homepage: | http://ismm12.cs.purdue.edu/ |
| Location | |
| Location: | Beijing, China |
| Important dates | |
| Submissions: | 2012/02/02 |
| Table of Contents | |
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 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