Automatic Removal of Array Memory Leaks in Java. - Ran Shaham; Elliot K. Kolodner; Shmuel Sagiv (CC, 2000)

On the Effectiveness of GC in Java. - Ran Shaham; Elliot K. Kolodner; Shmuel Sagiv (ISMM, 2000)

Heap Profiling for Space-Efficient Java. - Ran Shaham; Elliot K. Kolodner; Shmuel Sagiv (PLDI, 2001)

Estimating the impact of heap liveness information on space consumption in Java. - Ran Shaham; Elliot K. Kolodner; Shmuel Sagiv (MSP/ISMM, 2002)

Heap-liveness-based memory management : potential, tools, and algorithms - Ran Shaham (2003)

Optimizing C Multithreaded Memory Management Using Thread-Local Storage. - Yair Sade; Shmuel Sagiv; Ran Shaham (CC, 2005)

Establishing local temporal heap safety properties with applications to compile-time memory management. - Ran Shaham; Eran Yahav; Elliot K. Kolodner; Mooly Sagiv (Sci. Comput. Program., 2005)

Cache-conscious coallocation of hot data streams. - Trishul M. Chilimbi; Ran Shaham (PLDI, 2006)

Combining Shape Analyses by Intersecting Abstractions. - Gilad Arnold; Roman Manevich; Mooly Sagiv; Ran Shaham (VMCAI, 2006)

Controlled acoustic levitation - physical model and real-time digital implementation. - Izhak Bucher; Dotan Ilssar; Ran Gabai; Nadav Cohen; Ran Shaham; Solomon Davis (AIM, 2016)