Research Grants and Contracts: September 1994 - August 1995

Problems in Computational Algebra

Principal investigator: E. Bach
Source: NSF, 6/91-1/95

Algorithms in Number Theory

Principal investigator: E. Bach
Source: NSF, 8/92-7/95

Multivariate Approximation

Principal investigator: C. de Boor and A. Ron
Source: NSF and ARO, 7/93-6/96

Interactive User Query Formation and Data Navigation of Diverse Multimedia Data

Principal investigator: M. Carey
Source: IBM, 12/94-12/95

SHORE: A High-Performance, Scalable, Persistent Object System for Mach and Touchstone

Principal investigators: M. Carey, D. DeWitt, J. Naughton, and M. Solomon,
Source: ARPA, 12/91-12/95

NSF Young Investigator Award: Interactive Computational Models and Topics in Parallel Computation

Principal investigator: A. Condon
Source: NSF, 9/92-8/97

Paradise - A Parallel Information System for EOSDIS

Principal investigator: D. DeWitt
Source: NASA and CESDIS, 1/93-4/97

Paradise Clusters: Inexpensive Scalable Support for Standardized Access to EOSDIS Data Sets

Principal investigator: D. DeWitt
Source: NASA 1/95-1/96

Architectures for Query Processing in Persistent Object Bases

Principal investigators: D. DeWitt and M. Carey
Source: Oregon Graduate Institute, 10/91-3/96

IBM Research Initiation Gift

Principal investigators: D. DeWitt, M. Carey, and J. Naughton
Source: IBM, 1/91-1/96

Understanding the Dynamics of 3D Shape Appearance

Principal investigator: C. Dyer
Source: NSF, 5/91-4/94

US-Italy Cooperative Research: High-Performance Parallel Computing for Computer Vision

Principal investigator: C. Dyer
Source: NSF, 9/93-8/96

Purpose Vision in Robot Exploration of Three-Dimensional Scenes

Principal investigators: C. Dyer and V. Lumelsky
Source: NSF, 4/93-3/96

Research Instrumentation: Combining Vision and Motion in Robot Systems

Principal investigators: C. Dyer and V. Lumelsky
Source: NSF, 4/93-3/95

Presidential Young Investigator Award: Development of Efficient Serial and Parallel Algorithms Based on Mathematical Programming Theory

Principal investigator: M. Ferris
Source: NSF, 8/91-7/96

Advances in Code Scheduling and Register Allocation for Delayed Load Architectures

Principal investigator: C. Fischer
Source: NSF, 6/92-5/95

Advances in Register Allocation and Efficient Run-Time Program Analysis

Principal investigator: C. Fischer
Source: NSF, 7/95-6/98

Investigation of Large-Scale, Cache-Coherent Shared-Memory Multiprocessors

Principal investigator: J. Goodman
Source: NSF, 10/92-9/95

A Study of Long-Term Architectural Limits to Computing: Galileo

Principal investigator: J. Goodman
Source: NSF, 9/95-8/96

Galileo: Exploring Future Limits of Computing Technology

Principal investigator: J. Goodman
Source: Intel, 6/95-6/96

Hierarchical Caching in SCI Systems, Phase 2

Principal investigator: J. Goodman
Source: Apple, 6/95-6/96

Presidential Young Investigator Award: Cache Memory Design

Principal investigator: M. Hill
Source: NSF, 7/89-6/95

Presidential Young Investigator Award: Language-Based Tools for Programming Environments

Principal investigator: S. Horwitz
Source: NSF, 7/89-6/96

Presidential Young Investigator Award: Next Generation Database Systems

Principal investigator: Y. Ioannidis
Source: NSF, 9/91-8/95

Invoking Experiments through a Database System

Principal investigator: Y. Ioannidis
Source: IBM, 12/92-12/97

Query Cost and Result Size Estimation

Principal investigator: Y. Ioannidis
Source: Lockheed, 4/95-12/96

Optimization of Complex Queries

Principal investigators: Y. Ioannidis and J. Naughton
Source: NSF, 7/92-6/96

Integrated Access to a Cluster of Data Providers

Principal investigators: Y. Ioannidis, M. Livny, and R. Ramakrishnan
Source: Office of Research and Development, 3/95-3/96

Applied Mathematical Logic

Principal investigator: K. Kunen
Source: NSF, 6/91-5/95

National Gigabit/Second Network, Blanca Collaboration, XUNET

Principal investigator: L. Landweber
Source: Corporation for National Research Initiatives, 5/90-9/95

Research on Internet Based Information Servers and Services

Principal investigator: L. Landweber
Source: NSF, 6/95-3/96

Operations and Coordination for X.400 in the U.S. Internet

Principal investigator: L. Landweber
Source: NSF, 9/93-2/96

XUNET2 Switch and Network

Principal investigator: L. Landweber
Source: AT&T Bell Laboratories, 1/93-12/95

NSF Young Investigator Award: Programming Massively-Parallel Computers

Principal investigator: J. Larus
Source: NSF, 8/93-7/98

Parallel Symbolic Programming

Principal investigator: J. Larus
Source: NSF, 11/91-12/94

Global Scientific Computing Via a Flock of Condors

Principal investigator: M. Livny
Source: IBM, 9/93-9/98

Ingesting Data Using Workstation Clusters

Principal investigator: M. Livny
Source: NASA, 5/94-4/97

Scheduling Batch Jobs on a Cluster of Workstations

Principal investigator: M. Livny
Source: IBM, 11/94-12/95

Developing an Experiment Management System

Principal investigators: M. Livny and Y. Ioannidis
Source: NSF, 9/93-8/96

Applications, Algorithms and Theory of Mathematical Programming

