From: bart@grilled.cs.wisc.edu (Bart Miller)
Subject: Tech reports available via anon ftp
Organization: University of Wisconsin, Madison -- Computer Sciences Dept.
Date: Fri, 24 Jul 1992 03:55:12 GMT

Papers on various topics on parallel and distributed programming from our
research project are available via anonymous ftp from grilled.cs.wisc.edu.
Following is a list of the papers that are available and their file names.
The information contained in this message is contained in a file called
"READ_ME".  The file "ABSTRACTS" contains abstracts of the papers.

All files are stored in compressed postscript.

A full list of tech reports for the Computer Sciences Department at the
University of Wisconsin can be found on ftp.cs.wisc.edu.

-----------------------------------------------------------------

characterization.ps.Z
    "What are Race Conditions? Some Issues and Formalizations"
    Robert H.B. Netzer  and  Barton P. Miller
    In ACM Letters on Programming Languages and Systems, March 1992, Vol 1 No 1.
    netzer@cs.wisc.edu, bart@cs.wisc.edu

complexity.ps.Z
    "On the Complexity of Event Ordering for Shared-Memory Parallel Program
    Executions"
    Robert H.B. Netzer  and  Barton P. Miller
    A condensed version of this paper appears in Proc. of the 1990 Int'l
    Conference on Parallel Processing, St Charles, IL, August 1990
    Also Univ. of Wisconsin-Madison Comp Sci Dept Technical Report #908,
    January 1990
    netzer@cs.wisc.edu, bart@cs.wisc.edu

descriptive.ps.Z
    "Active Cataloging and Caching in a Descriptive Name Service"
    Joann J. Ordille and Barton P. Miller, Preliminary Version
    joann@cs.wisc.edu, bart@cs.wisc.edu

detecting.ps.Z
    "Detecting Data Races in Parallel Program Executions"
    Robert H.B. Netzer  and  Barton P. Miller
    In Advances in Languages and Compilers for Parallel Processing,
    Research Monographs in Parallel and Distributed Computing, MIT Press, 1991
    netzer@cs.wisc.edu, bart@cs.wisc.edu

edcu.ps.Z
    "The Integration of Application and System Based Metrics in a Parallel
    Program Performance Tool"
    Jeffrey K. Hollingsworth, R. Bruce Irvin and Barton P. Miller
    In ACM Symp on Prin. and Practice of Parallel Processing,
    May 1991.
    hollings@cs.wisc.edu, rbi@cs.wisc.edu, bart@cs.wisc.edu

experience.ps.Z
    "Experience with Techniques for Refining Data Race Detection"
    Robert H.B. Netzer  and  Barton P. Miller
    May 1992.
    netzer@cs.wisc.edu, bart@cs.wisc.edu

fuzz.ps.Z
    "An Empirical Study of the Reliability Operating System Utilities"
    Barton P. Miller, Lars Fredriksen, and Bryan So
    In Comm. of the ACM, December 1990.  Also in Ix Magazine (German
    translation)
    bart@cs.wisc.edu

improving.ps.Z
    "Improving the Accuracy of Data Race Detection"
    Robert H.B. Netzer  and  Barton P. Miller
    In Proc. of the Third ACM Symposium on Principles and Practice of Parallel
    Programming, April 1991.
    netzer@cs.wisc.edu, bart@cs.wisc.edu

ips.tar
    This file contains information on obtaining a license and distribution of
    the IPS-2 parallel programming tools.
    hollings@cs.wisc.edu, rbi@cs.wisc.edu, bart@cs.wisc.edu

isca.ps.Z
    "Detecting Data Races on Weak Memory Systems"
    Sarita V. Adve, Mark D. Hill, Barton P. Miller, and Robert H.B. Netzer
    In Proc. of the 18th Intl Symposium on Computer Architecture, May 1991.
    sarita@cs.wisc.edu, markhill@cs.wisc.edu, netzer@cs.wisc.edu,
    bart@cs.wisc.edu

metrics.ps.Z
    "Parallel Program Performance Metrics: A Comparison and Validation"
    Jeffrey K. Hollingsworth and Barton P. Miller
    In Proc. of Supercomputing '92, November 1992.
    hollings@cs.wisc.edu, bart@cs.wisc.edu

msgtracing.ps.Z
    "Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs"
    Robert H.B. Netzer and Barton P. Miller
    In Proc. of Supercomputing '92, November 1992.
    netzer@cs.wisc.edu, bart@cs.wisc.edu

netzer_thesis.ps.Z
    "Race Condition Detection for Debugging Shared-Memory Parallel Programs"
    Robert H.B. Netzer
    August 1991.
    Univ. of Wisconsin-Madison Comp Sci Dept Tech Rep #1039 (Ph.D. Thesis)
    netzer@cs.wisc.edu

postwait.ps.Z
    "Efficient Race Condition Detection for Shared-Memory Programs with
    Post/Wait Synchronization"
    Robert H.B. Netzer and Sanjoy Ghosh
    To appear in Proc. of the 1992 Int'l Conference on Parallel Processing.
    netzer@cs.wisc.edu, ghosh@csrd.uiuc.edu

ppd_sigplan.ps.Z
    "A Mechanism for Efficient Debugging of Parallel Programs"
    Barton P. Miller  and  Jong-Deok Choi 
    In Proc. of the SIGPLAN Conf. on Programming Language Design and
    Implementation, June 1988, Atlanta, GA, pp. 135-144.
    Also appears in SIGPLAN Notices 23(7), July 1988.
    bart@cs.wisc.edu, jdchoi@watson.ibm.com

ppd_toplas.ps.Z
    "Techniques for Debugging Parallel Programs with Flowback Analysis"
    Jong-Deok Choi, Barton P. Miller,  and  Robert H.B. Netzer,
    In ACM Trans. on Programming Languages and Systems (Oct. 91).
    bart@cs.wisc.edu, jdchoi@watson.ibm.com, netzer@cs.wisc.edu

sigcomm91.ps.Z
    "Nomenclator Descriptive Query Optimization for Large X.500 Environments"
    Joann J. Ordille and Barton P. Miller
    Appears in SIGCOMM '91, Zurich, Switzerland.
    joann@cs.wisc.edu, bart@cs.wisc.edu

usersguide.ps.Z
    "IPS-2 Users Guide"
    Jeffrey K. Hollingsworth, R. Bruce Irvin and Barton P. Miller
    Version 4.0.
    hollings@cs.wisc.edu, rbi@cs.wisc.edu, bart@cs.wisc.edu

visualize.ps.Z
    "What to Draw?  When to Draw? An Essay on Parallel Program Visualization"
    Barton P. Miller
    bart@cs.wisc.edu

wrapping.ps.Z
    "Binary Wrapping: A Technique for Instrumenting Object Code"
    Jon Cargille and Barton P. Miller
    jon@cs.wisc.edu, bart@cs.wisc.edu

Newsgroups: comp.parallel