Rusty Lusk Papers

  • An Experimental Evaluation of the Parallel I/O Systems of the IBM SP and Intel Paragon Using a Production Application
  • I/O Characterization of a Portable Astrophysics Application on the IBM SP and Intel Paragon
  • The MPI Communication Library: Its Design and a Portable Implementation
  • Implementing MPI: the 1994 MPI Implementors' Workshop
  • MPI: A Message Passing Interface
  • Users' Guide to mpich, a Portable Implementation of MPI
  • MPE Graphics-Scalable X11 Graphics in MPI
  • Performance Analysis of MPI Programs
  • Visualizing Parallel Program Behavior
  • Scalable Unix Tools on Massively Parallel Processors
  • Monitors, Messages, and Clusters: the p4 Parallel Programming System
  • Implementing Linda Multiple Parallel Models
  • Performance Visualization for Parallel Programs
  • Scalable Unix Tools on Parallel Processors
  • Early Experiences with the IBM SP1 at Argonne National Laboratory
  • The Evolution of Databases in Prolog
  • Parallel Program Execution Visualization with ATRACE
  • Combinatorial Results Relating to Products of Idempotents in Finite Full Transformation Semigroups
  • A Sequential Theorem Proving Algorithm without Deletion
  • Performance Visualization (a white paper)
  • High-Performance Parallel Theorem Proving for Shared-Memory Multiprocessors
  • Controlling Redundancy in Large Search paces: Argonne-Style Theorem Proving Through the Years
  • An Entry in the 1992 Overbeek Theorem-Proving Contest
  • Benchmark Problems in Which Equality Plays the Major Role