This page is maintained for archival purposes only. For current information please visit http://prolangs.cs.vt.edu/.
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.
URL: ftp://athos.rutgers.edu/pub/technical-reports/lcsr-tr-208.ps.Z
Note: Also available as LCSR-TR-208.
-
S. Masticola and B. G. Ryder,
"Non-concurrency Analysis",
Proceedings of Conference on Principles and Practices of Parallel Programming,
Pages 129-138,
May,
1993.
Note: Published as ACM SIGPLAN Notices, May 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.
URL: ftp://athos.rutgers.edu/pub/technical-reports/lcsr-tr-176.ps
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.
URL: ftp://athos.rutgers.edu/pub/technical-reports/lcsr-tr-155.ps
-
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.