HPDE-Supported Research 1994

• Environments (S. Reiss, A. Van Dam)
  3-D visualization for user interfaces and scientific apps; Intelligent editing, smart system rebuilding; Multiple views of programs, fragment integration, DESERT; Portable environments, porting FIELD to Solaris.
• Software Understanding and Debugging (R. Netzer, S. Reiss)
  Query Language for 3-D visualization and layout; VALLEY trace generation & analysis for distributed systems; Parallel debugging, instrumentation, reproducibility, AARD.
• Languages (P. Wegner, P. Kanellakis, P. V. Hentenryck)
  Models of interaction, component-based software tech; Optimizing constraint programming languages, NEWTON; Type inference and expressibility of typed languages.
• Databases (S. Zdonik, P. Kanellakis)
  Distributed object server, BOSS; Extensible query optimizer for OO databases, EPOQ; Verification of query optimization using Larch; Constraint database language for spatial databases, CQL.
• Parallel Computation (Preparata, Netzer, Doeppner, Savage)
  Scalability of models of parallel computation; Adaptive migration of parallel processes; "Performance debugging" to improve program parallelism; Parallel algorithms for scientific computation.
• Algorithms (Klein, Tamassia)
  Linear time minimum spanning tree algorithm; Dynamic algorithms.

Models of Interaction