Difference between revisions of "ISMM 2012"

From Openresearch
Jump to: navigation, search
 
(2 intermediate revisions by the same user not shown)
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 32: Line 33:
  
 
General Chair:
 
General Chair:
         Martin Vechev IBM T.J. Watson Research Center
+
         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
+
         Kathryn McKinley       The University of Texas at Austin and Microsoft Research
 
Program Committee:
 
Program Committee:
         Steve Blackburn Australian National University
+
         Steve Blackburn         Australian National University
         Dave Detlefs Microsoft
+
         Dave Detlefs           Microsoft
         Laurent Daynès Oracle Labs
+
         Laurent Daynès         Oracle Labs
         Chen Ding University of Rochester
+
         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
         Maria Jump King's College
+
         Maria Jump             King's College
         John Regehr University of Utah
+
         John Regehr             University of Utah
         Zhenlin Wang Michigan Technological University
+
         Zhenlin Wang           Michigan Technological University
         Christian Wimmer Oracle Labs
+
         Christian Wimmer       Oracle Labs
         Greta Yorsh ARM
+
         Greta Yorsh             ARM
         Qin Zhao MIT
+
         Qin Zhao               MIT
 
Extended Review Committee:
 
Extended Review Committee:
         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
+
         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
         Nick Nethercote Mozilla
+
         Nick Nethercote         Mozilla
         Tomas Petricek University of Cambridge
+
         Tomas Petricek         University of Cambridge
         Filip Pizlo Apple
+
         Filip Pizlo             Apple
         Xipeng Shen College of William and Mary
+
         Xipeng Shen             College of William and Mary
         Michael Spear Lehigh University
+
         Michael Spear           Lehigh University
         Witawas Srisa-an University of Nebraska
+
         Witawas Srisa-an       University of Nebraska
         Eran Yahav Technion
+
         Eran Yahav             Technion
 
Local Arrangements Chair:
 
Local Arrangements Chair:
         Chen Ding University of Rochester
+
         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


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"
AcronymISMM 2012 +
End dateJune 16, 2012 +
Event typeConference +
Has coordinates40° 11' 26", 116° 24' 44"Latitude: 40.190633333333
Longitude: 116.41214444444
+
Has location cityBeijing +
Has location countryCategory:China +
Homepagehttp://ismm12.cs.purdue.edu/ +
IsAEvent +
Start dateJune 15, 2012 +
Subevent ofACM PLDI 2012 +
Submission deadlineFebruary 2, 2012 +
TitleInternational Symposium on Memory Management +