Compile-Time Garbage Collection for Lazy Functional Languages

Garbage collection and local variable type-precision and liveness in Java virtual machines

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation

Heap profiling for space-efficient Java

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation

Establishing local temporal heap safety properties with applications to compile-time memory management

Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)

Establishing local temporal heap safety properties with applications to compile-time memory management

SAS'03 Proceedings of the 10th international conference on Static analysis