Ran Shaham

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 1

Top Topics

Statistical Model

Probability Distribution

Neural Network Model

Top Venues

Publications

Izhak Bucher, Dotan Ilssar, Ran Gabai, Nadav Cohen, Ran Shaham, Solomon Davis
Controlled acoustic levitation - physical model and real-time digital implementation. AIM (2016)
Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham
Combining Shape Analyses by Intersecting Abstractions. VMCAI (2006)
Trishul M. Chilimbi, Ran Shaham
Cache-conscious coallocation of hot data streams. PLDI (2006)
Yair Sade, Shmuel Sagiv, Ran Shaham
Optimizing C Multithreaded Memory Management Using Thread-Local Storage. CC (2005)
Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv
Establishing local temporal heap safety properties with applications to compile-time memory management. Sci. Comput. Program. 58 (1-2) (2005)
Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. SAS (2003)
Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv
Estimating the impact of heap liveness information on space consumption in Java. MSP/ISMM (2002)
Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv
Heap Profiling for Space-Efficient Java. PLDI (2001)
Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv
Automatic Removal of Array Memory Leaks in Java. CC (2000)
Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv
On the Effectiveness of GC in Java. ISMM (2000)