СТ |
Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap |
1993 |
Kolodner E. K., Weihl W. E. |
|
|
|
SIGMOD Record |
10.09.1993 |
СТ |
Combining Card Marking with Remembered Sets: How to Save Scanning Time |
1999 |
Azagury A., Kolodner E. K., Petrank E., Yehudai Z. |
|
|
|
SIGPLAN Notices |
20.08.1999 |
СТ |
A Note on the Implementation of Replication-Based Garbage Collection for Multithreaded Applications and Multiprocessor Environment |
1999 |
Azagury A., Kolodner E. K., Petrank E. |
|
|
|
Parallel Processing Letters |
13.05.2000 |
СТ |
Automatic Removal of Array Memory Leaks in Java |
2000 |
Shaham R., Kolodner E. K., Sagiv M. |
|
|
|
Lecture Notes in Computer Science |
22.04.2000 |
СТ |
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management |
2003 |
Shaham R., Yahav E., Kolodner E. K., Sagiv M. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |