Fast static analysis of C++ virtual function calls

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Fast static analysis of C++ virtual function calls

Full text

Pdf (2.10 MB)

Source

Conference on Object Oriented Programming Systems Languages and Applications archive
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications table of contents

San Jose, California, United States

Pages: 324 - 341

Year of Publication: 1996

ISBN:0-89791-788-X

Also published in ...

Authors

David F. Bacon	IBM Watson Research Center, P.O. Box 704, Yorktown Heights, NY
Peter F. Sweeney	IBM Watson Research Center, P.O. Box 704, Yorktown Heights, NY

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 14, Downloads (12 Months): 118, Citation Count: 111

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/236337.236371 What is a DOI?

ABSTRACT

Virtual functions make code easier for programmers to reuse but also make it harder for compilers to analyze. We investigate the ability of three static analysis algorithms to improve C++ programs by resolving virtual function calls, thereby reducing compiled code size and reducing program complexity so as to improve both human and automated program understanding and analysis. In measurements of seven programs of significant size (5000 to 20000 lines of code each) we found that on average the most precise of the three algorithms resolved 71% of the virtual function calls and reduced compiled code size by 25%. This algorithm is very fast: it analyzes 3300 source lines per second on an 80 MHz PowerPC 601. Because of its accuracy and speed, this algorithm is an excellent candidate for inclusion in production C++ compilers.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	AGESEN, O. Constraint-based type inference and parametric polymorphism. In Proceedings of the First International Static Analysis Symposium (Namur, Belgium, Sept. 1994), B. Le Charlier, Ed., Springer-Verlag, pp. 78-100.
	2	Ole Agesen , Urs Hölzle, Type feedback vs. concrete type inference: a comparison of optimization techniques for object-oriented languages, Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, p.91-107, October 15-19, 1995, Austin, Texas, United States
	3	Gerald Aigner , Urs Hölzle, Eliminating Virtual Function Calls in C++ Programs, Proceedings of the 10th European Conference on Object-Oriented Programming, p.142-166, July 08-12, 1996
	4	BACON, D. F., WEGMAN, M., AND ZADECK, K. Rapid type analysis for C++. Tech. Rep. RC number pending, IBM Thomas J. Watson Research Center, 1996.
	5	Michael G. Burke , Paul R. Carini , Jong-Deok Choi , Michael Hind, Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers, Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing, p.234-250, August 08-10, 1994
	6	Brad Calder , Dirk Grunwald, Reducing indirect function call overhead in C++ programs, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.397-408, January 16-19, 1994, Portland, Oregon, United States [doi>10.1145/174675.177973]
	7	CARINI, P., HIND, M., AND SRINIVASAN, H. Type analysis algorithm for C++. Tech. Rep. RC 20267, IBM Thomas J. Watson Research Center, 1995.
	8	Craig Chambers , David Ungar, Iterative type analysis and extended message splitting: optimizing dynamically-typed object-oriented programs, Lisp and Symbolic Computation, v.4 n.3, p.283-310, July 1991 [doi>10.1007/BF01806109]
	9	Craig Chambers , David Ungar , Elgin Lee, An efficient implementation of SELF, a dynamically-typed object-oriented language based on prototypes, Lisp and Symbolic Computation, v.4 n.3, p.243-281, July 1991 [doi>10.1007/BF01806108]
	10	Jong-Deok Choi , Michael Burke , Paul Carini, Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.232-245, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158639]
	11	Jeffrey Dean , David Grove , Craig Chambers, Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis, Proceedings of the 9th European Conference on Object-Oriented Programming, p.77-101, August 07-11, 1995
	12	Amer Diwan , J. Eliot B. Moss , Kathryn S. McKinley, Simple and effective analysis of statically-typed object-oriented programs, Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.292-305, October 06-10, 1996, San Jose, California, United States
	13	Mary F. Fernández, Simple and effective link-time optimization of Modula-3 programs, Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, p.103-115, June 18-21, 1995, La Jolla, California, United States
	14	Urs Hölzle , Craig Chambers , David Ungar, Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches, Proceedings of the European Conference on Object-Oriented Programming, p.21-38, July 15-19, 1991
	15	William Landi , Barbara G. Ryder , Sean Zhang, Interprocedural modification side effect analysis with pointer aliasing, Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, p.56-67, June 21-25, 1993, Albuquerque, New Mexico, United States
	16	LEE, Y., AND SERRANO, M. J. Dynamic measurements of C++ program characteristics. Tech. Rep. ADTI-1995-001, IBM Santa Teresa Laboratory, Jan. 1995.
	17	Nicholas Oxhøj , Jens Palsberg , Michael I. Schwartzbach, Making Type Inference Practical, Proceedings of the European Conference on Object-Oriented Programming, p.329-349, June 29-July 03, 1992
	18	PANDE, H. D., AND RYDER, B. G. Static type determination for C++. In Proceedings of the Sixth Useniz C-t-+ Technical Conference (Apr. 1994), pp. 85-97.
	19	Hemant D. Pande , Barbara G. Ryder, Data-Flow-Based Virtual Function Resolution, Proceedings of the Third International Symposium on Static Analysis, p.238-254, September 24-26, 1996
	20	John Plevyak , Andrew A. Chien, Precise concrete type inference for object-oriented languages, Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, p.324-340, October 23-28, 1994, Portland, Oregon, United States
	21	PORAT, S., BERNSTEIN, D., FEDOROV, Y., AND RODRIGUE, J. Compiler optimizations of C+~ virtual function calls. In Proceedings of the Second Conference on Object-Oriented Technologies and Systems (Toronto, Canada, June 1996), Usenix Association, pp. 3-14.
	22	Amitabh Srivastava, Unreachable procedures in object-oriented programming, ACM Letters on Programming Languages and Systems (LOPLAS), v.1 n.4, p.355-364, Dec. 1992 [doi>10.1145/161494.161517]
	23	Frank Tip , Jong-Deok Choi , John Field , G. Ramalingam, Slicing class hierarchies in C++, Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.179-197, October 06-10, 1996, San Jose, California, United States
	24	David Ungar , Randall B. Smith , Craig Chambers , Urs Hölzle, Object, Message, and Performance: How they Coexist in Self, Computer, v.25 n.10, p.53-64, October 1992 [doi>10.1109/2.161280]

