| 2008 |
|---|
| 8 | EE | Sigmund Cherem,
Trishul M. Chilimbi,
Sumit Gulwani:
Inferring locks for atomic sections.
PLDI 2008: 304-315 |
| 2007 |
|---|
| 7 | EE | Sigmund Cherem,
Radu Rugina:
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries.
CC 2007: 172-186 |
| 6 | EE | Sigmund Cherem,
Radu Rugina:
Uniqueness inference for compile-time object deallocation.
ISMM 2007: 117-128 |
| 5 | EE | Sigmund Cherem,
Lonnie Princehouse,
Radu Rugina:
Practical memory leak detection using guarded value-flow analysis.
PLDI 2007: 480-491 |
| 4 | EE | Sigmund Cherem,
Radu Rugina:
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.
VMCAI 2007: 234-250 |
| 2006 |
|---|
| 3 | EE | Sigmund Cherem,
Radu Rugina:
Compile-time deallocation of individual objects.
ISMM 2006: 138-149 |
| 2005 |
|---|
| 2 | EE | Sigmund Cherem,
Radu Rugina:
A Verifier for Region-Annotated Java Bytecodes.
Electr. Notes Theor. Comput. Sci. 141(1): 183-201 (2005) |
| 2004 |
|---|
| 1 | EE | Sigmund Cherem,
Radu Rugina:
Region analysis and transformation for Java programs.
ISMM 2004: 85-96 |
