Graduated Thesis Students

Isabelle M. Demeure, "A Model, ParaDiGM, and a Software Tool, VISA, for the Representation, Design and Simulation of Parallel, Distributed Computations", 1989.
Adam L. Beguelin, "Deterministic Parallel Programming in Phred," 1990.
Jeffrey D. McWhirter, "Characterization, Specification and Generation of Visual Language Applications," 1995.
Zulah K. F. Eckert, "Trace Extrapolation for Parallel Programs on Shared Memory Multiprocessors," 1995.
Richard L. Blumenthal, "Supporting Unstructured Activities with a Meta-Contextual Protocol in Situation-Based Workflow," 1998.
Scott A. Brandt, "Soft Real-Time Processing with Dynamic QoS Level Resource Management," 1999.
Adam Griff, "Gryphon: A Dynamically Tailorable Mechanism for Customizing Location and Caching Policies in Distributed Object Subsystem," 2000.
Sam Siewert, "A Real-Time Execution Performance Agent Interface for Confidence-Based Scheduling," 2000.
Robert C. Steinke, "Consistency Model Transitions in Shared Memory," 2001.

Janis P. Osterweil, "A Deadlock Model Based on Process-Resource Actions", 1975.
Thomas Dodge, 1976 (jointly supervised with C. A. Ellis).
Heinrich Siegman, "Design and Simulation of a Main Memory-Control Units Interface for the Multi Associative Processor System", 1976.
Robert T. Krivacic, "The Refinement and Implementation of a Simulation System", 1978.
Bruce W. Sanders, "The Design and Simulation of a Bit Slice Implementation for MAP", 1978.
Gregory A. Smith, "Input/Output as Process Communication: A Method of Evaluation", 1978.
Kimbal S. Smith, "An Interface for Interprocess Communication and Control with the MAP Architecture", 1979.
William D. Anderson, "An Empirical Study of Optimizations on the CM-5," 1990.
Paul J. Hamill III, "Internet Structure Visualization," (ECE), 1998.
Shahzad Bhatti, "A 3-D Graphics Tool for Software Engineering," 1998.
James Grosvenor Garnett, "Distributed Phase and Frequency Synchonization," 1999.
Paul Griepentrog, "Network Enhancements to the Dynamic QoS Manager," 1999.