Christoph von Praun, Thomas R. Gross  Home/Search
Context Related
| lst.inf.ethz.ch/resea...PLDI_2003.ps.gz 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: lst.inf.ethz.ch/research/publi... (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 di#erent 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)
Similar documents based on text: More All
0.5: Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003) (Correct)
0.4: Object Race Detection - von Praun, Gross (2001) (Correct)
0.4: Compiler-Based Object Consistency - von Praun, Gross (2001) (Correct)
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/article/vonpraun03static.html More
@misc{ praun03static,
author = "C. von Praun and T. Gross",
title = "Static conflict analysis for multi-threaded objectoriented programs",
text = "C. von Praun and T. Gross. Static conflict analysis for multi-threaded
objectoriented programs. In PLDI 2003, pages 115--128, June 2003. 24",
year = "2003",
url = "citeseer.ist.psu.edu/article/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
[Article contains additional citations not shown here]
Documents on the same site (http://www.lst.inf.ethz.ch/research/publications/): More
The Architecture of the Remos System - Dinda, Gross, Karrer, Lowekamp (2001) (Correct)
Simulation of Large Ad Hoc Networks - Naoumov, Gross (2003) (Correct)
Static Detection of Atomicity Violations in Object-Oriented.. - von Praun, Gross (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