Compiler Support for Memory Management with Explicit Memory Reclamation.
PhD thesis, 2008
Inferring locks for atomic sections.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.
Proceedings of the Verification, 2007
Practical memory leak detection using guarded value-flow analysis.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
Uniqueness inference for compile-time object deallocation.
Proceedings of the 6th International Symposium on Memory Management, 2007
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries.
Proceedings of the Compiler Construction, 16th International Conference, 2007
Compile-time deallocation of individual objects.
Proceedings of the 5th International Symposium on Memory Management, 2006
A Verifier for Region-Annotated Java Bytecodes.
Proceedings of the First Workshop on Bytecode Semantics, 2005
Region analysis and transformation for Java programs.
Proceedings of the 4th International Symposium on Memory Management, 2004