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

23 Pointer analysis in the presence of dynamic class loading – Martin Hirzel, Amer Diwan, Michael Hind - 2004
9 CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS – John Whaley, Monica S. Lam - 2007
35 SPARK: A FLEXIBLE POINTS-TO ANALYSIS FRAMEWORK FOR JAVA – Ondrej Lhoták - 2002
34 Connectivity-Based Garbage Collection – Martin Hirzel, Amer Diwan, Matthew Hertz - 2003
7 Pointer Analysis for Structured Parallel Programs – Radu Rugina, Martin C. Rinard - 2003
194 Cloning-based context-sensitive pointer alias analysis using binary decision diagrams – John Whaley, Monica S. Lam - 2004
9 Fast online pointer analysis – Martin Hirzel, Daniel Von Dincklage, Amer Diwan, Michael Hind - 2005
14 Pointer Analysis and its Applications for Java Programs – Alexandru D. Salcianu - 2001
20 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
84 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
125 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
50 Types for safe locking: Static race detection for Java – Martin Abadi, Cormac Flanagan, Stephen N. Freund - 2006
3 IMPROVING SOFTWARE SECURITY WITH PRECISE STATIC AND RUNTIME ANALYSIS – Benjamin Livshits - 2006
59 Static Conflict Analysis for Multi-Threaded Object-Oriented Programs – Christoph von Praun, Thomas R. Gross - 2003
20 Efficient field-sensitive pointer analysis for C – David J. Pearce, Paul H. J. Kelly, Chris Hankin
62 Points-to analysis using BDDs – Marc Berndl, Feng Qian, Laurie Hendren, Navindra Umanee - 2003
3 Efficient Online Optimization by Utilizing Offline Analysis and the SafeTSA Representation – Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz - 2002