Ran Shaham (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 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): 264-289 (2005)

5 Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv: Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. SAS 2003: 483-503

4 Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv: Estimating the impact of heap liveness information on space consumption in Java. MSP/ISMM 2002: 171-182

3 Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv: Heap Profiling for Space-Efficient Java. PLDI 2001: 104-113

2 Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv: Automatic Removal of Array Memory Leaks in Java. CC 2000: 50-66

1 Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv: On the Effectiveness of GC in Java. ISMM 2000: 12-17

Selection of 6 from 9 records - Ran Shaham has 7 coauthors

6		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): 264-289 (2005)
5		Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv: Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. SAS 2003: 483-503
4		Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv: Estimating the impact of heap liveness information on space consumption in Java. MSP/ISMM 2002: 171-182
3		Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv: Heap Profiling for Space-Efficient Java. PLDI 2001: 104-113
2		Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv: Automatic Removal of Array Memory Leaks in Java. CC 2000: 50-66
1		Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv: On the Effectiveness of GC in Java. ISMM 2000: 12-17