This web page contains links to postscript versions of papers that may be covered by copyright (e.g., ACM Copyright).
-
Stephen Masticola,
"Static Detection of Deadlocks in Polynomial Time",
Rutgers University, Ph.D. Thesis,
May,
1993.
Note: Also available as LCSR-TR-208.
-
Non-concurrency analysisStephen P. Masticola, Barbara G. Ryder
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming, 1993 -
E. Schatz and B. G. Ryder,
"Directed Tracing to Detect Race Conditions",
Proceedings of the International Conference on Parallel Processing,
August,
1992.
Note: Longer version available as LCSR-TR-176.
-
E. Schatz and B. G. Ryder,
"Directed Tracing to Detect Race Conditions",
Laboratory of Computer Science Research Technical Report,
Number LCSR-TR-176,
January,
1992.
Note: This is a fuller version of the ICPP92 paper.
-
S. Masticola and B. G. Ryder,
"A Model of Ada Programs for Static Deadlock Detection",
Proceedings of 1991 ACM/ONR Workshop on Parallel and,
Pages 91-102,
May,
1991.
Note: Published as ACM SIGPLAN Notices, vol 26, no 12, December 1991.
-
E. Schatz and B. G. Ryder,
"Directed Tracing to Detect Race Conditions",
Laboratory of Computer Science Research Technical Report,
Number LCSR-TR-155,
November,
1990.
-
S. Masticola and B. G. Ryder,
"Static Infinite Wait Anomaly Detection in Polynomial Time",
Proceedings of the International Conference on Parallel Processing,
Pages II78-II87,
August,
1990.
Note: Longer version available as LCSR-TR-141.