Difference between revisions of "ISMM 2012"
(→Committees) |
|||
(10 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 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 + |