Author of the publication

Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management.

, , , and . SAS, volume 2694 of Lecture Notes in Computer Science, page 483-503. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Limitations on Database Availability when Networks Partition., , and . PODC, page 187-194. ACM, (1986)Automatic Removal of Array Memory Leaks in Java., , and . CC, volume 1781 of Lecture Notes in Computer Science, page 50-66. Springer, (2000)On the Effectiveness of GC in Java., , and . ISMM, page 12-17. ACM, (2000)Thread-local heaps for Java., , , , , and . MSP/ISMM, page 183-194. ACM, (2002)Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap., and . SIGMOD Conference, page 177-186. ACM Press, (1993)A generational on-the-fly garbage collector for Java., , and . PLDI, page 274-284. ACM, (2000)OPTIMIS and VISION Cloud: How to Manage Data in Clouds., , , , and . Euro-Par Workshops (1), volume 7155 of Lecture Notes in Computer Science, page 35-44. Springer, (2011)DeCorus-NSA: detection and correlation of unusual signals for network syslog analytics., , , , , , , and . SYSTOR, page 21:1. ACM, (2021)Stocator: Providing High Performance and Fault Tolerance for Apache Spark Over Object Storage., , , , , and . CCGrid, page 462-471. IEEE Computer Society, (2018)AIOps for a Cloud Object Storage Service., , , , , , and . BigData Congress, page 165-169. IEEE, (2019)