Thread-sensitive points-to analysis for multithreaded Java programs (2004)

Cached

Download Links

by Byeong-mo Chang , Jong-deok Choi
Venue:In ISCIS’04: Proceedings of the 19th International Symposium on Computer and Information Sciences, volume 3280 of LNCS: Lecture Notes in Computer Science
Citations:1 - 0 self

Active Bibliography

27 Pointer analysis in the presence of dynamic class loading – Martin Hirzel, Amer Diwan, Michael Hind - 2004
13 CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS – John Whaley, Monica S. Lam - 2007
40 SPARK: A FLEXIBLE POINTS-TO ANALYSIS FRAMEWORK FOR JAVA – Ondrej Lhoták - 2002
40 Connectivity-Based Garbage Collection – Martin Hirzel, Amer Diwan, Matthew Hertz - 2003
8 Pointer Analysis for Structured Parallel Programs – Radu Rugina, Martin C. Rinard - 2003
228 Cloning-based context-sensitive pointer alias analysis using binary decision diagrams – John Whaley, Monica S. Lam - 2004
14 Pointer Analysis and its Applications for Java Programs – Alexandru D. Salcianu - 2001
14 Fast online pointer analysis – Martin Hirzel, Daniel Von Dincklage, Amer Diwan, Michael Hind - 2005
20 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
100 Points-to Analysis for Java Using Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2001
Static Analysis of Memory Accesses in Multithreaded and Recursive Programs – Radu Rugina, Radu Rugina - 1990
134 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
Context Sensitivity for Points-to Analysis Using Annotated Inclusion Constraints – Ana Milanova, Barbara G. Ryder
65 Types for safe locking: Static race detection for Java – Martin Abadi, Cormac Flanagan, Stephen N. Freund - 2006
4 IMPROVING SOFTWARE SECURITY WITH PRECISE STATIC AND RUNTIME ANALYSIS – Benjamin Livshits - 2006
A DYNAMIC APPLICATION ANALYSIS FRAMEWORK BY – Marie Therese Conte, Marie Therese Conte, Ph. D
66 Static Conflict Analysis for Multi-Threaded Object-Oriented Programs – Christoph von Praun, Thomas R. Gross - 2003
3 Efficient Online Optimization by Utilizing Offline Analysis and the SafeTSA Representation – Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz - 2002
10 Code Annotation for Safe and Efficient Dynamic Object Resolution – Andreas Hartmann, Wolfram Amme, Jeffery Von Ronne, Michael Franz - 2003