Code Annotation for Safe and Efficient Dynamic Object Resolution (2003)


Download Links

by Andreas Hartmann , Wolfram Amme , Jeffery Von Ronne , Michael Franz
Citations:10 - 7 self

Active Bibliography

3 Efficient Online Optimization by Utilizing Offline Analysis and the SafeTSA Representation – Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz - 2002
15 Pointer Analysis and its Applications for Java Programs – Alexandru D. Salcianu - 2001
2 Making Mobile Code Both Safe and Efficient – Michael Franz, Wolfram Amme, Matthew Beers, Niall Dalton, Peter H. Fröhlich, Vivek Haldar, Andreas Hartmann, Peter S. Housel, Fermín Reig, Jeffery von Ronne, Christian H. Stork, Sergiy Zhenochin - 2003
A DYNAMIC APPLICATION ANALYSIS FRAMEWORK BY – Marie Therese Conte, Marie Therese Conte, Ph. D
100 Points-to Analysis for Java Using Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2001
20 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
82 Pointer analysis: Haven’t we solved this problem yet? – Michael Hind - 2001
1 Thread-sensitive points-to analysis for multithreaded Java programs – Byeong-mo Chang, Jong-deok Choi - 2004
36 Understanding the Connectivity of Heap Objects – Martin Hirzel, Johannes Henkel, Amer Diwan, Michael Hind - 2002
28 Stack allocation and synchronization optimizations for java using escape analysis – Jong-deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C, Samuel P. Midkiff - 2003
2 M.: Efficiently verifiable escape analysis – Matthew Q. Beers, Christian H. Stork, Michael Franz
27 Automated discovery of scoped memory regions for real-time Java – Morgan Deters - 2002
4 Tamper-Proof Annotations, by Construction – Michael Franz, Vivek Haldar, Chandra Krintz, Christian Stork - 2002
5 A Foundation of Escape Analysis – Patricia M. Hill, Fausto Spoto - 2002
4 A Refinement of the Escape Property – Patricia M. Hill, Fausto Spoto - 2002
3 M.: Reuse, Recycle to De-bloat Software – Suparna Bhattacharya, Mangala Gowri N, K Gopinath, Manish Gupta - 2011
Does Lean Imply Green? A Study of the Power Performance Implications of Java Runtime Bloat – Suparna Bhattacharya, Karthick Rajamani, Manish Gupta, K. Gopinath
40 Fast Escape Analysis and Stack Allocation for Object-Based Programs – David Gay, Bjarne Steensgaard - 2000
9 Safe Lazy Software Upgrades in Object-Oriented Databases – Barbara Liskov, Chuang-hue Moh, Steven Richman, Liuba Shrira, Yin Cheung, Chandrasekhar Boyapati - 2002