Data Parallel Program Visualizations from Formal Specifications. - Mark Vincent LaPolla; Joseph L. Sharnowski; Betty H. C. Cheng; Kevin Anderson 001 (J. Parallel Distributed Comput., 1993)

A Formal Approach to Modeling Expected Behavior in Parallel Program Visualizations. - Joseph L. Sharnowski; Betty H. C. Cheng (PARLE, 1994)

A Distributed, Multimedia Environmental Information System. - Joseph L. Sharnowski; Gerald C. Gannod; Betty H. C. Cheng (ICMCS, 1995)

A visualization-based environment for top-down debugging of parallel programs. - Joseph L. Sharnowski; Betty H. C. Cheng (IPPS, 1995)