Sigmund Cherem

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani
Inferring locks for atomic sections. PLDI (2008)
Sigmund Cherem, Radu Rugina
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. CC (2007)
Sigmund Cherem, Radu Rugina
Uniqueness inference for compile-time object deallocation. ISMM (2007)
Sigmund Cherem, Radu Rugina
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning. VMCAI (2007)
Sigmund Cherem, Lonnie Princehouse, Radu Rugina
Practical memory leak detection using guarded value-flow analysis. PLDI (2007)
Sigmund Cherem, Radu Rugina
Compile-time deallocation of individual objects. ISMM (2006)
Sigmund Cherem, Radu Rugina
A Verifier for Region-Annotated Java Bytecodes. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Sigmund Cherem, Radu Rugina
Region analysis and transformation for Java programs. ISMM (2004)