ISMM 2012: Difference between revisions
New page: {{Event |Acronym=ISMM 2012 |Title=International Symposium on Memory Management |Type=Conference |Field=Programming languages |Superevent=ACM PLDI 2012 |Start date=2012/06/15 |End date=2012... |
No edit summary |
||
| (11 intermediate revisions by the same user not shown) | |||
| Line 7: | Line 7: | ||
|Start date=2012/06/15 | |Start date=2012/06/15 | ||
|End date=2012/06/16 | |End date=2012/06/16 | ||
|Homepage= | |Homepage=ismm12.cs.purdue.edu/ | ||
|City=Beijing | |City=Beijing | ||
|Country=China | |Country=China | ||
| Line 15: | Line 15: | ||
==Topics== | ==Topics== | ||
Memory system correctness, design, and analysis | <ul> | ||
Analysis of heap intensive programs | <li>Memory system correctness, design, and analysis <br> | ||
Compiler analyses and tools to aid memory management | <li>Analysis of heap intensive programs<br> | ||
Program analysis, synthesis, and verification | <li>Compiler analyses and tools to aid memory management<br> | ||
Garbage collection | <li>Program analysis, synthesis, and verification<br> | ||
Memory allocation and deallocation | <li>Garbage collection<br> | ||
Development and evaluation of open source implementations | <li>Memory allocation and deallocation<br> | ||
Memory management algorithms, implementation, and correctness | <li>Development and evaluation of open source implementations<br> | ||
<li>Memory management algorithms, implementation, and correctness<br> | |||
</ul> | |||
==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: | General Chair: | ||
Martin Vechev ETH Zurich and IBM T.J. Watson Research Center | |||
Program Chair: | Program Chair: | ||
Kathryn McKinley The University of Texas at Austin and Microsoft Research | |||
Program Committee: | 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: | 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: | Local Arrangements Chair: | ||
Chen Ding University of Rochester | |||
Latest revision as of 00:50, 22 October 2011
| ISMM 2012 | |
|---|---|
International Symposium on Memory Management
| |
| Subevent of | ACM PLDI 2012 |
| Dates | 2012/06/15 (iCal) - 2012/06/16 |
| Homepage: | 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 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