|
7
|
Parallel Constant Propagation
– J Knoop
- 1998
|
|
8
|
Parallelism for Free: E#cient and Optimal Bitvector Analyses for Parallel Programs
– J Knoop, B Steen, J Vollmer
- 1996
|
|
82
|
The Interprocedural Coincidence Theorem
– Jens Knoop, Bernhard Steffen
- 1992
|
|
4
|
Static Analysis for Eliminating Unnecessary Synchronization from Java Programs
– J Aldrich, C Chambers, E Sirer, S Eggers
- 1999
|
|
3
|
A Universal Top-Down Fixpoint Algorithm
– B L Charlier, P V Hentenryck
- 291
|
|
19
|
On Optimal Slicing of Parallel Programs
– Markus Müller-Olm, Helmut Seidl
- 2001
|
|
6
|
GENA – a tool for generating Prolog analyzers from specifications
– C Fecht
- 1995
|
|
21
|
A Faster Solver for General Systems of Equations
– Christian Fecht, Helmut Seidl
- 1999
|
|
39
|
Data flow analysis for checking properties of concurrent Java programs
– Gleb Naumovich, George S. Avrunin, Lori A. Clarke
- 1999
|
|
118
|
Effective synchronization removal for Java
– E Ruf
- 2000
|
|
38
|
Thread-modular verification for shared-memory programs
– Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
- 2002
|
|
12
|
Invariance proof methods and analysis techniques for parallel programs
– P Cousot, R Cousot
- 1984
|
|
44
|
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs
– Gleb Naumovich, George S. Avrunin, Lori A. Clarke
- 1999
|
|
13
|
A Modular Checker for Multithreaded Programs
– Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia
- 2002
|
|
211
|
Compositional Pointer and Escape Analysis for Java Programs
– John Whaley, Martin Rinard
- 1999
|
|
273
|
Two approaches to interprocedural data flow analysis
– M SHARIR, A PNUELI
- 1981
|
|
110
|
Removing Unnecessary Synchronization in Java
– Jeff Bogda, Urs Hölzle
- 1999
|
|
125
|
Pointer Analysis for Multithreaded Programs
– Radu Rugina, Martin Rinard
- 1999
|
|
179
|
Programming with POSIX Threads
– D R Butenhof
- 1997
|
