Documents Related by Co-Citation

292 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996
396 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
262 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
231 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
381 Analysis of pointers and structures – D R Chase, M Wegman, F K Zadeck - 1990
122 Effective synchronization removal for Java – E Ruf - 2000
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
194 Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C – R Ghiya, L Hendren - 1996
327 A Safe Approximate Algorithm for Interprocedural Pointer Aliasing – William Landi, Barbara G. Ryder - 1992
117 Removing Unnecessary Synchronization in Java РJeff Bogda, Urs Hölzle - 1999
40 Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework – Evelyn Duesterwald, Mary Lou Soffa - 1991
68 Static Analyses for Eliminating Unnecessary Synchronization from Java Programs – Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, Susan Eggers - 1999
160 Detecting conflicts between structure accesses – J R Larus, P N Hilfinger - 1988
386 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
60 Lifetime analysis of dynamically allocated objects – C Ruggieri, T P Murtagh - 1988
81 Detecting Data Races in Cilk Programs that Use Locks – Guang-Ien Cheng, Mingdong Feng, Charles E. Leiserson, Keith H. Randall, Andrew F. Stark - 1998
161 Detecting Parallelism in C Programs with Recursive Data Structures – Rakesh Ghiya, Laurie Hendren, Yingchun Zhu - 1998
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
93 Putting Pointer Analysis to Work – Rakesh Ghiya, Laurie J. Hendren - 1998