VON PRAUN, C., AND GROSS, T. R. Object race detection. In OOPSLA'01 [17], pp. 70--82. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
High-Level Data Races - Artho, Havelund, Biere (2003) (3 citations) (Correct)
....task parallel applications: SOR (Successive Over Relaxation over a 2D grid) and a Travelling Salesman Problem (TSP) application. The latter two use worker threads [17] to solve the global problem. Many thanks go to Christoph von Praun for kindly providing these examples, which were referred to in [28]. In addition, a Java model of a NASA planetary rover controller, named K9, was analyzed. The original code is written in C and contains about 35,000 lines of code, while the Java model is a heavily abstracted version with 7,000 lines. Nevertheless, it still includes the original, very complex, ....
C. von Praun and T. Gross. Object-Race Detection. In OOPSLA, pages 70--82. ACM, 2001.
High-Level Data Races - Artho, Havelund, Biere (2003) (3 citations) (Correct)
....task parallel applications: SOR (Successive Over Relaxation over a 2D grid) and a Travelling Salesman Problem (TSP) application. The latter two use worker threads [17] to solve the global problem. Many thanks go to Christoph von Praun for kindly providing these examples, which were referred to in [28]. In addition, a Java model of a NASA planetary rover controller, named K9, was analyzed. The orig inal code is written in C and contains about 35,000 lines of code, while the Java model is a heavily abstracted version with 7,000 lines. Nevertheless, it still includes the original, very ....
C. von Praun and T. Gross. Object-Race Detection. In OOPSLA, pages 70 82. ACM, 2001.
Isolating Failure-Inducing Thread Schedules - Choi, Zeller (2002) (5 citations) (Correct)
.... the statements that may happen in parallel or not [10, 11, 12, 13] this is a prerequisite for detecting data races statically [18] A wide range of methods has been proposed and evaluated for detecting deadlocks statically [4] Dynamic analysis can detect shared memory accesses at run time [3, 8, 14, 16]. All these approaches require complete knowledge about the program to be analyzed. In this paper, we promote a different approach, focusing on the thread schedule rather than on the program code. We look at the difference between a failure inducing schedule (as the one in Figure 4) and another ....
....Dynamic analysis. If one is willing to pay the overhead, data races like the examples in this paper can also be detected dynamically, for instance by monitoring all shared memory references [8, 16] The overhead of dynamic detection can be considerably reduced by combining it with static analysis [3, 14]. However, data races are just one class of problems induced by concurrency, and each problem class must be addressed by an individually designed dynamic analysis. Our approach, in contrast, is not restricted to a specific problem class but it requires that the concurrency problem manifests ....
C. v. Praun and T. Gross. Object race detection. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, 2001.
Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003) (2 citations) Self-citation (Von praun Gross) (Correct)
No context found.
C. von Praun and T. Gross. Object race detection. In Languages, and Applications (OOPSLA'01), pages 70--82, Oct. 2001.
Compiling Multi-Threaded Object-Oriented Programs - von Praun, Gross (2003) Self-citation (Von praun Gross) (Correct)
No context found.
C. von Praun and T. Gross. Object race detection. In OOPSLA 2001.
Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003) (2 citations) Self-citation (Von praun Gross) (Correct)
No context found.
C. von Praun and T. Gross. Object race detection. In Languages, and Applications (OOPSLA'01), pages 70--82, Oct. 2001.
Preemption-Based Avoidance of Priority Inversion for Java - Welc, Hosking, Jagannathan (2004) (Correct)
No context found.
VON PRAUN, C., AND GROSS, T. R. Object race detection. In OOPSLA'01 [17], pp. 70--82.
Transactional Monitors for Concurrent Objects - Adam Welc Suresh (Correct)
No context found.
VON PRAUN, C., AND GROSS, T. R. Object race detection. In OOPSLA'01 [33], pp. 70--82.
Safe Futures for Java - Welc, Jagannathan, Hosking (Correct)
No context found.
VON PRAUN, C., AND GROSS, T. R. Object race detection. In Programming Systems, Languages, and Applications (Tampa, Florida, Oct.). ACM SIGPLAN Notices 36, 11 (Nov. 2001), pp. 70--82.
KISS: Keep It Simple and Sequential - Shaz Qadeer Microsoft (Correct)
No context found.
C. von Praun and T. Gross. Object-race detection. In Proceedings of the 16th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'01), pages 78--82, Tampa Bay, FL, October 2001. 11
JNuke: Efficient Dynamic Analysis for Java - Artho, Schuppan, Biere.. (2004) (Correct)
No context found.
C. von Praun and T. Gross. Object-race detection. In OOPSLA 2001. ACM Press, 2001.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Christoph von Praun and Thomas Gross. Object-race detection. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001. 163
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) (Correct)
No context found.
C. von Praun and T. Gross. Object-race detection. In Applications (OOPSLA), October 2001.
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs - Flanagan, Freund (2004) (5 citations) (Correct)
No context found.
C. von Praun and T. Gross. Object race detection. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 70--82, 2001.
High-Level Data Races - Artho, Havelund, Biere (2003) (3 citations) (Correct)
No context found.
C. von Praun and T. Gross. Object-Race Detection. In OOPSLA, pages 70--82. ACM, 2001.
JNuke: Efficient Dynamic Analysis for Java - Artho, Schuppan, Biere.. (2004) (Correct)
No context found.
C. von Praun and T. Gross. Object-race detection. In OOPSLA 2001. ACM Press, 2001.
High-Level Data Races - Artho, Havelund, Biere (2003) (3 citations) (Correct)
No context found.
C. von Praun and T. Gross. Object-Race Detection. In OOPSLA, pages 70--82. ACM, 2001.
Checking Concise Specifications for Multithreaded Software - Freund, Qadeer (2003) (3 citations) (Correct)
No context found.
C. von Praun and T. Gross. Object-race detection. In 16th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 78-82, 2001.
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
No context found.
Christoph von Praun and Thomas Gross. Object race detection. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 70--82, Tampa Bay, FL, October 2001.
High-Level Data Races - Artho, Havelund, Biere (2003) (3 citations) (Correct)
No context found.
C. von Praun and T. Gross. Object-Race Detection. In OOPSLA, pages 70--82. ACM, 2001.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Christoph von Praun and Thomas Gross. Object-race detection. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001. 163
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Christoph von Praun and Thomas Gross. Object-race detection. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2001. 163
Rigorous Concurrency Analysis of Multithreaded Programs - Yang, Gopalakrishnan.. (2003) (Correct)
No context found.
C. von Praun and T. Gross. Object-race detection. In Proceedings of Object-Oriented Programming Systems, Lanuages, and Applications, pages 70--82, 2001.
Flashback: A Lightweight Extension for Rollback and .. - Srinivasan.. (2004) (1 citation) (Correct)
No context found.
C. v. Praun and T. Gross. Object race detection. In 16th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Tampa Bay, FL, October 2001.
JNuke: Efficient Dynamic Analysis for Java - Artho, Schuppan, Biere.. (2004) (Correct)
No context found.
C. von Praun and T. Gross. Object-race detection. In OOPSLA 2001. ACM Press, 2001.
First 50 documents
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