Sigmund Cherem

According to our database, Sigmund Cherem authored at least 9 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Compiler Support for Memory Management with Explicit Memory Reclamation.

Sigmund Cherem

PhD thesis, 2008

Inferring locks for atomic sections.

Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

2007

Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.

Sigmund Cherem, Radu Rugina

Proceedings of the Verification, 2007

Practical memory leak detection using guarded value-flow analysis.

Sigmund Cherem, Lonnie Princehouse, Radu Rugina

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Uniqueness inference for compile-time object deallocation.

Sigmund Cherem, Radu Rugina

Proceedings of the 6th International Symposium on Memory Management, 2007

A Practical Escape and Effect Analysis for Building Lightweight Method Summaries.

Sigmund Cherem, Radu Rugina

Proceedings of the Compiler Construction, 16th International Conference, 2007

2006

Compile-time deallocation of individual objects.

Sigmund Cherem, Radu Rugina

Proceedings of the 5th International Symposium on Memory Management, 2006

2005

A Verifier for Region-Annotated Java Bytecodes.

Sigmund Cherem, Radu Rugina

Proceedings of the First Workshop on Bytecode Semantics, 2005

2004

Region analysis and transformation for Java programs.

Sigmund Cherem, Radu Rugina

Proceedings of the 4th International Symposium on Memory Management, 2004