Jeff Bogda Ambuj K. Singh Can a Shape Analysis Work at Run-time? 2001 conf/jvm/2001 Java™ Virtual Machine Research and Technology Symposium http://www.usenix.org/publications/library/proceedings/jvm01/bogda.html db/conf/jvm/jvm2001.html#BogdaS01