Static Conflict Analysis for Multi-Threaded Object-Oriented Programs (2003)

Cached

Download Links

by Christoph von Praun , Thomas R. Gross
Citations:66 - 5 self

Active Bibliography

135 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
8 Pointer Analysis for Structured Parallel Programs – Radu Rugina, Martin C. Rinard - 2003
Static Analysis of Memory Accesses in Multithreaded and Recursive Programs – Radu Rugina, Radu Rugina - 1990
Guided Testing of Concurrent Programs Using Value Schedules – Jun Chen
66 Types for safe locking: Static race detection for Java – Martin Abadi, Cormac Flanagan, Stephen N. Freund - 2006
Classical Compiler Optimizations on Multithreaded Code – Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-j. Boehm, Dhruva R, Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-j. Boehm, Dhruva R. Chakrabarti
18 Pruning interference and ready dependences for slicing concurrent Java programs – Venkatesh Prasad Ranganath, John Hatcliff - 2004
4 Analysis of Partitioned Global Address Space Programs – Amir Kamil, Second Reader - 2006
196 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
74 Safe futures for Java – Adam Welc, Suresh Jagannathan, Antony Hosking - 2005
58 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
3 A Technique for the Effective and Automatic Reuse of Classical Compiler Optimizations on Multithreaded Code – Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-j. Boehm, Dhruva R. Chakrabarti - 2010
permission. Single Program, Multiple Data Programming for Hierarchical Computations – Amir Ashraf Kamil, Amir Ashraf Kamil, Amir Ashraf Kamil, Amir Ashraf Kamil
1 Single Program, Multiple Data Programming for Hierarchical Computations – Amir Ashraf Kamil, Amir Ashraf Kamil, Amir Ashraf Kamil
200 Atomizer: a dynamic atomicity checker for multithreaded programs – Cormac Flanagan, Stephen N. Freund - 2004
A DYNAMIC APPLICATION ANALYSIS FRAMEWORK BY – Marie Therese Conte, Marie Therese Conte, Ph. D
20 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
100 Points-to Analysis for Java Using Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2001
66 Programming Dynamically Reconfigurable Open Systems with SALSA – Carlos Varela, Gul Agha - 2001