UW-Madison Computer Science Ph.D.s Awarded, September 1990 - August 2000 1990-91 Thin Fong Tsuei Speedup Prediction and Diagnosis for Shared Memory Multiprocessor Systems September 27, 1990, Mary K. Vernon Eugene Jon Shekita High Performance Implementation Techniques for Next-Generation Database Systems November 30, 1990, Michael J. Carey Eric Robert Lewis Maintaining Data Currency in Read-Only Published Information Retrieval Databases December 20, 1990, Larry Travis Younkyung Kang Randomized Algorithms for Query Optimization April 29, 1991, Yannis Ioannidis Anthony Rich Logic-Based System Modelling May 1, 1991, Marvin Solomon Jonathon Sorenson Algorithms in Number Theory May 8, 1991, Eric Bach Igor Steinberg Design and Analysis of Parallel Algorithms for Game-Tree Search June 14, 1991, Marvin Solomon Mark Allmen Toward Spatiotemporal-Motion-Based Recognition June 25, 1991, Charles Dyer Richard Kessler Analysis of Multi-Megabyte Secondary CPU Cache Memories July 15, 1991, Mark Hill William Brent Seales Appearance Models of 3D Shape for Machine Vision and Graphics July 29, 1991, Charles Dyer Jayant Haritsa Transaction Scheduling in Firm Real-Time Database Systems July 29, 1991, Miron Livny Phillip Edward Pfeiffer IV Some Results Concerning Dependence-Based Representation for Programs with Pointer Variables August 8, 1991, Thomas Reps David Binkley Multi-Procedure Program Integration August 12, 1991, Thomas Reps Robert Netzer Race Condition Detection for Debugging Shared-Memory Programs August 12, 1991, Barton Miller David Cohrs A Specification Language for Multi-Domain Network and Distributed Systems Management August 21, 1991, Barton Miller Men-Chow Chiang Memory System Design for BUS Based Multiprocessors August 22, 1991, Gurindar Sohi 1991-92 Sriram Vajapeyam Instruction-Level Characterization of the Cray Y-MP Processor September 20, 1991, Gurindar Sohi Gary Schultz Barrier Decomposition for the Parallel Optimization September 26, 1991, Robert Meyer Geoffrey G. Towell Symbolic Knowledge and Neural Networks: Insertion, Refinement and Extraction October 31, 1991, Jude Shavlik V. Srinivasan On-Line Processing in Large-Scale Transaction Systems December 31, 1991, Michael J. Carey Mark Friedman A Characterization of Prolog Execution January 24, 1992, Gurindar Sohi S. Seshadri Probabilistic Methods in Query Processing May 29, 1992, Jeffrey Naughton Daniel Lieuwen Optimizing and Parallelizing Loops in Object-Oriented Database Programming Languages June 30, 1992, David DeWitt Steven Scott Toward the Design of Large-Scale, Shared-Memory Multiprocessors July 6, 1992, James R. Goodman Todd Proebsting Code Generation Techniques July 20, 1992, Charles Fischer Emmanuel Tsangaris Principles of Static cluserting for Object Oriented Databases July 21, 1992, Jeffrey Naughton Joao Meidanis Algorithms for Problems in Computational Genetics July 29, 1992, Eric Bach & Deborah Joseph (Co-Chairmen) Sundararajarao Sudarshan Optimizing Bottom-Up Query Evaluation for Deductive Databases July 30, 1992, Raghu Ramakrishnan Philip Woest Efficient Synchronization For Large-Scale Shared-Memory Multiprocessors August 5, 1992, James R. Goodman .ti 0 1992-93 Alvin Sek See Lim A State Machine Approach to Reliable and Dynamically Reconfigurable Distributed Systems September 21, 1992, Stuart Friedberg Ross Johnson Extending the Scalable Coherent Interface for Large-Scale Shared-Memory Multiprocessor January 19, 1993, James R. Goodman Jonathan Yackel Minimum-Perimeter Tiling in Parallel Computation May 12, 1993, Robert R. Meyer Eric Gutstein Sift: A Self-Improving Fractions Tutor June 21, 1993, Jude Shavlik Paul Bober Towards Practical Multiversion Locking Techniques for On-Line Query Processing June 30, 1993, Michael Carey Michael Franklin Caching and Memory Management in Client-Server Database Systems June 30, 1993, Michael Carey Scott Vandenberg Algebras for Object-Oriented Query Languages June 30, 1993, David DeWitt Kristin Bennett Machine Learning Via Mathematical Programming July 16, 1993, Olvi Mangasarian Ganesan Ramalingam Bounded Incremental Computation July 20, 1993, Thomas Reps Thomas J. Ball The Use of Control-Flow and Control Dependence in Software Tools July 21, 1993, Susan Horwitz B. Narendran Parallel Relaxation Algothithms for Min-Cost Flows July 28, 1993, Prasoon Tiwari Shaul Dar Augmenting Databases with Generalized Transitive Closure July 30, 1993, Raghu Ramakrishnan Jun Ren Computable Error Bounds in Mathematical Programming July 30, 1993, Olvi Mangasarian Lorenz Huelsbergen Dynamic Language Parallelization August 4, 1993, James Larus Divesh Srivastava Representing and Querying Complex Information in the Coral Deductive Database System August 5, 1993, Raghu Ramakrishnan Mani, Ganesh Learning Language about Objects and Using This Language to Learn Further: The Childlike System August 9, 1993, Leonard Uhr 1993-94 Vikram Adve Analyzing the Behavior and Performance of Parallel Programs September 17, 1993, Mary Vernon Sarita Adve Designing Memory Consistence Models for Shared-Memory Multiprocessors September 27, 1993, Mark Hill Manoj Franklin The Multiscalar Architecture September 29, 1993, Gurindar Sohi Rajesh K. Mansharamani Efficient Analysis of Parallel Processor Scheduling Policies October 25, 1993, Mary Vernon Joann Ordille Descriptive Name Services for Large Internets November 18, 1993, Barton Miller Hwee Hwa Pang Query Scheduling in Firm Real-Time Database Systems December 21, 1993, Miron Livny/Michael Carey Menglin Cao PL-Homotopies and Variational Inequalities January 10, 1994, Michael Ferris Gary Lewandowski Practical Implementations and Applications of Graph Coloring July 29, 1994, Anne Condon Steven Dirkse Robust Solution of Mixed Complementarity Problems August 1, 1994, Michael Ferris Spryridon Kontogiorgis Alternating Directions Methods for the Parallel Solution of Large-Scale Block-Structured Optimization Problems August 2, 1994, Robert Meyer Renee Miller Managing Structural Heterogeneity August 4, 1994, Yannis Ioannidis William Nick Street Cancer Diagnosis and Prognosis via Linear-Programming-Based Machine Learning August 10, 1994, Olvi Mangasarian Paul David Adams Logic-Based Software Construction August 11, 1994, Marvin Solomon Jeffrey Hollingsworth Finding Bottlenecks in Large-Scale Parallel Programs August 15, 1994, Barton Miller Theodore Faber Dynamic Time Windows: Congestion Control and Avoidance in High Speed Networks August 22, 1994, Lawrence Landweber Seth White Pointer Swizzling Techniques for Object-Oriented Databases August 26, 1994, David DeWitt Mitchell Tasman Protocols and Caching Strategies in Support of Internetwork Mobility August 29, 1994, Lawrence Landweber 1994-95 Manish Mehta Resource Allocation in Parallel Shared-Nothing Parallel Database Systems September 2, 1994, David DeWitt Kiriakos Kutulakos Exploring Objects by Controlling the Point of Observation October 3, 1994, Charles Dyer Gregory Brewster The Impact of Propagation Delays on the Performance of Distributed Queue Dual Bus Networks December 6, 1994, Mary Vernon Odysseas George Tsatalos The GMAP: A Versatile Tool for Physical Data Independence December 19, 1994, Marvin Solomon William Hibbard A Lattice Theory of Data Display February 6, 1995, Charles Dyer Golbon Zakeri Multi-Coordination Methods for Parallel Solution of Block-Angular Programs May 15, 1995, Robert R. Meyer Madhusudhan Talluri Use of Superpages and Subblocking in the Address Translation Hierachy June 1, 1995, Mare Hill Walter Ludwig Algorithms for Scheduling Malleable and Nonmalleable Parallel Tasks June 28, 1995, Eric Bach Joseph Hellerstein Optimization and Execution Techniques for Queries with Expensive Methods July 12, 1995, Jeffrey Naughton Mikhail Solodov Nonmonotone and Perturbed Optimization July 13, 1995, Olvi Mangasarian Janet Wiener Algorithms for Loading Object-Oriented Databases July 13, 1995, Jeffrey Naughton Chunhui Chen Smoothing Methods in Mathematical Programming July 17, 1995, Olvi Mangasarian Stephen Billups Algorithms for Complementarity Problems and Generalized Equations August 7, 1995, Michael Ferris David Opitz An Anytime Approach to Connectionist Theory Refinement Refining the Topologies of Knowledge-Based Neural Networks August 8, 1995, Jude Shavlik Eben Haber Visual Schema Management for Database Systems August 10, 1995, Yannis Ioannidis Richard Maclin Learning from Instruction and Experience: Methods for Incorporating Procedural Domain Theories into Knowledge-Based Neural Networks August 10, 1995, Jude Shavlik Craig Freedman Spiffi--A General Purpose Scalable Parallel File System August 25, 1995, David DeWitt Kurt Brown Goal-Oriented Memory Allocation in Database Management Systems August 25, 1995, Michael Carey Michael Cheng Visual Exploration of Large Amounts of Record Based Sequence Data August 25, 1995, Miron Livny 1995-96 Robert Bruce Irvin Performance Measurement Tools for High-Level Parallel Programming Languages October 2, 1995, Barton Miller Armand Zakarian Nonlinear Jacobi and Epsilon Relaxation Methods for Parallel Network Optimization October 20, 1995, Robert Meyer Alvin Lebeck Tools and Techniques for Memory System Design and Analysis October 24, 1995, David Wood Bradley Scott Rubin Information Retrieval Using a Combined Object-Oriented Database/File System Paradigm December 12, 1995, Jeffrey Naughton Dionisios Pnevmatikatos Incorporating Guarded Execution in Existing Instruction Sets December 14, 1995, Gurindar Sohi Steven Kurlander Approaches to Interprocedural Register Allocation January 11, 1996, Charles Fischer Todd Austin Hardware and Software Mechanisms for Reducing Load Latency April 2, 1996, Gurindar Sohi Harish Patil Efficient Program Monitoring Techniques June 25, 1996, Charles Fischer Ambuj Shatdal Architectural Considerations for Parallel Query Evaluation Algorithms July 3, 1996, Jeffrey Naughton Shivakumar Venkataraman Global Memory Management for Multi-Server Database Systems July 9, 1996, Jeffrey Naughton Robert Todd Olsen Using Dynamic Packet Scheduling to Support Services with Delay as the QOS Metric July 11, 1996, Lawrence Landweber Praveen Seshadri Management of Sequence Data July 19, 1996, Raghu Ramakrishnan Ramakrishnan Srikant Fast Algorithms for Mining Association Rules and Sequential Patterns July 25, 1996, Jeffrey Naughton James Pruyne Resource Management Services for Parallel Applications July 31, 1996, Miron Livny Ioannis Christou Distributed Genetic Algorithms for Partitioning Uniform Grids July 31, 1996, Robert Meyer Bradley Richards Memory Systems for Parallel Programming August 15, 1996, James Larus 1996-97 Guhan Viswanathan New Techniques for Compiling Data-Parallel Languages September 9, 1996, James Larus Mark Craven Extracting Comprehensible Models from Trained Neural Networks September 16, 1996, Jude Shavlik Joseph Albert Schema and Data Integration in Heterogeneous Multidatabase Systems November 21, 1996, Raghu Ramakrishnan Steven Reinhardt Mechanisms for Distributed Shard Memory November 25, 1996, David Wood Mark McAuliffe Storage Management Methods for Object Database Systems December 4, 1996, Marvin Solomon Markos Zaharioudakis Highly Concurrent Cache Consistency for Client-Server OODB Systems December 4, 1996, Michael Carey Tian Zhang Data Clustering and Density Estimation for Very Large Datasets Plus Applications December 17, 1996, Raghu Ramakrishnan Viswanath Poosala Histogram-Based Estimation Techniques in Database Systems February 12, 1997, Yannis Ioannidis Jussi Myllymaki Concurrent Data Streams with Heterogeneous Devices March 6, 1997, Miron Livny Viresh Ratnakar Quality-Controlled Lossy Image Compression May 27, 1997, Miron Livny Susan Hert Computational Geometry for Multiple-Robot Motion Planning June 23, 1997, Vladimir Lumelsky 1997-98 Steven Seitz Image-Based Tranformation of Three-Dimensional Scenes October 1, 1997, Charles Dyer Satish Chandra Software Techniques for Customizable Distributed Shared Memory October 3, 1997, James Larus Ioannis Schoinas Fine-Grain Distributed Shared Memory on clusters of Workstations November 19, 1997, Mark Hill Jignesh Patel Efficient Database Support for Spatial Applications December 3, 1997, David DeWitt Babak Falsafi Fine-Grain Protocol Execution Mechanisms and Scheduling Policies December 12, 1997, David Wood T.N. Vijaykumar Compiling for the Multiscalar Architecture December 16, 1997, Gurindar Sohi Shubhendu Mukherjee A Simulation Study of Network Interface Design Alternatives December 17, 1997, Mark Hill Manuvir Das Partial Evaluation Using Dependence Graphs February 2, 1998, Thomas Reps Subbarao Palacharla Complexity-Effective Superscalar Processors January 20, 1998, James Smith Scott Breach Design and Evaluation of a Multiscalar Processor June 4, 1998, Gurindar Sohi John Shafer Parallelization of Data Mining Operations May 5, 1998, Michael Carey Gareth Bestor Recovering Feature and Observer Position by Projected Error Refinement June 4, 1998, Charles Dyer Yihong Zhao Performance Issues of Multi-Dimensional Data Analysis June 22, 1998, Jeffrey Naughton Stefanos Kaxiras Static, Dynamic, Address-Based and Instruction-Based Optimizations for High-Performance Scalable Shared Memory July 15, 1998, James Goodman Michael Siff Techniques for Software Renovation August 3, 1998, Thomas Reps John Watrous Space-Bounded Quantum Computation August 4, 1998, Eric Bach Sun B. Chung Parallel Design and Implementation of Graph Algorithms for Minimum Spanning Tree, List Ranking and Root Finding August 5, 1998, Anne Condon Minos Garofalakis Query Scheduling and Optimization in Parallel and Multimedia Databases August 7, 1998, Yannis Ioannidis Paul Bradley Mathematical Programming Approaches to Machine Learning and Data Mining August 27, 1998, Olvi Mangasarian 1998-99 Douglas Burger Hardware Techniques to Improve the Performance of the Processor/Memory Interface November 18, 1998, James Goodman Alain Kagi Mechanisms for Efficient Shared-Memory Synchronization January 14, 1999, James Goodman Liang-Yin Yu Active 3D Surface Modeling Using Perception-Based, Differential Geometric Primitives June 1, 1999, Charles Dyer Trishul Chilimbi Cache-Conscious Data Structures - Design and Implementation June 10, 1999, James Larus Navin Kabra Query Optimization for Object-Relational Database Systems June 17, 1999, David DeWitt Carolyn Allex Computational Methods for Fast and Accurate DNA Fragment Assembly June 25, 1999, Jude Shavlik Tia Newhall Performance Measurement of Interpreted, Just-in-Time Compiled, and Dynamically Compiled Executions July 23, 1999, Barton Miller Eric Rotenberg Trace Processors August 9, 1999, James Smith (ECE) Johannes Gehrke Scalable Classification Tree Construction August 20, 1999, Raghu Ramakrishnan Chee-Yong Chan Indexing Techniques in Decision Support Systems August 20, 1999, Yannis Ioannidis Biswadeep Nag Memory Management Strategies for Decision Support Systems August 23, 1999, David DeWitt Amit Shukla Materialized View Selection for Multidimensional Datasets August 23, 1999, Jeffrey Naughton 1999-00 Jonathan Goldstein Improved Query Processing and Data Representation Techniques September 29, 1999, Raghu Ramakrishnan Prasad Deshpande Efficient Database Support for OLAP Queries October 8, 1999, Jeffrey Naughton Karen Karavanic EXPERIMENT MANAGEMENT SUPPORT FOR PARALLEL PERFORMANCE TUNING Decemter 16, 1999, Barton Miller William Donaldson GRID-GRAPH PARTITIONING December 17, 1999, Robert Meyer Avinash Sodani DYNAMIC INSTRUCTION REUSE March 1, 2000, Gurindar Sohi Venkatesh Ganti Demon: Mining and Monitoring Evolving Data June 19, 2000, Raghu Ramakrishnan Todd Munson Algorithms and Environments for Complementarity July 24, 2000, Michael Ferris David Musicant Data Mining via Mathematical Programming and Machine Learning Methods July 27, 2000, Olvi Mangasarian Donko Donjerkovic Techniques for Partial Query Evaluation August 14, 2000, Raghu Ramakrishnan