Ran Shaham

Publications

• Ran Shaham, Eran Yahav, Elliot K. Kolodner, and Mooly Sagiv, Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. To Appear in the Science of Computer Programming Journal.
  
  
• PhD Thesis
  
  
• Ran Shaham, Eran Yahav, Elliot K. Kolodner, and Mooly Sagiv, Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. The 10^th Annual International Static Analysis Symposium (SAS '03) San Diego, California, USA, June 2003.
  
  
• Ran Shaham, Elliot K. Kolodner, and Mooly Sagiv, Estimating the Impact of Heap Liveness Information on Space Consumption in Java. The 2002 International Symposium on Memory Management (ISMM '02) Berlin, Germany, June 2002.
  
  
• Ran Shaham, Elliot K. Kolodner, and Mooly Sagiv, Heap Profiling for Space-Efficient Java. Programming Languages Design and Implementation (PLDI '01) Snowbird, Utah, USA, June 2001.

• Ran Shaham, Elliot K. Kolodner, and Mooly Sagiv, On the Effectiveness of GC in Java. The 2000 International Symposium on Memory Management (ISMM '00) Minneapolis, Minnesota, USA, October 2000.

• Ran Shaham, Elliot K. Kolodner, and Mooly Sagiv, Automatic Removal of Array Memory Leaks in Java. International Conference on Compiler Construction (CC '00) Berlin, Germany, March-April 2000.

• Master's Thesis

Email:

Home phone: +972-3-5327574