|
Search the dblp DataBase
Sigmund Cherem:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sigmund Cherem, Radu Rugina
Region analysis and transformation for Java programs. [Citation Graph (0, 0)][DBLP] ISMM, 2004, pp:85-96 [Conf]
- Sigmund Cherem, Radu Rugina
Compile-time deallocation of individual objects. [Citation Graph (0, 0)][DBLP] ISMM, 2006, pp:138-149 [Conf]
- Sigmund Cherem, Radu Rugina
A Verifier for Region-Annotated Java Bytecodes. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:141, n:1, pp:183-201 [Journal]
- Sigmund Cherem, Radu Rugina
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. [Citation Graph (0, 0)][DBLP] CC, 2007, pp:172-186 [Conf]
- Sigmund Cherem, Radu Rugina
Uniqueness inference for compile-time object deallocation. [Citation Graph (0, 0)][DBLP] ISMM, 2007, pp:117-128 [Conf]
- Sigmund Cherem, Lonnie Princehouse, Radu Rugina
Practical memory leak detection using guarded value-flow analysis. [Citation Graph (0, 0)][DBLP] PLDI, 2007, pp:480-491 [Conf]
Inferring locks for atomic sections. [Citation Graph (, )][DBLP]
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|