Difference between revisions of "ISMM 2012"
| (4 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 <br> | + | <ul> |
| − | Analysis of heap intensive programs<br> | + | <li>Memory system correctness, design, and analysis <br> |
| − | Compiler analyses and tools to aid memory management<br> | + | <li>Analysis of heap intensive programs<br> |
| − | Program analysis, synthesis, and verification<br> | + | <li>Compiler analyses and tools to aid memory management<br> |
| − | Garbage collection<br> | + | <li>Program analysis, synthesis, and verification<br> |
| − | Memory allocation and deallocation<br> | + | <li>Garbage collection<br> |
| − | Development and evaluation of open source implementations<br> | + | <li>Memory allocation and deallocation<br> |
| − | Memory management algorithms, implementation, and correctness<br> | + | <li>Development and evaluation of open source implementations<br> |
| − | + | <li>Memory management algorithms, implementation, and correctness<br> | |
| + | </ul> | ||
==Important Dates== | ==Important Dates== | ||
| Line 31: | Line 32: | ||
==Committees== | ==Committees== | ||
| − | General Chair: | + | General Chair: |
| − | Martin Vechev | + | Martin Vechev ETH Zurich and IBM T.J. Watson Research Center |
| − | Program Chair: | + | Program Chair: |
| − | Kathryn McKinley | + | Kathryn McKinley The University of Texas at Austin and Microsoft Research |
| − | Program Committee: | + | Program Committee: |
| − | Steve Blackburn | + | Steve Blackburn Australian National University |
| − | Dave Detlefs | + | Dave Detlefs Microsoft |
| − | Laurent Daynès | + | Laurent Daynès Oracle Labs |
| − | Chen Ding | + | Chen Ding University of Rochester |
| − | David Gay | + | David Gay Google |
| − | David P Grove | + | David P Grove IBM T.J. Watson Research Center |
| − | Maria Jump | + | Maria Jump King's College |
| − | John Regehr | + | John Regehr University of Utah |
| − | Zhenlin Wang | + | Zhenlin Wang Michigan Technological University |
| − | Christian Wimmer | + | Christian Wimmer Oracle Labs |
| − | Greta Yorsh | + | Greta Yorsh ARM |
| − | Qin Zhao | + | Qin Zhao MIT |
Extended Review Committee: | Extended Review Committee: | ||
| − | Emery Berger | + | Emery Berger University of Massachusetts, Amherst |
| − | Daniel Frampton | + | Daniel Frampton Australian National University |
| − | Chandra Krintz | + | Chandra Krintz University of California, Santa Barbara |
| − | Simon Marlow | + | Simon Marlow Microsoft Research |
| − | Maged Michael | + | Maged Michael IBM T.J. Watson Research Center |
| − | Nick Nethercote | + | Nick Nethercote Mozilla |
| − | Tomas Petricek | + | Tomas Petricek University of Cambridge |
| − | Filip Pizlo | + | Filip Pizlo Apple |
| − | Xipeng Shen | + | Xipeng Shen College of William and Mary |
| − | Michael Spear | + | Michael Spear Lehigh University |
| − | Witawas Srisa-an | + | Witawas Srisa-an University of Nebraska |
| − | Eran Yahav | + | Eran Yahav Technion |
Local Arrangements Chair: | Local Arrangements Chair: | ||
| − | Chen Ding | + | Chen Ding University of Rochester |
Latest revision as of 01: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 |
Loading map... | |
| Important dates | |
| Submissions: | 2012/02/02 |
| Table of Contents | |
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
Facts about "ISMM 2012"
| Acronym | ISMM 2012 + |
| End date | June 16, 2012 + |
| Event type | Conference + |
| Has coordinates | 40° 11' 26", 116° 24' 44"Latitude: 40.190633333333 Longitude: 116.41214444444 + |
| Has location city | Beijing + |
| Has location country | Category:China + |
| Homepage | http://ismm12.cs.purdue.edu/ + |
| IsA | Event + |
| Start date | June 15, 2012 + |
| Subevent of | ACM PLDI 2012 + |
| Submission deadline | February 2, 2012 + |
| Title | International Symposium on Memory Management + |