| |
| 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 |
| 1 | Lonnie Princehouse | [5] |
| 2 | Radu Rugina | [1] [2] [3] [4] [5] [6] [7] |