CITED BY 111

	Ayal Zaks , Vitaly Feldman , Nava Aizikowitz, Sealed calls in Java packages, ACM SIGPLAN Notices, v.35 n.10, p.83-92, Oct. 2000
	Amer Diwan , J. Eliot B. Moss , Kathryn S. McKinley, Simple and effective analysis of statically-typed object-oriented programs, ACM SIGPLAN Notices, v.31 n.10, p.292-305, Oct. 1996
	Michael Karasick, The architecture of Montana: an open and extensible programming environment with an incremental C++ compiler, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.131-142, Nov. 1998
	Ramkrishna Chatterjee , Barbara G. Ryder , William A. Landi, Relevant context inference, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.133-146, January 20-22, 1999, San Antonio, Texas, United States
	Vijay Sundaresan , Laurie Hendren , Chrislain Razafimahefa , Raja Vallée-Rai , Patrick Lam , Etienne Gagnon , Charles Godin, Practical virtual method call resolution for Java, ACM SIGPLAN Notices, v.35 n.10, p.264-280, Oct. 2000
	Raja Vallée-Rai , Phong Co , Etienne Gagnon , Laurie Hendren , Patrick Lam , Vijay Sundaresan, Soot - a Java bytecode optimization framework, Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, p.13, November 08-11, 1999, Mississauga, Ontario, Canada
	Mary Jean Harrold , James A. Jones , Tongyu Li , Donglin Liang , Alessandro Orso , Maikel Pennings , Saurabh Sinha , S. Alexander Spoon , Ashish Gujarathi, Regression test selection for Java software, ACM SIGPLAN Notices, v.36 n.11, p.312-326, 11/01/2001
	Jongwook Woo , Isabelle Attali , Denis Caromel , Jean-Luc Gaudiot , Andrew L. Wendelborn, Alias analysis on type inference for class hierarchy in Java, Australian Computer Science Communications, v.23 n.1, p.206-214, January-February 2001
	Jeffrey Dean , Greg DeFouw , David Grove , Vassily Litvinov , Craig Chambers, Vortex: an optimizing compiler for object-oriented languages, ACM SIGPLAN Notices, v.31 n.10, p.83-100, Oct. 1996
	Frank Tip , Chris Laffra , Peter F. Sweeney , David Streeter, Practical experience with an application extractor for Java, ACM SIGPLAN Notices, v.34 n.10, p.292-305, Oct. 1999
	Peter F. Sweeney , Frank Tip, Extracting library-based object-oriented applications, ACM SIGSOFT Software Engineering Notes, v.25 n.6, p.98-107, Nov. 2000
	Amer Diwan , Kathryn S. McKinley , J. Eliot B. Moss, Using types to analyze and optimize object-oriented programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.1, p.30-72, Jan. 2001
	Byeong-Mo Chang, Managing the granularity of constraint-based analyses by rule transformation, Information Processing Letters, v.83 n.2, p.79-88, 31 July 2002
	Kazuaki Ishizaki , Motohiro Kawahito , Toshiaki Yasue , Hideaki Komatsu , Toshio Nakatani, A study of devirtualization techniques for a Java Just-In-Time compiler, ACM SIGPLAN Notices, v.35 n.10, p.294-310, Oct. 2000
	Alexandre Lenart , Christopher Sadler , Sandeep K. S. Gupta, SSA-based flow-sensitive type analysis: combining constant and type propagation, Proceedings of the 2000 ACM symposium on Applied computing, p.813-817, March 2000, Como, Italy
	Gregor Snelting , Frank Tip, Understanding class hierarchies using concept analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.3, p.540-582, May 2000
	Peter F. Sweeney , Frank Tip, A study of dead data members in C++ applications, ACM SIGPLAN Notices, v.33 n.5, p.324-332, May 1998
	Frank Tip , Jens Palsberg, Scalable propagation-based call graph construction algorithms, ACM SIGPLAN Notices, v.35 n.10, p.281-293, Oct. 2000
	Derek Rayside , Gerard T. Campbell, An Aristotelian understanding of object-oriented programming, ACM SIGPLAN Notices, v.35 n.10, p.337-353, Oct. 2000
	Olivier Zendra , Dominique Colnet , Suzanne Collin, Efficient dynamic dispatch without virtual function tables: the SmallEiffel compiler, ACM SIGPLAN Notices, v.32 n.10, p.125-141, Oct. 1997
	Yefim Shuf , Manish Gupta , Rajesh Bordawekar , Jaswinder Pal Singh, Exploiting prolific types for memory management and optimizations, ACM SIGPLAN Notices, v.37 n.1, p.295-306, Jan. 2002
	Igor Pechtchanski , Vivek Sarkar, Dynamic optimistic interprocedural analysis: a framework and an application, ACM SIGPLAN Notices, v.36 n.11, p.195-210, 11/01/2001
	Larry Koved , Marco Pistoia , Aaron Kershenbaum, Access rights analysis for Java, ACM SIGPLAN Notices, v.37 n.11, November 2002
	Frédéric Besson , Thomas de Grenier de Latour , Thomas Jensen, Secure calling contexts for stack inspection, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.76-87, October 06-08, 2002, Pittsburgh, PA, USA
	Ana Milanova , Atanas Rountev , Barbara G. Ryder, Parameterized object sensitivity for points-to and side-effect analyses for Java, ACM SIGSOFT Software Engineering Notes, v.27 n.4, July 2002
	Erik Ruf, Effective synchronization removal for Java, ACM SIGPLAN Notices, v.35 n.5, p.208-218, May 2000
	Frank Tip , Peter F. Sweeney, Class hierarchy specialization, ACM SIGPLAN Notices, v.32 n.10, p.271-285, Oct. 1997
	Amie L. Souter , Lori L. Pollock , Dixie Hisley, Inter-class def-use analysis with partial class representations, ACM SIGSOFT Software Engineering Notes, v.24 n.5, p.47-56, Sept. 1999
	David Grove , Greg DeFouw , Jeffrey Dean , Craig Chambers, Call graph construction in object-oriented languages, ACM SIGPLAN Notices, v.32 n.10, p.108-124, Oct. 1997
	Jens Palsberg, Type-based analysis and applications, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.20-27, June 2001, Snowbird, Utah, United States
	Donglin Liang , Maikel Pennings , Mary Jean Harrold, Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.73-79, June 2001, Snowbird, Utah, United States
	Fausto Spoto , Thomas Jensen, Class analyses as abstract interpretations of trace semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.5, p.578-630, September 2003
	Atanas Rountev , Ana Milanova , Barbara G. Ryder, Fragment class analysis for testing of polymorphism in Java software, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	Frank Tip , Peter F. Sweeney , Chris Laffra, Extracting library-based Java applications, Communications of the ACM, v.46 n.8, August 2003
	Sara Porat , Bilha Mendelson , Irina Shapira, Sharpening global static analysis to cope with Java, Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research, p.19, November 30-December 03, 1998, Toronto, Ontario, Canada
	Byeong-Mo Chang , Jangwu Jo, Granularity of constraint-based analysis for Java, Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.94-102, September 05-07, 2001, Florence, Italy
	Derek Rayside , Martin Litoiu , Margaret-Anne Storey , Casey Best, Integrating SHriMP with the IBM websphere studio workbench, Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research, p.14, November 05-07, 2001, Toronto, Ontario, Canada
	Ben L. Titzer, Virgil: objects on the head of a pin, ACM SIGPLAN Notices, v.41 n.10, October 2006
	Derek Rayside , Kostas Kontogiannis, Extracting Java library subsets for deployment on embedded systems, Science of Computer Programming, v.45 n.2-3, p.245-270, November 2002
	Peter F. Sweeney , Michael Burke, Quantifying and evaluating the space overhead for alternative C++ memory layouts, Software—Practice & Experience, v.33 n.7, p.595-636, June 2003
	Derek Rayside , Evan Mamas , Erik Hons, Compact Java binaries for embedded systems, Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, p.9, November 08-11, 1999, Mississauga, Ontario, Canada
	Eric Bodden, A high-level view of Java applications, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 26-30, 2003, Anaheim, CA, USA
	Atanas Rountev , Scott Kagan , Michael Gibas, Static and dynamic analysis of call chains in java, ACM SIGSOFT Software Engineering Notes, v.29 n.4, July 2004
	Phung Hua Nguyen , Jingling Xue, Strength reduction for loop-invariant types, Proceedings of the 27th Australasian conference on Computer science, p.213-222, January 01, 2004, Dunedin, New Zealand
	Vugranam C. Sreedhar , Michael Burke , Jong-Deok Choi, A framework for interprocedural optimization in the presence of dynamic class loading, ACM SIGPLAN Notices, v.35 n.5, p.196-207, May 2000
	Atanas Rountev , Ana Milanova , Barbara G. Ryder, Points-to analysis for Java using annotated constraints, ACM SIGPLAN Notices, v.36 n.11, p.43-55, 11/01/2001
	Frank Tip , Jong-Deok Choi , John Field , G. Ramalingam, Slicing class hierarchies in C++, ACM SIGPLAN Notices, v.31 n.10, p.179-197, Oct. 1996
	Amie L. Souter , Lori L. Pollock, The Construction of Contextual Def-Use Associations for Object-Oriented Systems, IEEE Transactions on Software Engineering, v.29 n.11, p.1005-1018, November 2003
	Frank Tip , Peter F. Sweeney , Chris Laffra , Aldo Eisma , David Streeter, Practical extraction techniques for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.6, p.625-666, November 2002
	Todd Millstein , Mark Reay , Craig Chambers, Relaxed MultiJava: balancing extensibility and modular typechecking, ACM SIGPLAN Notices, v.38 n.11, November 2003
	John Whaley, Joeq: a virtual machine and compiler infrastructure, Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators, p.58-66, June 12-12, 2003, San Diego, California
	Greg DeFouw , David Grove , Craig Chambers, Fast interprocedural class analysis, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.222-236, January 19-21, 1998, San Diego, California, United States
	Amie L. Souter , Lori L. Pollock, OMEN: A strategy for testing object-oriented software, ACM SIGSOFT Software Engineering Notes, v.25 n.5, p.49-59, Sept. 2000
	Chen Fu , Ana Milanova , Barbara Gershon Ryder , David G. Wonnacott, Robustness Testing of Java Server Applications, IEEE Transactions on Software Engineering, v.31 n.4, p.292-311, April 2005
	Chen Fu , Barbara G. Ryder , Ana Milanova , David Wonnacott, Testing of java web services for robustness, ACM SIGSOFT Software Engineering Notes, v.29 n.4, July 2004
	David Grove , Craig Chambers, A framework for call graph construction algorithms, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.6, p.685-746, November 2001
	Mirko Streckenbach , Gregor Snelting, Refactoring class hierarchies with KABA, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Adrian Birka , Michael D. Ernst, A practical type system and language for reference immutability, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Neal Glew , Jens Palsberg, Type-safe method inlining, Science of Computer Programming, v.52 n.1-3, p.281-306, August 2004
	Ana Milanova , Atanas Rountev , Barbara G. Ryder, Parameterized object sensitivity for points-to analysis for Java, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.1, p.1-41, January 2005
	Cliff Click , John Rose, Fast subtype checking in the HotSpot JVM, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.96-107, November 03-05, 2002, Seattle, Washington, USA
	Ramkrishna Chatterjee , Barbara G. Ryder , William A. Landi, Complexity of Points-To Analysis of Java in the Presence of Exceptions, IEEE Transactions on Software Engineering, v.27 n.6, p.481-512, June 2001
	Fragment Class Analysis for Testing of Polymorphism in Java Software, IEEE Transactions on Software Engineering, v.30 n.6, p.372-387, June 2004
	Jongwook Woo , Jean-Luc Gaudiot , Andrew L. Wendelborn, Alias analysis in Java with reference-set representation for high-performance computing, International Journal of Parallel Programming, v.32 n.1, p.39-76, February 2004
	Mariana Sharp , Jason Sawin , Atanas Rountev, Building a whole-program type analysis in Eclipse, Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange, p.6-10, October 16-17, 2005, San Diego, California
	T. Suganuma , T. Ogasawara , K. Kawachiya , M. Takeuchi , K. Ishizaki , A. Koseki , T. Inagaki , T. Yasue , M. Kawahito , T. Onodera , H. Komatsu , T. Nakatani, Evolution of a java just-in-time compiler for IA-32 platforms, IBM Journal of Research and Development, v.48 n.5/6, p.767-795, September/November 2004
	Derek Rayside , Lucy Mendel , Robert Seater , Daniel Jackson, An analysis and visualization for revealing object sharing, Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange, p.11-15, October 16-17, 2005, San Diego, California
	Pavel Avgustinov , Aske Simon Christensen , Laurie Hendren , Sascha Kuzins , Jennifer Lhoták , Ondřej Lhoták , Oege de Moor , Damien Sereni , Ganesh Sittampalam , Julian Tibble, Optimising aspectJ, ACM SIGPLAN Notices, v.40 n.6, June 2005
	Yanhong A. Liu , Scott D. Stoller , Michael Gorbovitski , Tom Rothamel , Yanni Ellen Liu, Incrementalization across object abstraction, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Alan Donovan , Adam Kiežun , Matthew S. Tschantz , Michael D. Ernst, Converting java programs to use generic libraries, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Manu Sridharan , Denis Gopan , Lexin Shan , Rastislav Bodík, Demand-driven points-to analysis for Java, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Chen Fu , Barbara G. Ryder, Navigating error recovery code in Java applications, Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange, p.40-44, October 16-17, 2005, San Diego, California
	C. Scott Ananian , Martin Rinard, Data size optimizations for java programs, ACM SIGPLAN Notices, v.38 n.7, July 2003
	Saurabh Sinha , Mary Jean Harrold, Analysis and Testing of Programs with Exception Handling Constructs, IEEE Transactions on Software Engineering, v.26 n.9, p.849-871, September 2000
	Lorenzo Bettini , Sara Capecchi , Betti Venneri, Double dispatch in C++, Software—Practice & Experience, v.36 n.6, p.581-613, May 2006
	Derek Rayside , Lucy Mendel , Daniel Jackson, A dynamic analysis for revealing object ownership and sharing, Proceedings of the 2006 international workshop on Dynamic systems analysis, May 23-23, 2006, Shanghai, China
	Roland Ducournau, Perfect hashing as an almost perfect subtype test, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.6, p.1-56, October 2008
	Dhruva R. Chakrabarti , Luis A. Lozano , Xinliang D. Li , Robert Hundt , Shin-Ming Liu, Scalable High Performance Cross-Module Inlining, Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques, p.165-176, September 29-October 03, 2004
	Christian Hammer , Rüdiger Schaade , Gregor Snelting, Static path conditions for Java, Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security, June 07-13, 2008, Tucson, AZ, USA
	Tomoyuki Aotani , Hidehiko Masuhara, SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada
	John Whaley, Joeq: a virtual machine and compiler infrastructure, Science of Computer Programming, v.57 n.3, p.339-356, September 2005
	Manu Sridharan , Rastislav Bodík, Refinement-based context-sensitive points-to analysis for Java, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Jason Sawin , Mariana Sharp , Atanas Rountev, Generating run-time progress reports for a points-to analysis in Eclipse, Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange, p.40-44, October 22-23, 2006, Portland, Oregon
	Yin Liu , Ana Milanova, Static analysis for dynamic coupling measures, Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research, October 16-19, 2006, Toronto, Ontario, Canada
	Cormac Flanagan , Stephen N. Freund, Type inference against races, Science of Computer Programming, v.64 n.1, p.140-165, January, 2007
	Rajeev Kumar , Soham S. Chakraborty, Precise static type analysis for object oriented programs, ACM SIGPLAN Notices, v.42 n.2, p.17-26, February 2007
	Olivier Zendra , Karel Driesen, Stress-testing Control Structures for Dynamic Dispatch in Java, Proceedings of the 2nd Java™ Virtual Machine Research and Technology Symposium, p.105-118, August 01-02, 2002
	Feng Qian , Laurie Hendren, Towards dynamic interprocedural analysis in JVMs, Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium, p.11-11, May 06-07, 2004, San Jose, California
	Martin Hirzel , Daniel Von Dincklage , Amer Diwan , Michael Hind, Fast online pointer analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.2, p.11-es, April 2007
	Jesper H. Spring , Jean Privat , Rachid Guerraoui , Jan Vitek, Streamflex: high-throughput stream programming in java, ACM SIGPLAN Notices, v.42 n.10, October 2007
	Patricia M. Hill , Fausto Spoto, Deriving escape analysis by abstract interpretation, Higher-Order and Symbolic Computation, v.19 n.4, p.415-463, December 2006
	Ben L. Titzer , Joshua Auerbach , David F. Bacon , Jens Palsberg, The ExoVM system for automatic VM and application reduction, ACM SIGPLAN Notices, v.42 n.6, June 2007
	Joshua Auerbach , David F. Bacon , Daniel T. Iercan , Christoph M. Kirsch , V. T. Rajan , Harald Roeck , Rainer Trummer, Java takes flight: time-portable real-time programming with exotasks, ACM SIGPLAN Notices, v.42 n.7, July 2007
	Sai Zhang , Zhongxian Gu , Yu Lin , Jianjun Zhao, Celadon: a change impact analysis tool for aspect-oriented programs, Companion of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	Marco Pistoia , Stephen J. Fink , Robert J. Flynn , Eran Yahav, When Role Models Have Flaws: Static Validation of Enterprise Security Policies, Proceedings of the 29th International Conference on Software Engineering, p.478-488, May 20-26, 2007
	Chen Fu , Barbara G. Ryder, Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications, Proceedings of the 29th International Conference on Software Engineering, p.230-239, May 20-26, 2007
	Dhruva R. Chakrabarti , Shin-Ming Liu, Inline Analysis: Beyond Selection Heuristics, Proceedings of the International Symposium on Code Generation and Optimization, p.221-232, March 26-29, 2006
	Frédéric Besson , Thomas De Grenier DeLatour , Thomas Jensen, Interfaces for stack inspection, Journal of Functional Programming, v.15 n.2, p.179-217, March 2005
	Ana Milanova, Composition inference for UML class diagrams, Automated Software Engineering, v.14 n.2, p.179-213, June 2007
	Haifeng He , John Trimble , Somu Perianayagam , Saumya Debray , Gregory Andrews, Code Compaction of an Operating System Kernel, Proceedings of the International Symposium on Code Generation and Optimization, p.283-298, March 11-14, 2007
	Guoqing Xu , Atanas Rountev, Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis, Proceedings of the 2008 international symposium on Software testing and analysis, July 20-24, 2008, Seattle, WA, USA
	Joshua Auerbach , David F. Bacon , Rachid Guerraoui , Jesper Honig Spring , Jan Vitek, Flexible task graphs: a unified restricted thread programming model for java, ACM SIGPLAN Notices, v.43 n.7, July 2008
	Annie T. T. Ying , Peri L. Tarr, Filtering out methods you wish you hadn't navigated, Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, p.11-15, October 21-21, 2007, Montreal, Quebec, Canada
	A. M. Cheadle , A. J. Field , J. Nystrom-Persson, A method specialisation and virtualised execution environment for Java, Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, March 05-07, 2008, Seattle, WA, USA
	Mario Méndez , Jorge Navas , Manuel V. Hermenegildo, An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode, Electronic Notes in Theoretical Computer Science (ENTCS), v.190 n.1, p.51-66, July, 2007
	Shay Artzi , Adam Kiezun , David Glasser , Michael D. Ernst, Combined static and dynamic mutability analysis, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA
	Ondřej Lhoták , Laurie Hendren, Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation, ACM Transactions on Software Engineering and Methodology (TOSEM), v.18 n.1, p.1-53, September 2008
	Shay Artzi , Adam Kieżun , Jaime Quinonez , Michael D. Ernst, Parameter reference immutability: formal definition, inference tool, and comparison, Automated Software Engineering, v.16 n.1, p.145-192, March 2009
	Neha Rungta , Eric G. Mercer, Guided model checking for programs with polymorphism, Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, January 19-20, 2009, Savannah, GA, USA
	Eva Magnusson , Torbjörn Ekman , Görel Hedin, Demand-driven evaluation of collection attributes, Automated Software Engineering, v.16 n.2, p.291-322, June 2009
	Jason Sawin , Atanas Rountev, Improving static resolution of dynamic class loading in Java using dynamically gathered environment information, Automated Software Engineering, v.16 n.2, p.357-381, June 2009