| Alternate document: Details Pointer ANalysis and its Applications for Java Programs (01) A.D. Salcianu |
Alexandru Salcianu, Martin Rinard  Home/Search
Context Related
| mit.edu/~rinard/paper/ppopp01.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu/Harpoon/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: analysis for multithreaded programs. The algorithm uses a new abstraction called parallel interaction graphs to analyze the interactions between threads and extract precise points-to, escape, and action ordering information for objects accessed by multiple threads. The analysis is compositional, analyzing each method or thread once to extract a parameterized analysis result that can be specialized for use in any context. It is also capable of analyzing programs that use the unstructured form of ... (Update)
Cited by: More
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (Correct)
Program Instrumentation ans Run-Time Analysis of.. - Garbervetsky.. (2004) (Correct)
Connectivity-Based Garbage Collection - Hirzel (2004) (Correct)
Similar documents (at the sentence level):
17.2%: Pointer and Escape Analysis for Multithreaded Programs - Martin Rinard Alexandru (2001) (Correct)
Active bibliography (related documents): More All
0.3: Analysis of Multithreaded Programs - Rinard (2001) (Correct)
0.2: Global Invariants for Analyzing Multi-threaded Applications - Seidl, Vene, Müller-Olm (Correct)
0.1: A Type System for Safe Region-Based Memory.. - Salcianu.. (2002) (Correct)
Similar documents based on text: More All
0.5: A Combined Pointer and Purity Analysis for Java Programs - Salcianu, Rinard (2004) (Correct)
0.4: Compositional Pointer and Escape Analysis for Multithreaded.. - Rinard, Whaley (Correct)
0.4: Ownership Types for Safe Region-Based Memory.. - Boyapati.. (2003) (Correct)
Related documents from co-citation: More All
16: Escape Analysis for Java - Choi, Gupta et al. - 1999
12: Compositional pointer and escape analysis for java programs - Whaley, Rinard - 1999
9: Region-based memory management - Tofte, Talpin - 1997
BibTeX entry: (Update)
Salcianu, A., Rinard, M.: Pointer and Escape Analysis for Multithreaded Programs. Proceedings of the Eighth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Snowbird, Utah, June 2001. http://citeseer.ist.psu.edu/salcianu01pointer.html More
@article{ salcianu01pointer,
author = "Alexandru Salcianu and Martin Rinard",
title = "Pointer and escape analysis for multithreaded programs",
journal = "ACM SIG{\-}PLAN Notices",
volume = "36",
number = "7",
pages = "12--23",
year = "2001",
url = "citeseer.ist.psu.edu/salcianu01pointer.html" }
Citations (may not include all citations):353 The SPLASH-2 programs: Characterization and methodological c.. - Woo, Ohara et al. - 1995
181 Principles of Program Analysis (context) - Nielson, Nielson et al. - 1999
154 Escape analysis for Java - Choi, Gupta et al. - 1999
119 Compositional pointer and escape analysis for Java programs - Whaley, Rinard - 1999
117 Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
112 Concurrent Programming in Java: Design Principles and Patter.. (context) - Lea - 2000
103 The Real-Time Specification for Java - Bollella, Brosgol et al. - 2000
67 Higher--order Concurrency - Reppy - 1992
67 Escape analysis for object oriented languages (context) - Blanchet - 1999
63 Removing unnecessary synchronization in Java - Bogda, Hoelzle - 1999
51 Data locality and load balancing in COOL - Chandra, Gupta et al. - 1993
51 Pointer analysis for multithreaded programs - Rugina, Rinard - 1999
48 Type inference of SELF: analysis of objects with dynamic and.. - Agesen, Palsberg et al. - 1995
45 Language support for regions - Gay, Aiken - 2001
45 ective synchronization removal for Java (context) - Ruf - 2000
36 ACM Transactions on Programming Languages and Systems (context) - Tofte, Birkedal et al. - 1998
27 Data flow equations for explicitly parallel programs - Grunwald, Srinivasan - 1993
23 Using threads in interactive systems: A case study (context) - Hauser, Jacobi et al. - 1993
21 Using shape analysis to reduce finite-state models of concur.. - Corbett - 1998
19 Analysis of multithreaded programs - Rinard - 2001
13 cient and portable web server (context) - Pai, Druschel et al. - 1999
7 cient and optimal bitvector analyses for parallel programs (context) - Knoop, Ste et al. - 1996
7 Pointer analysis and its applications for Java programs - Salcianu
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://flex-master.csail.mit.edu/Harpoon/papers.html): More
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (Correct)
Statically Determining Memory Consumption of Real-Time Java.. - Gheorghioiu (2002) (Correct)
Incrementalized Pointer and Escape Analysis - Vivien, Rinard (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC