| Alternate document: Details Static Detection of Atomicity Violations in Object-Oriented Programs (03) Christoph von Praun, Thomas R. Gross |
Christoph von Praun, Thomas R. Gross  Home/Search
Context Related
| mit.edu/readinggr...praun03conflict.ps 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/readinggroup/summer03 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A compiler for multi-threaded object-oriented programs needs information about the sharing of objects for a variety of reasons: to implement optimizations, to issue warnings, to add instrumentation to detect access violations that occur at runtime. An Object Use Graph (OUG) statically captures accesses from different threads to objects. An OUG extends the Heap Shape Graph (HSG), which is a compile-time abstraction for runtime objects (nodes) and their reference relations (edges). An OUG... (Update)
Cited by: More
Safe Futures for Java - Welc, Jagannathan, Hosking (Correct)
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs - Flanagan, Freund (2004) (Correct)
Compiling Multi-Threaded Object-Oriented Programs - von Praun, Gross (2003) (Correct)
Active bibliography (related documents): More All
2.8: Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003) (Correct)
0.6: Analysis of Multithreaded Programs - Rinard (2001) (Correct)
0.5: Load Elimination in the Presence of Side Effects.. - von Praun, Schneider.. (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: Object Race Detection - von Praun, Gross (2001) (Correct)
0.4: Compiler-Based Object Consistency - von Praun, Gross (2001) (Correct)
0.3: Markov Processes Involving q-Stirling Numbers - Crippa, Simon, Trunz (1994) (Correct)
Related documents from co-citation: More All
4: Types for Atomicity (context) - Flanagan, Qadeer - 2003
3: High-Level Data Races - Artho, Havelund et al. - 2003
3: Run-time analysis for atomicity (context) - Wang, Stoller - 2003
BibTeX entry: (Update)
C. von Praun and T. Gross. Static conflict analysis for multi-threaded objectoriented programs. In PLDI 2003, pages 115--128, June 2003. 24 http://citeseer.ist.psu.edu/vonpraun03static.html More
@inproceedings{ praun03static,
author = "C. von Praun and T. Gross",
title = "Static conflict analysis for multi-threaded object-oriented programs",
booktitle = "PLDI 2003",
pages = "115--128",
month = jun,
year = "2003",
url = "citeseer.ist.psu.edu/vonpraun03static.html" }
Citations (may not include all citations):239 Monitors: An operating system structuring concept (context) - Hoare - 1974
154 Escape analysis for Java - Choi, Gupta et al. - 1999
119 Compositional pointer and escape analysis for Java programs - Whaley, Rinard - 1999
86 A general purpose algorithm for analyzing concurrent program.. (context) - Taylor - 1983
77 Type-based race detection for Java - Flanagan, Freund - 2000
75 Practical virtual method call resolution for java - Sundaresan, Hendren et al. - 2000
63 Removing unnecessary synchronization in Java - Bogda, Holzle - 1999
51 Pointer analysis for multithreaded programs - Rugina, Rinard - 1999
48 Non-concurrency analysis (context) - Masticola, Ryder - 1993
45 ective synchronization removal for Java (context) - Ruf - 2000
43 Ownership types for safe programming: preventing data races .. - Boyapati, Lee et al. - 2002
40 SPEC JVM98 Benchmarks (context) - Performance, Corporation - 1996
36 Guava: A dialect of Java without data races - Bacon, Strom et al. - 2000
31 Object race detection - von Praun, Gross - 2001
30 Concurrency analysis in the presence of procedures using a d.. (context) - Duesterwald, So - 1993
27 Escape analysis for object-oriented languages - Application .. - Blanchet - 1999
24 Synchronization transformation for parallel computing - Diniz, Rinard - 1997
19 Analysis of multithreaded programs - Rinard - 2001
16 Caching function calls using precise dependencies - Heydon, Levin et al. - 2000
16 How to make a correct multiprocess program execute correctly.. - Lamport - 1997
15 cient and precise datarace detection for multithreaded objec.. (context) - Choi, Lee et al. - 2002
8 Detecting race conditions in large programs (context) - Flanagan, Freund - 2001
7 cient algorithm for computing MHP information for concurrent.. (context) - Naumovich, Avrunin et al. - 1999
6 Anomaly detection in concurrent programs (context) - Bristow, Dreay et al. - 1979
6 Double-checked locking: An optimization pattern for e#cientl.. - Schmidt, Harrison - 1998
5 gcj - The GNU compiler for the Java programming language (context) - Software - 2000
4 Multi-threaded benchmark suite (context) - Forum - 1999
3 cient and correct execution of parallel programs that share .. (context) - Shasha, Snir - 1988
3 A compiler for multiple memory models (context) - Midki, Lee et al. - 2001
2 Scientific data repositories -- designing for a moving targe.. - Stolte, von Praun et al. - 2003
Documents on the same site (http://pag.lcs.mit.edu/reading-group/summer03.html): More
New Results on the Computability and Complexity of Points - to .. - Chakaravarthy (2003) (Correct)
Automatically Proving the Correctness of Compiler.. - Lerner, Millstein.. (2003) (Correct)
Typestate Verification: Abstraction Techniques and.. - Field, Goyal.. (2003) (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