Can a Shape Analysis Work at Run-time?
Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, 2001
Detecting Read-Only Methods in Java.
Proceedings of the Languages, 2000
Removing Unnecessary Synchronization in Java.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999
The KLYDE workbench for studying experimental algorithm analysis.
Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994