|
125
|
Pointer Analysis for Multithreaded Programs
– Radu Rugina, Martin Rinard
- 1999
|
|
|
Static Analysis of Memory Accesses in Multithreaded and Recursive Programs
– Radu Rugina, Radu Rugina
- 1990
|
|
7
|
Pointer Analysis for Structured Parallel Programs
– Radu Rugina, Martin C. Rinard
- 2003
|
|
|
Guided Testing of Concurrent Programs Using Value Schedules
– Jun Chen
|
|
50
|
Types for safe locking: Static race detection for Java
– Martin Abadi, Cormac Flanagan, Stephen N. Freund
- 2006
|
|
16
|
Pruning interference and ready dependences for slicing concurrent Java programs
– Venkatesh Prasad Ranganath, John Hatcliff
- 2004
|
|
2
|
Analysis of Partitioned Global Address Space Programs
– Amir Kamil, Second Reader
- 2006
|
|
170
|
A Parameterized Type System for Race-Free Java Programs
– Chandrasekhar Boyapati, Martin Rinard
- 2001
|
|
59
|
Safe futures for Java
– Adam Welc, Suresh Jagannathan, Antony Hosking
- 2005
|
|
54
|
SafeJava: A Unified Type System for Safe Programming
– Chandrasekhar Boyapati
- 2004
|
|
1
|
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
|
|
164
|
Atomizer: a dynamic atomicity checker for multithreaded programs
– Cormac Flanagan, Stephen N. Freund
- 2004
|
|
|
Single Program, Multiple Data Programming for Hierarchical Computations
– Amir Ashraf Kamil, Amir Ashraf Kamil, Amir Ashraf Kamil
|
|
84
|
Points-to Analysis for Java Using Annotated Constraints
– Atanas Rountev, Ana Milanova, Barbara G. Ryder
- 2001
|
|
20
|
Points-to Analysis for Java Based on Annotated Constraints
– Atanas Rountev, Ana Milanova, Barbara G. Ryder
- 2000
|
|
90
|
Type-safe multithreading in Cyclone
– Dan Grossman
- 2003
|
|
56
|
Programming Dynamically Reconfigurable Open Systems with SALSA
– Carlos Varela, Gul Agha
- 2001
|
|
41
|
Race Directed Random Testing of Concurrent Programs
– Koushik Sen
- 2008
|
|
27
|
Randomized active atomicity violation detection in concurrent programs
– Chang-seo Park, Koushik Sen
- 2008
|
