Research Grants and Contracts

Algorithms in Number Theory

Principal investigator: E. Bach
Source: NSF

Multivariate Approximation

Principal investigators: C. de Boor and A. Ron
Source: NSF and ARO

Research on Internet-Based Information Servers and Services

Principal investigator: S. Calcari and L. Landweber
Source: NSF

Net Scout

Principal investigators: S. Calcari and L. Landweber
Source: NSF

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

Principal investigator: A. Condon
Source: NSF

DNA Computing and Surface-Based Chemistry

Principal investigator: A. Condon and R. Corn (Chemistry)
Source: NSF

DNA Computation on Surfaces

Principal investigators: A. Condon and M. Lagally (Mat. Sci. & Engr.)
Source: NSF

Paradise - A Parallel Information System for EOSDIS

Principal investigator: D. DeWitt
Source: NASA

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

Principal investigator: D. DeWitt
Source: NASA

Architectures for Query Processing in Persistent Object Bases

Principal investigator: D. DeWitt
Source: Oregon Graduate Institute

Paradise and Direct Broadcast Satellite: A Solution to Battlefield Data Dissemination for the 21st Century

Principal investigators: D. DeWitt and J. Naughton
Source: DARPA

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

Principal investigators: D. DeWitt, J. Naughton, and M. Solomon
Source: DARPA

Steerable Appearance Modeling of Three-Dimensional Scenes

Principal investigator: C. Dyer
Source: NSF

Steerable Gaze Control for a Video-Based Virtual Surveillant

Principal investigators: C. Dyer
Source: DARPA

Purpose Vision in Robot Exploration of Three-Dimensional Scenes

Principal investigators: C. Dyer and V. Lumelsky
Source: NSF

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

Principal investigator: M. Ferris
Source: NSF

Applications, Algorithms and Extensions of Complimentarity

Principal investigator: M. Ferris
Source: NSF

Advances in Register Allocation and Efficient Run-Time Program Analysis

Principal investigator: C. Fischer
Source: NSF

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

Principal investigator: J. Goodman
Source: NSF

Galileo: Exploring Future Limits of Computing Technology

Principal investigator: J. Goodman
Source: Intel

Program Dependence Graphs and Dataflow Analysis

Principal investigator: S. Horwitz
Source: NSF

The Parallel PRISM Toolbox: Portable Application-Driven Eigensolvers

Principal investigator: S. Huss-Lederman
Source: DOE

Presidential Young Investigator Award: Next Generation Database Systems

Principal investigator: Y. Ioannidis
Source: NSF

Integrated Access to a Cluster of Data Providers

Principal investigators: Y. Ioannidis, M. Livny, and R. Ramakrishnan
Source: ORD

NSF Young Investigator Award: Programming Massively-Parallel Computers

Principal investigator: J. Larus
Source: NSF

Ingesting Data Using Workstation Clusters

Principal investigator: M. Livny
Source: NASA

Research in the Area of Scheduling Batch Jobs on a Cluster of Workstations

Principal investigator: M. Livny
Source: IBM

Developing an Experiment Management System

Principal investigators: M. Livny and Y. Ioannidis
Source: NSF

Visual Support for Data Miner

Principal investigator: M. Livny and R. Ramakrishnan
Source: IBM

Advanced Interfaces to Scientific Databases

Principal investigators: M. Livny, Y. Ioannidis, and J. Norman (Soil Science)
Source: NSF

Algorithms, Applications and Theory of Mathematical Programs

Principal investigator: O. Mangasarian
Source: NSF

Machine Learning Via Mathematical Programming

Principal investigator: O. Mangasarian
Source: AFOSR

High Performance Computation of Optimal Network Flows

Principal investigator: R. Meyer
Source: NSF

Experiment Management Support for Performance Tuning Large-Scale Parallel and Distributed Applications

Principal investigator: B. Miller
Source: NASA

Tools for the Development of High Performance Energy Applications and Systems

Principal investigator: B. Miller
Source: DOE

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

Principal investigators: B. Miller, M. Hill, J. Larus, and D. Wood
Source: DARPA

Presidential Young Investigator Award: Theory and Implementation of Database Systems

Principal investigator: J. Naughton
Source: NSF

MIDSHIP: Managing Image Data for Scalable High Performance

Principal investigators: J. Naughton, J. Larus, et al.
Source: NSF

The Effective Numerical Solution of Elliptic Equations

Principal investigator: S. Parter
Source: NSF

The David and Lucile Packard Foundation Fellowship

Principal investigator: R. Ramakrishnan
Source: The Packard Foundation

Content-Based Queries in Image Databases

Principal investigator: R. Ramakrishnan
Source: NSF

Exploratory Analysis of Large Datasets

Principal investigator: R. Ramakrishnan
Source: IBM

Declarative Database Programming Language

Principal investigator: R. Ramakrishnan
Source: IBM

Analysis and Visualization of Sequence Data in the Earth Sciences

Principal investigators: R. Ramakrishnan and M. Livny
Source: NASA

Semantics-Based Program Manipulation

Principal investigator: T. Reps
Source: NSF

Technical Opportunities to Help with the Year 2000 Problem

Principal investigator: T. Reps
Source: ONR

A Preprocessor for Activity Analysis of ANSI-C Programs

Principal investigator: T. Reps
Source: DOE

Improved Techniques for Program Analysis and Program Slicing

Principal investigators: T. Reps and S. Horwitz
Source: DARPA

Software Support for Programming-in-the-Large

Principal investigator: T. Reps, S. Horwitz, and M. Solomon
Source: DARPA

Planning Under Uncertainty: Methods and Applications

Principal investigator: S. Robinson
Source: AFOSR

Competitive Tradeoff Modeling: Methodology, Computation, and Testing

Principal investigator: S. Robinson
Source: ARO

Providing Verbal Advice to Connectionist Learners

Principal investigator: J. Shavlik
Source: ONR

Learning from Instruction and Experience

Principal investigator: J. Shavlik
Source: NSF

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

Principal investigator: J. Shavlik
Source: NASA

Studies in Instruction-Level Parallel Processing

Principal investigator: G. Sohi
Source: NSF

Prototyping Multiscalar Processors

Principal investigator: G. Sohi
Source: NSF

Development and Evaluation of the Multiscalar Paradigm

Principal investigator: G. Sohi
Source: DARPA

Theory and Application of Domain Decompositions Methods for Incompressible Fluid Flow

Principal investigator: J. Strikwerda
Source: NSF

Analysis of Parallel Solution Methods for Scientific Computation

Principal investigator: J. Strikwerda
Source: NSF

Faculty Award for Women in Science & Engineering: Performance Analysis of Parallel Computer Systems

Principal investigator: M. Vernon
Source: NSF

An Environment for End-to-end Performance Design of Large-Scale Parallel Adaptive Computer/Communication Systems

Principal investigator: M. Vernon
Source: DARPA

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

Principal investigators: M. Vernon et al.
Source: NSF

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

Principal investigator: D. Wood
Source: NSF

Cooperative Shared Memory and the Wisconsin Wind Tunnel

Principal investigators: D. Wood, M. Hill, and J. Larus
Source: NSF

Fine-Grain Distributed Shared Memory for SMP Clusters

Principal investigators: D. Wood and J. Larus
Source: NSF