Ran Shaham

Teaching

Publications

  1. Trishul M. Chilimbi and Ran Shaham, Cache-Conscious Coallocation of Hot Data Streams. Programming Language Design and Implementation (PLDI '06).
  2. G. Arnold, R. Manevich, M. Sagiv and R. Shaham, Combining Shape Analyses by Intersecting Abstractions. Verification, Model Checking, and Abstract Interpretation, 7th International Conference (VMCAI ’06).
  3. Yair Sade, Mooly Sagiv, and Ran Shaham, Optimizing C Multithreaded Memory Management Using Thread-Local Storage, International Conference on Compiler Construction (CC '05)  Edinburgh, Scotland, April 2005.
  4. Ran Shaham, Eran Yahav, Elliot K. Kolodner, and Mooly Sagiv, Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. Science of Computer Programming Journal, Volume 58, 2005.
  5. Ran Shaham, Eran Yahav, Elliot K. Kolodner, and Mooly Sagiv, Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. The 10th Annual International Static Analysis Symposium (SAS '03) San Diego, California, USA, June 2003.
  6. 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.
  7. 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.
  8. 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.
  9. 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.