The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sigmund Cherem: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sigmund Cherem, Radu Rugina
    Region analysis and transformation for Java programs. [Citation Graph (0, 0)][DBLP]
    ISMM, 2004, pp:85-96 [Conf]
  2. Sigmund Cherem, Radu Rugina
    Compile-time deallocation of individual objects. [Citation Graph (0, 0)][DBLP]
    ISMM, 2006, pp:138-149 [Conf]
  3. 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]
  4. 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]
  5. Sigmund Cherem, Radu Rugina
    Uniqueness inference for compile-time object deallocation. [Citation Graph (0, 0)][DBLP]
    ISMM, 2007, pp:117-128 [Conf]
  6. 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]

  7. Inferring locks for atomic sections. [Citation Graph (, )][DBLP]


  8. Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002