Sigmund (Siggi) Cherem siggi [ -at- ] cs [ -dot- ] cornell [ -period- ] edu

General interests

I have interests in programming languages, static analysis, and compiler construction. I have worked on the design, implementation, and use of program analyses for program understanding, verification, and transformation. I am particularly excited about applications of compiler-based techniques in improving programmers experience with respect to memory management and concurrency.

My projects' webpages (downloads available)

• Jreg and Jfree: Compile-time Memory Management compiler for Java.
• Fastcheck: Memory leak error-detection tool for C.

Recent research publications (see full list)

• 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)

• 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)