Sigmund Cherem's list of publications

Publications

• Inferring Locks for Atomic Sections.
  Sigmund Cherem, Trishul Chilimbi, and Sumit Gulwani.
  In Proceedings of the ACM Conference on Program Language Design and Implementation (PLDI 2008)., Tucson, Arizona, June 2008.
  (PDF) (Slides) (BibTeX)
  • Longer version with proofs (CCG:TR)

• Uniqueness Inference for Compile-Time Object Deallocation.
  Sigmund Cherem and Radu Rugina.
  In Proceedings of the 2007 International Symposium on Memory Management (ISMM 2007), Montreal, Quebec, Canada, October 2007.
  (PDF) (Slides) (BibTeX)

• Practical Memory Leak Detection using Guarded Value-Flow Analysis.
  Sigmund Cherem, Lonnie Princehouse, and Radu Rugina.
  In Proceedings of the ACM Conference on Program Language Design and Implementation (PLDI 2007), San Diego, CA, June 2007.
  (PDF) (Slides) (BibTeX)

• A Practical Escape and Effect Analysis for Building Lightweight Method Summaries.
  Sigmund Cherem and Radu Rugina.
  In 16th International Conference on Compiler Construction (CC 2007), Braga, Portugal, March 2007.
  (PDF) (Slides) (BibTeX)

• Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.
  Sigmund Cherem and Radu Rugina.
  In Verification, Model Checking, and Abstract Interpretation, 8th International Conference (VMCAI 2007), Nice, France, January 2007.
  (PDF) (Slides) (BibTeX)
  • Longer version with proofs (CR:TR06)

• Compile-Time Deallocation of Individual Objects.
  Sigmund Cherem and Radu Rugina.
  In Proceedings of the 2006 International Symposium on Memory Management (ISMM 2006), Ottawa, Ontario, Canada, June 2006.
  (PDF) (Slides) (BibTeX)

• A Verifier for Region-Annotated Bytecodes.
  Sigmund Cherem and Radu Rugina.
  In First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005), Edinburgh, Scotland, April 2005.
  (PDF) (Slides) (BibTeX)

• Region Analysis and Transformation for Java Programs.
  Sigmund Cherem and Radu Rugina.
  In Proceedings of the 2004 International Symposium on Memory Management (ISMM 2004), Vancouver, Canada, October 2004.
  (PDF) (Slides) (BibTeX)

Technical Reports

• Maintaining Structural Invariants in Shape Analysis with Local Reasoning.
  Sigmund Cherem and Radu Rugina.
  TR CS TR2006-2048, Cornell University, September 2006.
  (PDF) (BibTeX)

• Region Analysis for Imperative Programs.
  Radu Rugina and Sigmund Cherem.
  TR CS TR2003-1914, Cornell University, October 2003.
  (PDF) (BibTeX)