Ran Shaham

According to our database, Ran Shaham authored at least 10 papers between 2000 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Controlled acoustic levitation - physical model and real-time digital implementation.

Izhak Bucher, Dotan Ilssar, Ran Gabai, Nadav Cohen, Ran Shaham, Solomon Davis

Proceedings of the IEEE International Conference on Advanced Intelligent Mechatronics, 2016

2006

Combining Shape Analyses by Intersecting Abstractions.

Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham

Proceedings of the Verification, 2006

Cache-conscious coallocation of hot data streams.

Trishul M. Chilimbi, Ran Shaham

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

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

Optimizing C Multithreaded Memory Management Using Thread-Local Storage.

Yair Sade, Shmuel Sagiv, Ran Shaham

Proceedings of the Compiler Construction, 14th International Conference, 2005

2003

Heap-liveness-based memory management : potential, tools, and algorithms

Ran Shaham

PhD thesis, 2003

2002

Estimating the impact of heap liveness information on space consumption in Java.

Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv

Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

2001

Heap Profiling for Space-Efficient Java.

Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

2000

On the Effectiveness of GC in Java.

Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv

Proceedings of the ISMM 2000, 2000

Automatic Removal of Array Memory Leaks in Java.

Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv

Proceedings of the Compiler Construction, 9th International Conference, 2000