Citations: cient and precise datarace detection for multithreaded object-oriented programs - Choi, Lee, Loginov, O'Callahan, Sarkar, Sridharan (ResearchIndex)

15 citations found. Retrieving documents...

J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. E#cient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the ACM SIGPLAN 2002.

Home/Search Document Not in Database Summary Related Articles Check

This paper is cited in the following contexts:

Automatic Detection and Repair of Errors in Data Structures - Demsky, Rinard (2002) (5 citations) (Correct)

....has been an important area for many years. Most research has focused on preventing or eliminating software errors, with the approaches ranging from enhanced software testing and validation to full program verification. Software error detection has become an especially active area in recent years [3, 4, 9, 2]. In contrast, our research goal is to enable software to survive errors by restoring data structure consistency. The remainder of this section focuses on other error recovery techniques. 6.1 Manual Detection and Repair Systems Researchers have manually developed several systems that find and ....

J.-D. Choi and et al. E#cient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the SIGPLAN '02 Conference on Program Language Design and Implementation, 2002.

Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) (Correct)

....of the type passing approach is JVM compatible. To gain preliminary experience, we implemented a number of Java programs in our system including several classes from the Java libraries. We also implemented some multithreaded server programs including elevator, a real time discrete event simulator [46, 11], an http server, a chat server, a stock quote server, a game server, and phone, a database backed information sever. These programs exhibit a variety of sharing patterns. Our type system is expressive enough to support these programs. In each case, once we determined the sharing pattern of the ....

....in a program is indeed a partial order. Dynamic Tools: There are many systems that detect data races and deadlocks dynamically. These include systems developed in the scientific parallel programming community [20] tools like Eraser [43] and tools for detecting data races in Java programs [46, 11]. Eraser dynamically monitors all lock acquisitions to test whether a linear order exists among the locks that is respected by every thread. Dynamic tools have the advantage that they can check unannotated programs. However, these tools are not comprehensive they may fail to detect certain ....

J. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. E#cient and precise datarace detection for multithreaded object-oriented programs. In Programming Language Design and Implementation (PLDI), June 2002.

A Type System for Preventing Data Races and Deadlocks.. - Chandrasekhar.. (2002) (2 citations) (Correct)

....We only keep runtime ownership and lock level information for objects that are potentially involved in downcasts to types with multiple parameters. To gain preliminary experience, we implemented several Java programs in our system. These include elevator, a real time discrete event simulator [28, 7], an http server, a chat server, a stock quote server, a game server, and phone, a databasebacked information sever. These programs exhibit a variety of sharing patterns. Our type system was expressive enough to support these programs. In each case, once the sharing pattern of the program was ....

....is indeed a partial order. 13.2 Dynamic Tools There are many systems that detect data races and deadlocks dynamically. These include systems developed in the scientific parallel programming community like [13, 18] tools like Eraser [25] and tools for detecting data races in Java programs like [28, 7]. Eraser dynamically monitors all lock acquisitions to test whether a linear order exists among the locks that is respected by every thread. Dynamic tools have the advantage that they can check unannotated programs. However, these tools are not comprehensive they may fail to detect certain ....

J. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. E#cient and precise datarace detection for multithreaded object-oriented programs. In Programming Language Design and Implementation (PLDI), June 2002.

KISS: Keep It Simple and Sequential - Shaz Qadeer Microsoft (Correct)

No context found.

J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. E#cient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the ACM SIGPLAN 2002.

Adaptation Of Control Programs To - Asynchronous Updates Richard (Correct)

No context found.

J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. E#cient and precise datarace detection for multithreaded object-oriented prog. In ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 2002.

Data Structure Repair Using Goal-Directed Reasoning - Brian Demsky Massachusetts (Correct)

No context found.

J.-D. Choi and et al. E#cient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the SIGPLAN '02 Conference on Program Language Design and Implementation, 2002.

Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003) (2 citations) (Correct)

A Type and Effect System for Atomicity - Flanagan, Qadeer (2003) (4 citations) (Correct)

No context found.

J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. E#cient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. In PLDI 02: Programming Language Design and Implementation, pages 258--269. ACM Press, 2002.

Static Conflict Analysis for Multi-Threaded Object-Oriented.. - von Praun, Gross (2003) (2 citations) (Correct)

Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)

No context found.

Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, and Manu Sridharan. E#cient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. In Proceedings of the 2002.

Automatic Detection and Repair of Errors in Data - Structures Brian Demsky (Correct)

RacerX: Effective, Static Detection of Race Conditions and.. - Engler, Ashcraft (2003) (Correct)

Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)

No context found.

Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, and Manu Sridharan. E#cient and precise datarace detection for multithreaded object-oriented programs. In ACM Conference on Programming Language Design and Implementation, pages 258--269, Berlin, Germany, June 2002.

SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)

No context found.

Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, and Manu Sridharan. E#cient and precise datarace detection for multithreaded object-oriented programs. In Programming Language Design and Implementation (PLDI), June 2002.

Rigorous Concurrency Analysis of Multithreaded Programs - Yang, Gopalakrishnan.. (2003) (Correct)

No context found.

J. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. E#cient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of PLDI, 2002.

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