Region analysis and transformation for Java programs. - Sigmund Cherem; Radu Rugina (ISMM, 2004)

A Verifier for Region-Annotated Java Bytecodes. - Sigmund Cherem; Radu Rugina (Bytecode@ETAPS, 2005)

Compile-time deallocation of individual objects. - Sigmund Cherem; Radu Rugina (ISMM, 2006)

A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. - Sigmund Cherem; Radu Rugina (CC, 2007)

Uniqueness inference for compile-time object deallocation. - Sigmund Cherem; Radu Rugina (ISMM, 2007)

Practical memory leak detection using guarded value-flow analysis. - Sigmund Cherem; Lonnie Princehouse; Radu Rugina (PLDI, 2007)

Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning. - Sigmund Cherem; Radu Rugina (VMCAI, 2007)

Inferring locks for atomic sections. - Sigmund Cherem; Trishul M. Chilimbi; Sumit Gulwani (PLDI, 2008)

Compiler Support for Memory Management with Explicit Memory Reclamation. - Sigmund Cherem (2008)