Principal investigator: O. Mangasarian
Source: NSF, 9/94-8/95

Algorithms, Applications and Theory of Mathematical Programs

Principal investigator: O. Mangasarian
Source: NSF, 7/91-6/95

Center for Parallel Optimization

Principal investigators: O. Mangasarian and R. Meyer
Source: AFOSR, 8/94-8/96

High Performance Computation of Optimal Network Flows

Principal investigator: R. Meyer
Source: NSF, 8/93-7/96

Analysis Techniques for Parallel and Distributed Programs

Principal investigator: B. Miller
Source: ONR, 1/89-5/96

The IPS-2 Parallel Programming Performance Tools in Support of Systems Measurement

Principal investigator: B. Miller
Source: DEC, 6/90-1/95

Performance Tools for Support of Large-Scale Earth and Space-Science Applications

Principal investigator: B. Miller
Source: NASA, 7/94-6/97

The Parallel Programmer's Workbench Programming Tools in Support of Computational Science

Principal investigators: B. Miller and J. Larus
Source: DOE, 8/93-7/96

Blizzard and Paradyn: Infrastructure and Scalable Tools for Multi-Paradigm Parallel Computers

Principal investigators: B. Miller, M. Hill, J. Larus, D. Wood
Source: ARPA, 8/94-12/97

Presidential Young Investigator Award: Theory and Implementation of Database Systems

Principal investigator: J. Naughton
Source: NSF, 8/91-7/96

Effective Numerical Solution of Elliptic Equations

Principal investigator: S. Parter
Source: NSF, 7/95-6/97

The David and Lucile Packard Foundation Fellowship

Principal investigator: R. Ramakrishnan
Source: The Packard Foundation, 1/89-9/96

Presidential Young Investigator Award: Declarative Database Programming Languages

Principal investigator: R. Ramakrishnan
Source: NSF, 9/90-8/96

Declarative Database Programming Language

Principal investigator: R. Ramakrishnan
Source: IBM, 6/93-6/98

Intelligent Data Integration Management

Principal investigators: R. Ramakrishnan and Y. Ioannidis
Source: Office of Research and Development, 9/93-12/94

Analysis and Visualization of Sequence Data in the Earth Sciences

Principal investigators: R. Ramakrishnan and M. Livny
Source: NASA, 3/94-2/97

David and Lucile Packard Foundation Fellowship

Principal investigator: T. Reps
Source: The Packard Foundation, 11/88-9/95

Semantics-Based Program Integration

Principal investigator: T. Reps
Source: NSF, 7/91-6/96

Software Support for Programming-on-the-Large

Principal investigators: T. Reps, S. Horwitz, and M. Solomon
Source: ARPA, 6/92-6/96

Improved Techniques for Program Analysis and Program Slicing

Principal investigators: T. Reps and S. Horwitz
Source: DOD, 8/95-8/97

Computation and Theory for a Class of Nonsmooth Equations

Principal investigator: S. Robinson
Source: NSF and AFOSR, 2/92-6/95

Computation and Theory in Nonlinear Optimization

Principal investigator: S. Robinson
Source: AFOSR, 3/95-2/96

Competitive Tradeoff Modeling: Methodology, Computation, and Testing

Principal investigator: S. Robinson
Source: ARO, 3/95-2/96

Using Knowledge-Based Neural Networks to Learn in Dynamic Environments

Principal investigator: J. Shavlik
Source: ONR, 8/93-6/95

Providing Verbal Advice to Connectionist Learners

Principal investigator: J. Shavlik
Source: ONR, 2/95-1/98

Applying Machine Learning Techniques to DNA Sequence Analysis

Principal investigator: J. Shavlik
Source: DOE, 2/93-2/95

Using Neural Networks to Automatically Refine Expert System Knowledge Bases

Principal investigator: J. Shavlik
Source: NYNEX, 7/94-6/95

Simplification of Association Rule Sets Extracted Via Database Mining

Principal investigator: J. Shavlik
Source: IBM, 2/95-6/97

Selecting Good Input Representations for Machine Learning: Theory and Application to Image Analysis

Principal investigator: J. Shavlik
Source: NASA, 7/94-6/97

Studies in Instruction-Level Parallel Processing

Principal investigator: G. Sohi
Source: NSF, 5/93-5/96

Prototyping Multiscalar Processors

Principal investigator: G. Sohi
Source: NSF, 8/95-7/96

Software Support for Multiscalar Processors

Principal investigator: G. Sohi
Source: ONR, 6/93-5/96

Development and Evaluation of the Multiscalar Paradigm

Principal investigator: G. Sohi,
Source: ARPA, 12/95-9/98

The Implementation of a RASSP Engineering Database Interface

Principal investigator: M. Solomon
Source: Lockheed, 6/95-7/95

Theory and Application of Domain Decompositions Methods for Incompressible Fluid Flow

Principal investigator: J. Strikwerda
Source: NSF, 2/93-1/96

DNR Employee Assignment

Principal investigator: J. Strikwerda
Source: Wisconsin DNR, 6/94-9/94

Performance Analysis of Parallel Computer Systems

Principal investigator: M. Vernon
Source: NSF, 11/91-10/95

PRISM: A Laboratory for Research in Future High-Performance Parallel Computing

Principal investigators: M. Vernon et al.
Source: NSF, 6/91-12/97

Presidential Young Investigator Award: Memory Systems for Cost-Effective Computer Architectures

Principal investigator: D. Wood
Source: NSF, 7/91-6/96

Cooperative Shared Memory and the Wisconsin Wind Tunnel

Principal investigators: D. Wood, M. Hill, and J. Larus
Source: NSF, 6/93-6/96