Sofia Cavaco, August 2007 (Michael Lewicki)
Statistical Modeling and Synthesis of Intrinsic Structures in Impact Sounds

Joshua Dunfield, August 2007 (Frank Pfenning)
Unifying Principles of Type Refinements

Richard Ryan Williams, August 2007 (Manuel Blum)
Algorithms and Resource Requirements for Fundamental Problems

Dan Bohus, May 2007 (Alexander Rudnicky / Roni Rosenfeld)
Error Awareness and Recovery in Conversational Spoken Language Interfaces

James Robert Bruce, May 2007 (Manuela Veloso)
Real-Time Motion Planning and Safe Navigation in Dynamic Multi-Robot Environments

Kaustuv Chaudhuri (PAL PROGRAM), December 2006 (Frank Pfenning)
The Focused Inverse Method for Linear Logic

Pankajkumar Punjabrao Chauhan, May 2007 (Edmund Clarke)
Verification of Large Industrial Circuits Using SAT Based Reparameterization and Automated Abstraction-Refinement

Vincent Conitzer, August 2006 (Tuomas Sandholm)
Computational Aspects of Preference Aggregation

Carol Frieze, May 2007 (Lenore Blum) (Self-Defined)
The Critical Role of Culture and Environment as Determinants of Women's Participation in Computer Science

Mark Fuhs, December 2006 (David Touretzky)
Space and Context in the Rodent Hippocampal Region

Anubhav Gupta, August 2006 (Edmund Clarke)
Learning Abstractions for Model Checking

Rose Amanda Hoberman, May 2007 (Dannie Durand)
A Statistical Framework for Spatial Comparative Genomics

Glenn Judd, December 2006 (Peter Steenkiste)
Using Physical Layer Emulation to Understand and Improve Wireless Networks

Caitlin Kelleher, December 2006 (Randy Pausch)
Motivating Programming: Using Storytelling to make Computer Programming Attractive to Middle School Girls

Lea Danielle Kissner, August 2007 (Dawn Song)
Privacy-Preserving Distributed Information Sharing

Ioannis Koutis, May 2007 (Gary Miller)
Combinatorial and Algebraic Tools for Optimal Multilevel Algorithms

Lucian Vlad Lita, December 2006 (Jaime Carbonell)
Instance-Based Question Answering

Hugh Brendan McMahan, December 2006 (Geoffrey Gordon, Avrim Blum)
Robust Planning in Domains with Stochastic Outcomes, Adversaries, and Partial Observability

Daniel Neill, August 2006 (Andrew Moore)
Detection of Spatial and Spatio-Temporal Clusters

Alina Mihaela Oprea, May 2007 (Michael Reiter)
Efficient Cryptographic Techniques for Securing Storage Systems

Paul Reitsma, December 2006 (Nancy Pollard)
Evaluating Data Driven Character Animation

Liu Ren, December 2006 (Jessica Hodgins)
Statistical Analysis of Natural Human Motion for Animation

Alla Safonova, December 2006 (Jessica Hodgins)
Reducing the Search Space for Physically Realistic Human Motion Synthesis

Craig Soules, August 2006 (Gregory Ganger)
Using Context to Assist in Personal File Retrieval

Murali Talupur, December 2006 (Edmund Clarke)
Handling Unboundedness: Abstraction Techniques for Parameterized and Real Time Verification

Joseph Vanderwaart, August 2006 (Karl Crary)
Static Enforcement of Timing Policies Using Code Certification

Cheng-Wen Chris Wang, August 2006 (Gary Miller, Daniel Sleator)
Multi-Splay Trees

Adam Christopher Wierman, May 2007 (Mor Harchol-Balter)
Scheduling for Today's Computer Systems: Bridging Theory and Practice

Paul Nathan Bennett (Jaime Carbonell, John Lafferty)
Building Reliable Metaclassifiers for Text Learning

Daniel K. Blandford (Guy Blelloch)
Compact Data Structures with Fast Queries

Angela Karen Demke Brown (Todd Mowry)
Explicit Memory Management for Out-of-Core Applications

Sagar Jyoti Chaki (Edmund Clarke)
A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs

Shuchi Chawla (Avrim Blum)
Graph Algorithms for Planning and Partitioning

Shimin Chen (Anastassia Ailamaki and Todd Mowry)
Redesigning Database Systems in Light of CPU Cache Prefetching

Christopher Brian Colohan (Todd Mowry, Anastassia Ailamaki)
Applying Thread Level Speculation to Database Transactions

Kedar Dhamdhere (Guy Blelloch, R. Ravi)
Approximation Algorithms for Metric Embedding Problems

Stavros Harizopoulos (Anastassia Ailamaki)
Staged Database Systems

Urs Hengartner (Peter Steenkiste)
Access Control to Information in Pervasive Computing Environments

Ningning Hu (Peter Steenkiste)
Network Monitoring and Diagnosis Basedon Available Bandwidth Measurement

Scott Raymond Lenser (Manuela Veloso )
On-line Robot Adaptation to Environmental Change

Maxim Likhachev (Geoffrey Gordon, Sebastian Thrun)
Search-based Planning for Large Dynamic Environments

Ting Liu (Andrew Moore)
Fast Nonparametric Machine Learning Algorithms for High-dimensional Massive Data and Applications

Suman Kumar Nath (Srinivasan Seshan)
Exploiting Redundancy for Robust Sensing

Radu Stefan Niculescu (Tom Mitchell)
Exploiting Parameter Domain Knowledge for Learning Bayesian Networks

Takayuki Osogami (Mor Harchol-Balter)
Analysis of Multi-server Systems via Dimensionality Reduction of Markov Chains

Jia-Yu Pan ( Christos Faloutsos, Howard Wactlar)
Advanced Tools for Video and Multimedia Mining

Spyridon Papadimitriou (Christos Faloutsos)
Parameter-Free Spatial and Stream Mining

Sungwoo Park (Frank Pfenning, Sebastian Thrun)
A Programming Language for Probabilistic Computation

Bianca Schroeder (Mor Harchol-Balter)
Improving the Performance of Static and Dynamic Requests at a Busy Web Site

Luis Alfonso Von Ahn Arellano (Manuel Blum)
Human Computation

Mengzhi Wang (Anastassia Ailamaki)
Performance Modeling of Storage Devices using Machine Learning

Leejay Wu (Christos Faloutsos)
Automated Modeling and Nonlinear Axis Scaling

Yinglian Xie (David R. O'Halloran, Hui Zhang)
A Spatiotemporal Event Correlation Approach to Computer Security

Hal Joseph Burch, May 2005 (Bruce Maggs, Gary Miller)
Measuring an IP Network in situ

Yang-Hua Chu, May 2005(Hui Zhang)
Enabling Live Internet Broadcasting using an Application Endpoint Architecture

Rowan Davies, May 2005 (Frank Pfenning)
Practical Refinement-Type Checking

Joao de Jesus Sousa, May 2005 (David Garlan)
Scaling Task Management in Space and Time

Derek Raymond Dreyer, May 2005 (Robert Harper and Karl Crary)
Understanding and Evolving the ML Module System

Adam M. Fass, May 2005 (Randy Pausch)
MessyBoard: Lowering the Cost of Communication and Making it More Enjoyable

Jun Gao, December 2004 (Peter Steenkiste)
A Distributed and Scalable Peer-to-Peer Content Discovery System Supporting Complex Queries

Alex David Groce, May 2005 (Edmund Clarke)
Error Explanation and Fault Localization with Distance Metrics

Nicholas Hopper, August 2004 (Manuel Blum)
Toward a Theory of Steganography

An-Cheng Huang, December 2004 (Peter Steenkiste)
Building Self-configuring Services Using Service-specific Knowledge

Katherine Skirving Larson, August 2004 (Tuomas Sandholm)
Mechanism Design for Computationally-Limited Agents

Aleksandar Nanevski, August 2004 (Frank Pfenning)
Functional Programming with Names and Necessity

Leaf Eames Petersen, May 2005 (Robert Harper, Karl Crary)
Certifying Compilation for Standard ML in a Type Analysis Framework

Sanjay G. Rao, December 2004 (Hui Zhang)
Establishing the viability of End System Multicast using a Systems Approach to Protocol Design

Patrick Riley, May 2005 (Manuela Veloso)
Coaching: Learning and Using Environment and Agent Models for Advice

Sanjit Arunkumar Seshia, May 2005 (Randal Bryant)
Adaptive Eager Boolean Encoding for Arithmetic Reasoning in Verification

Dennis W. Strelow, December 2004 (Sanjiv Singh)
Motion Estimation from Image and Inertial Measurements

Desney Swee-Leong Tan, August 2004 (Randy Pausch)
Exploiting the Cognitive and Social Benefits of Physically Large Displays

Hakan Younes, December 2004 (Reid Simmons)
Verification and Planning for Stochastic Processes with Asynchronous Events

Antonia Bingheng Zhai, May 2005 (Todd Mowry)
Compiler Optimization of Value Communication for Thread-Level Speculation

Martin Zinkevich, August 2004 (Avrim Blum)
Theoretical Guarantees for Algorithms in Multi-Agent Settings

Andrew Bennett Bernard, May 2004 (Peter Lee)
Engineering Formal Security Policies for Proof-Carrying Cod

Mihai-Dan Budiu, May 2004 (Seth Goldstein)
Spatial Computation

Nathaniel Douglass Daw, August 2003 (David Touretzky)
Reinforcement Learning Models of the Dopamine System and their Behavioral Implications

Rune M. Jensen, August 2003 (Manuela Veloso)
Efficient BDD-Based Planning for Non-Deterministic, Fault-Tolerant, and Adversarial Domains

Jorjeta Guergui Jetcheva, May 2004 (David Johnson)
Adaptive Demand-Driven Multicast Routing in Multi-Hop Wireless Ad Hoc Networks

Qifa Ke, August 2003 (Takeo Kanade)
A Robust Subspace Approach to Extracting Layers from Image Sequences

Geoffrey Craig Langdale, December 2003 (Thomas Gross)
The Effect of Profile Choice and Profile Gathering Methods on Profile-Driven Optimization Systems

Tze-Sing Eugene Ng , December 2003 (Hui Zhang)
Network Support for Global-Scale Peer-to-Peer Systems

Dan Pelleg, May 2004 (Andrew Moore)
Scalable and Practical Probability Density Estimators for Scientific Anomaly Detection

Brigitte Pientka, December 2003 (Frank Pfenning)
Tabled Higher-order Logic Programming

Charles J. Rosenberg, May 2004 (Martial Hebert, Sebastian Thrun,)
Semi-Supervised Training of Models for Appearance-Based Statistical Object Detection Methods

Oleg M. Sheyner, May 2004 (Jeannette Wing)
Scenario Graphs and Attack Graphs

Bridget Spitznagel, May 2004 (David Garlan)
Title: Compositional Transformation of Software Connectors

Kathryn Van Stone, August 2003 (Stephen Brookes)
A Denotational Approach to Measuring Complexity in Functional Programs

Peter Venable, December 2003 (John Lafferty)
Modeling Syntax for Parsing and Translation

Alma Whitten, May 2004 (Doug Tygar)
Making Security Usable

Theodore Wong, May 2004 (Jeannette Wing)
Decentralized Recovery for Survivable Storage Systems

Weng-Keen Wong, May 2004 (Andrew Moore)
Data Mining for Early Detection of Disease Outbreaks

Ke Yang , May 2004 (Steven Rudich)
On the Communication Complexity of Correlation and Entanglement Distillation

Michael H. Bowling, May 2003 (Manuela Veloso)
Multiagent Learning in the Presence of Agents with Limitations

Shawn A. Butler, May 2003 (Mary Shaw)
Security Attribute Evaluation Method

Alexander Gray , May 2003 (Andrew Moore)
Bringing Tractability to Generalized N-Body Problems in Statistical and Scientific Computation

Aaron Greenhouse, May 2003 (William Scherlis)
A Programmer-Oriented Approach to Safe Concurrency

Yih-Chun Hu, May 2003 (David Johnson)
Enabling Secure High-Performance Wireless Ad Hoc Networking

Shyjan Mahamud, December 2002 (Martial Hebert, Reid Simmons)
Discriminative Distance Measures for Object Detection

Dimitris Margaritis, May 2003 (Sebastian Thrun)
Learning Bayesian Network Model Structure from Data

Michael Joseph Mateas, December 2002 (Jaime Carbonell, Joseph Bates)
Interactive Drama, Art and Artificial Intelligence

Mark Moll, August 2002 (Michael Erdmann)
Shape Reconstruction Using Active Tactile Sensors

Dushyanth Narayanan, August 2002 (M. Satyanarayanan)
Operating System Support for Mobile Interactive Applications

John Gregory Steffan, May 2003 (Todd Mowry)
Hardware Support for Thread-Level Speculation

James Davis Thomas, May 2003 (Katia Sycara)
News and Trading Rules

Will Uther, August 2002 (Manuela Veloso)
Tree Based Hierarchical Reinforcement Learning

Raluca Budiu, August 2001 (John Anderson)
The Role of Background Knowledge in Sentence Processing

Fay Wen Chang, May 2002 (Garth Gibson)
Using speculative execution to automatically hide I/O latency

Perry Sze-Din Cheng, December 2001 (Guy Blelloch, Robert Harper)
Parallel, Real-Time Garbage Collection

Scott Tor Davies, December 2002 (Andrew Moore)
Fast Factorized Density Estimation and Compression with Bayesian Networks

Frank Dellaert, December 2001 (Charles Thorpe, Sebastian Thrun)
Monte Carlo EM for Data Association and its Applications in Computer Vision

David Arthur Eckhardt, May 2002 (Peter Steenkiste)
An Internet-style Approach to Managing Wireless Link Errors

Jason Nelson Flinn, December 2001 (M. Satyanarayanan)
Extending Mobile Computer Battery Life through Energy-Aware Adaptation

Matthew Glickman, December 2001 (Katia Sycara, Joseph Bates)
An Empirical Investigation of the Evolution of Parent-Offspring Transmission in Evolutionary Search

John Langford, May 2002 (Avrim Blum)
Quantitatively Tight Sample Complexity Bounds

Wilfredo Marrero, December 2001 (Edmund Clarke)
Brutus: A Model Checker for Security Protocols

Rob Chisolm Miller, May 2002 (Brad Myers)
Lightweight Structure in Text

John Francis Pane, May 2002 (Brad Myers)
A Programming System for Children that is Designed for Usability

Adrian Perrig, May 2002 (Doug Tygar)
Security Protocols for Broadcast Networks

Jeffrey Scott Pierce, December 2001 (Randy Pausch)
Expanding the Interaction Lexicon for 3D Graphics

Jeffrey Polakow, August 2001 (Frank Pfenning, John Reynolds )
Ordered Linear Logic and Applications

Jovan Popovic, August 2001 (Michael Erdmann, Steven Seitz)
Interactive Design of Rigid-Body Simulations for Computer Animation

Douglas Rohde, May 2002 (David Plaut)
A Connectionist Model of Sentence Comprehension and Production

Sean Slattery, December 2001 (Tom Mitchell)
Hypertext Classification

Bryan Wayne Singer, December 2001 (Manuela Veloso)
Automating the Modeling and Optimization of the Performance of Signal Processing Algorithms

Belinda Carol Thom, December 2001 (Manuela Veloso)
BoB: An Improvisational Music Companion

Adam L. Berger, May 2001 (John Lafferty)
Statistical Machine Learning for Information Retrieval

Mei Chuah, August 2000 (James Morris, Stephen Roth)
AVID: Automatic Visualization Interface Designer

Craig Arthur Damon, August 2000 (Jeannette Wing)
Selective Enumeration

Sebastian Grassia, December 2000 (Andrew Witkin)
Knowledge-Enhanced Motion Transformation

Neil Thomas Heffernan III, May 2001 (John Anderson, Kenneth Koedinger)
Intelligent Tutoring Systems Have Forgotten the Tutor: Adding a Cognitive Model of Human Tutors

Adam Kalai, May 2001 (Avrim Blum)
Probabilistic and On-line Methods in Machine Learning

Bruce Lowekamp, December 2000 (Thomas Gross, David O'Hallaron)
Discovery and Application of Network Information

David Aaron Maltz, May 2001 (David Johnson)
On-Demand Routing in Multi-hop Wireless Mobile Ad Hoc Networks

Kamal Paul Nigam, May 2001 (Tom Mitchell)
Using Unlabeled Data to Improve Text Classification

Robert W. O'Callahan, May 2001 (Daniel Jackson, Jeannette Wing)
Generalized Aliasing as a Basis for Program Analysis Tools

Robert Thomas Olszewski, May 2001 (Roy Maxion, Daniel Siewiorek)
Generalized Feature Extraction for Structural Pattern Recognition in Time-Series Data

Carsten Schuermann (Pure and Applied Logic), August 2000 (Frank Pfenning)
Automating the Meta Theory of Deductive Systems

Christopher Stone, August 2000 (Robert Harper)
Singleton Kinds and Singleton Types

Andrew Willmott, December 2000 (Paul Heckbert)
Hierarchical Radiosity with Multiresolution Meshes

Hao Chi Wong (Pure and Applied Logic), August 2000 (Jeannette Wing)
Protecting Individuals' Interests in Electronic Commerce Protocols

Lars Birkedal, December 1999 (Dana Scott)
Developing Theories of Types and Computability via Realizability

Carl Burch, May 2000 (Avrim Blum)
On Line Algorithms for Expert Advice in Task Systems

Rob DeLine, December 1999 (Mary Shaw)
Resolving Packaging Mismatch

Peter A. Dinda, May 2000 (David O'Hallaron)
Resource Signal Prediction and Its Application To Real-time Scheduling Advisors

Juergen Dingel, December 1999 (Stephen Brookes)
Systematic parallel programming

Eugene Fink, August 1999 (Herbert Simon, Jaime Carbonell)
Automatic Representation Changes in Problem Solving

Howard Gobioff, August 1999 (Garth Gibson, Doug Tygar)
Security for a High Performance Commodity Storage Subsystem

Geoffrey Gordon, August 1999 (Tom Mitchell)
Approximate Solutions to Markov Decision Processes

Marius Minea, December 1999 (Edmund Clarke)
Partial Order Reduction for Verification of Timed Systems

Robert Monroe, August 1999 (David Garlan)
Rapid Development of Custom Software Architecture Design Environments

Thomas Stricker, May 2000 (Thomas Gross)
Direct Deposit Message Passing Communication

Claudson Ferriera Bornstein, August 1998 (Bruce Maggs, Gary Miller)
Parallelizing and De-parallelizing Elimination Orders

Justin Andrew Boyan, August 1998 (Scott Fahlman, Andrew Moore)
Learning Evaluation Functions for Global Optimization

Denis Razvan Dancanet, December 1998 (Stephen Brookes)
Intensional Investigations

Dayne Freitag, December 1998 (Tom Mitchell)
Machine Learning for Information Extraction

Michael Jeffrey Garland, May 1999 (Paul Heckbert)
Quadric-Based Polygonal Surface Simplification

Lorin Grubb, December 1998 (Roger Dannenberg)
Probabilistic Method for Tracking a Vocalist

Darrell Scott Kindred, May 1999 (Jeannette Wing)
Theory Generation for Security Protocols

Christian Lebiere, December 1998 (Scott Fahlman)
The Dynamics of Cognition: An ACT-R Model of Cognitive Arithmetic

Richard Gary McDaniel, May 1999 (Brad Myers, James Morris)
Building Whole Applications Using Only Programming-by-Demonstration

Arup Mukherjee, December 1998 (Daniel Siewiorek)
Supporting Online Services in Environments Constrained by Communication

Girija J. Narlikar, May 1999 (Guy Blelloch)
Space-efficient Scheduling for Parallel, Multithreaded Computations

George Ciprian Necula, December 1998 (Peter Lee)
Compiling with Proofs

Ljubomir Perkovic, (Algorithms, Combinatorics and Optimization) December 1998 (Dana Scott, Reed)
Edge Coloring, Polyhedra and Probability

Zoran Popovic, May 1999 (Andrew Witkin)
Motion Transformation by Physically Based Spacetime Optimization

Henry Allan Rowley, May 1999 (Takeo Kanade)
Neural Network-Based Face Detection

Andrea Werneck Richa, August 1998 (Algorithms, Combinatorics and Optimization) (Bruce Maggs)
On Distributed Network Resource Allocation

Dario Dino Salvucci, May 1999 (John Anderson)
Mapping Eye Movements to Cognitive Processes

Phoebe Sengers, December 1998 (AI and Cultural Theory) (Joseph Bates)
Anti-Boxology: Agent Design in Cultural Context

Peter Stone, December 1998 (Manuela Veloso)
Layered Learning in Multi-Agent Systems

Astro Teller, December 1998 (Manuela Veloso)
Algorithm Evolution with Internal Reinforcement for Signal Understanding

Daniel Tunkelang, December 1998 (Algorithms, Combinatorics and Optimization) (Daniel Sleator)
Applying Polynomial Approximation to Graph Drawing

Bwolen Po-Jen Yang, May 1999 (David O'Hallaron)
Optimizing Model Checking Based on BDD Characterization

James Blythe, May 1998 (Jaime Carbonell)
Planning under Uncertainty in Dynamic Domains

Jose Carlos Brustoloni, August 1997 (Peter Steenkiste)
Effects of Data Passing Semantics and Operating System Structure on Network I/O Performance

Richard Caruana, May 1998 (Jaime Carbonell)
Multitask Learning

Yirng-An Chen, May 1998 (Randal Bryant)
Arithmetic Circuit Verification Based on Word-Level Decision Diagrams

William Scott Draves, August 1997 (Peter Lee)
Automatic Program Specialization for Interactive Media

Maria Ebling, May 1998 (M. Satyanarayanan)
Translucent Cache Management for Mobile Computing

Karen Zita Haigh, May 1998 (Manuela Veloso)
Situation-Dependent Learning for Interleaved Planning and Robot Execution

Jonathan Hardwick, December 1997 (Guy Blelloch)
Practical Parallel Divide-and-Conquer Algorithms

Charles Krueger, December 1997 (David Garlan, Nico Habermann)
Modeling and Simulating a Software Architecture Design Space

Sven Koenig , December 1997 (Reid Simmons)
Goal-Directed Acting with Incomplete Information

Qingming Ma, May 1998 (Peter Steenkiste)
Quality-of-Service Routing in Integrated Services Networks

Clifford Wayne Mercer, August 1997 (Mootaz Elnozahy, Rajkumar)
Operating System Resource Reservation for Real-Time and Multimedia Applications

See-Kiong Ng, May 1998 (Mark Perlin)
Automating Computational Molecular Genetics: Solving the microsatellite genotyping problem

Brian David Noble, May 1998 (M. Satyanarayanan)
Mobile Data Access

John Mark Ockerbloom, May 1998 (David Garlan)
Mediating Among Diverse Data Formats

Manish Pandey, August 1997 (Randal Bryant)
Formal Verification of Memory Arrays

Aaron David Redish, August 1997 (David Touretzky)
Beyond the Cognitive Map: A Computational Neuroscience Theory of Navigation in the Rodent

Margaret Reid-Miller, May 1998 (Guy Blelloch)
Experiments with Parallel Pointer-Based Algorithms

Yury Smirnov (Algorithms, Combinatorics and Optimization), August 1997 (Manuela Veloso)
Hybrid Algorithms for On-Line Search and Combinatorial Optimization Problems

James M. Stichnoth, August 1997 (Thomas Gross)
Generating Code for High-Level Operations through Code Composition

Dafna Talmor, August 1997 (Gary Miller)
Well-Spaced Points for Numerical Methods

Andrew Tomkins, December 1997 (Merrick Furst)
Practical and Theoretical Issues in Prefetching and Caching

Santosh Vempala (Algorithms, Combinatorics and Optimization), August 1997 (Avrim Blum)
Geometric Tools for Algorithms

Minh Tue Vo, May 1998 (Alexander Waibel)
A Framework and Toolkit for the Construction of Multimodal Learning Interfaces

Marco Jack Zagha, May 1998 (Guy Blelloch)
Efficient Irregular Computation on High-Bandwidth Pipelined-Memory Multiprocessors

1996-97:

Erik M. Altmann, August 1996 (Bonnie John)
Episodic Memory for External Information

Shumeet Baluja, December 1996 (Dean Pomerleau)
Expectation-Based Selective Attention

Sergio Vale Aguiar Campos, December 1996 (Edmund Clarke)
A Quantitative Approach to the Formal Verification of Real-Time Systems

Lonnie Dale Chrisman, December 1996 (Tom Mitchell/Reid Simmons)
Approximation of Graphical Probabilistic Models by Iterative Dynamic Discretization and Application to Time-Series Segmentation

Christopher Paul Colby, August 1996 (Peter Lee)
Semantics-based Program Analysis via Symbolic Composition of Transfer Relations

Anwar Mohammed Ghuloum, December 1996 (Allan Fisher)
Compiling Recurrent and Irregular Serial Code for High Performance Computers

Richard Thomas Goodwin, December 1996 (Reid Simmons)
Meta-Level Control for Decision-Theoretic Planners

Keith D. Gremban, December 1996 (Gary Miller)
Combinatorial Preconditioners for Large, Sparse, Symmetric, Diagonally Dominant Linear Systems

John David Greiner, May 1997 (Guy Blelloch)
Semantics-based cost models for parallel functional languages

Somesh Jha, December 1996 (Edmund Clarke)
Symmetry and Induction in Model Checking

Jennifer Sheila Kay , December 1996 (Charles Thorpe)
STRIPE: Remote Driving Using Limited Image Data

James Anthony Landay, December 1996 (Brad Myers, James Morris)
Interactive Sketching for the Early Stages of User Interface Design

Mark David Lillibridge, May 1997 (Robert Harper)
Translucent Sums: A Foundation for Higher-Order Module Systems

Aaron Bryan Loyall, May 1997 (Joseph Bates)
Believable Agents: Building Interactive Personalities

Christopher Maeda, May 1997 (Brian Bershad, Eric Cooper)
Service Decomposition: A Structuring Principle for Flexible High-Performance Operating Systems

Lily Barkovic Mummert , December 1996 (M. Satyanarayanan)
Exploiting Weak Connectivity in a Distributed File System

Christopher David Okasaki, December 1996 (Peter Lee)
Purely Functional Data Structures

Susan Beth Older (Pure and Applied Logic), December 1996 (Stephen Brookes)
A Denotational Framework for Fair Communicating Processes

Jonathan Richard Shewchuk , May 1997 (Gary Miller, David O'Hallaron)
Delaunay Refinement Mesh Generation

Jefferey Allen Shufelt, August 1996 (David McKeown)
Projective Geometry and Photometry for Object Detection and Delineation

David Capers Steere, May 1997 (M. Satyanarayanan)
Using Dynamic Sets to Reduce the Aggregate Latency of Data Access

David Read Tarditi Jr., May 1997 (Peter Lee)
Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML.

Xuemei Wang, December 1996 (Jaime Carbonell)
Learning Planning Operation by Observation and Practice

Peter William Weyhrauch, May 1997 (Joseph Bates)
Guiding Interactive Drama

Mark Damon Wheeler, December 1996 (Katsushi Ikeuchi)
Automatic Modeling and Localization for Object Recognition

Xudong Zhao, August 1996 (Edmund Clarke)
Verification of Arithmetic Circuits

1995-96:

Anja Feldmann, December 1995 (Daniel Sleator, Bruce Maggs)
On-Line Call Admission for High-Speed Networks

Andrzej Olaf Filinski, May 1996 (John Reynolds, Robert Harper)
Controlling Effects

Shai Geva, August 1995 (Stephen Brookes)
A Study of Higher-Order Sequential Computation

Steven Guattery, December 1995 (Doug Tygar, Gary Miller)
Applications of Graph-Theoretical Properties

Jeffrey Jackson, August 1995 (Merrick Furst)
The Harmonic Sieve: A Novel Application of Fourier Analysis to Machine Learning Theory and Practice

Frederick Knabe, December 1995 (Jeannette Wing)
Language Support for Mobile Agents

Alon Lavie, May 1996 (Masaru Tomita)
GLR*: A Robust Grammar Focused Parser for Spontaneously Spoken Language

Alicia Perez, August 1995 (Jaime Carbonell)
Learning Search Control Knowledge to Improve Plan Quality

Lu Qi, May 1996 (M. Satyanarayanan, Nico Habermann)
Isolation-Only Transactions for Mobile Computing in Distributed Unix File Systems

Mark Walter Maimone, May 1996 (Steven Shafer)
Characterizing Stereo Matching Problems using Local Spatial Frequency

Greg Morrisett, December 1995 (Robert Harper, Jeannette Wing)
Compiling with Types

William Scott Neal Reilly, May 1996 (Joseph Bates)
Believable Social and Emotional Agents.

William J. Niehaus, May 1996 (Algorithms, Combinatorics and Optimization) (Egon Balas)
Design of Maximum Cardinality and Maximum Weight Clique Heuristics with Applications

Scott McBride Nettles, May 1996 (Jeannette Wing)
Safe and Efficient Persistent Heaps

Barak Avrum Pearlmutter , May 1996 (David Touretzky)
Investigation of Neural Networks as Gradient Systems

Conrad Poelman, August 1995 (Takeo Kanade)
The Paraperspective and Projective Factorization Methods for Recovering Shape and Motion

Ravishankar, M.K., May 1996 (Raj Reddy)
Efficient Algorithms for Speech Recognition

Will Welch, December 1995 (Andrew Witkin)
Serious Putty: Topological Design for Variational Curves and Surfaces

Michael Witbrock , May 1996 (Scott Fahlman, Alexander Waibel)
Learning Models of Speaker Variation

Amy Moormann Zaremski , May 1996 (Jeannette Wing)
Signature and Specification Matching

1994-95:

Prasad Chalasani, August 1994 (Avrim Blum)
Competitive Online Learning Algorithms for Navigation, Paging, and Predicting Switching Functions

John Cheng, May 1995 (Tom Mitchell)
Management of Speedup Mechanisms in Learning Architectures

Robert Doorenbos, May 1995 (Jill Fain Lehman)
Production Matching for Large Learning Systems

Michael Gleicher, December 1994 (Andrew Witkin)
A Differential Approach to Graphical Interaction

Aarti Gupta, December 1994 (Allan Fisher)
Inductive Boolean Function Manipulation: A Hardware Verification Methodology for Automatic Induction

Susan Hinrichs, May 1995 (Thomas Gross)
Compiler-Directed Architecture Dependent Communication Optimizations

Puneet Kumar, December 1994 (M. Satyanarayanan)
Mitigating the Effects of Optimistic Replication in a Distributed File System

Francesmary Modugno, May 1995 (Brad Myers)
Pursuit: Programming in the User Interface

John Mount, May 1995 (Ravindran Kannan)
Application of Convex Sampling to Optimization and Contingency Table Generation/Counting

Sean Smith , August 1994 (Doug Tygar)
Secure Distributed Time for Secure Distributed Protocols

Peter Stout , December 1994 (Brian Bershad, Eric Cooper)
WAX: A Wide-area Distributed Computation System

Joseph Tebelskis, May 1995 (Alexander Waibel)
Speech Recognition Using Neural Networks

Kim Ritter Wagner, August 1994 (Dana Scott)
Solving Domain Equations with Internal Pre-Orders

Jeffrey Todd Wilson (Pure and Applied Logic), August 1994 (Dana Scott)
The Assembly Tower and Some Categorical and Algebraic Aspects of Frame Theory

1993-94:

Derek Lee Beatty, December 1993 (Randal Bryant)
A Methodology for Formal Hardware Verification, with Applications to Microprocessors

John Bradley Chen, May 1994 (Doug Tygar)
The Impact of Software Structure and Policy on CPU and Memory System Performance

Richard Powell Draves Jr., May 1994 (Richard Rashid)
Control Transfer in Operating System Kernels

Timothy Scott Freeman, May 1994 (Frank Pfenning)
Refinement Types for ML

Bruce Lawrence Horn, December 1993 (James Morris, Jeannette Wing)
Constrained Objects

Mei-Yuh Hwang, December 1993 (Raj Reddy)
Subphonetic Acoustical Modeling for Speaker-Independent Continuous Speech Recognition

Richard Lawrence Lewis, December 1993 (Jill Fain Lehman)
An Architecturally-based Theory of Human Sentence Comprehension

David Elsey Long, August 1993 (Edmund Clarke)
Model Checking, Abstraction and Compositional Verification

John Samuel Pieper, December 1993 (H. T. Kung)
Compiler Techniques for Managing Data Motion

Todd Elliot Rockoff, May 1994 (Allan Fisher)
An Analysis of Instruction-Cached SIMD Computer Architecture

Ronald Rosenfeld, May 1994 (Raj Reddy, Xuedong Huang)
Adaptive Statistical Language Modeling

Jiri Sgall (Pure and Applied Logic), May 1994 (Steven Rudich)
Optimal Online Scheduling of Parallel Jobs

I-Chen Wu, August 1993 (H. T. Kung)
Multilist Scheduling: A New Parallel Programming Tool

Bennet Yee, May 1994 (Doug Tygar)
Using Secure Coprocessors

1992-93:

Ralf Brown, May 1993 (Jaime Carbonell, Masaru Tomita)
Using Multiple Adaptively-Weighted Strategies to Resolve Demonstratives

Jerry Burch, August 1992 (Edmund Clarke)
Trace Algebra for Automatic Verification of Real-Time Concurrent Systems

Robert Cohn, December 1992 (Tuomas Gross, H. T. Kung)
Source-level debugging of automatically parallelized programs

Yolanda Gil, August 1992 (Jaime Carbonell)
Acquiring Domain Knowledge for Planning by Experimentation

Andrew Hastings, August 1992 (Alfred Spector)
Transactional Distributed Shared Memory

Nevin Heintze, May 1993 (Peter Lee, FrankPfenning)
Set Based Program Analysis

Peter Jansen, December 1992 (Herbert Simon)
Using Knowledge About the Opponent in Game-Tree Search

Michael Jones, December 1992 (Anita Jones)
Transparently Interposing User Code at the System Interface

Robert Joseph, December 1992 (Jaime Carbonell)
Graphical Knowledge Acquisition for Visually-Oriented Planning Domains

Jay Kistler, May 1993 (M. Satyanarayanan)
Disconnected Operation in a Distributed File System

Karl Kluge, May 1993 (Charles Thorpe)
YARF: An Open-Ended Framework for Robot Road Following

Long-Ji Lin, December 1992 (Tom Mitchell)
Reinforcement Learning for Robots Using Neural Networks

Thomas Mathies, December 1992 (Ravindran Kannan)
Paths in Graphs and Parallel Computing

Spiro Michaylov, August 1992 (Frank Pfenning, Peter Lee)
Design and Implementation of Practical Constraint Logic Programming Systems

Carol Novak, December 1992 (Steven Shafer)
Estimating Scene Properties by Analyzing Color Histograms with Physics-Based Models

Thad Polk, December 1992 (Kurt VanLehn, Allen Newell)
Verbal Reasoning

David Pugh, May 1993 (Roger Dannenberg)
Using Interactive Sketch Interpretation to Design Solid Objects

Douglas Reece, August 1992 (Steven Shafer)
Selective Perception for Robot Driving

Ellen Siegel, May 1993 (Eric Cooper)
Applying High-Level Language Paradigms to Communication Software for Distributed Systems

Manuela Veloso, August 1992 (Jaime Carbonell)
Learning by Analogical Reasoning in General Purpose Problem Solving

1991-92:

Randy Brost, August 1991 (Matthen Mason)
Analysis and Planning of Planar Manipulation Tasks

Erik Brunvand, December 1991 (Robert Sproull)
Translating Concurrent Communicating Programs into Asynchronous Circuits

Siddhartha Chatterjee, December 1991 (Allan Fisher, Guy Blelloch)
Compiling Data-Parallel Programs for Efficient Execution on Shared-Memory Multiprocessors

Alan Christiansen, May 1992 (Matthew Mason, Tom Mitchell)
Automatic Acquisition of Task Theories for Robotic Manipulation

Scott Dietzen, May 1992 (Frank Pfenning, William Scherlis)
A Language for Higher-Order Explanation-Based Learning

Klaus Gross, December 1991 (Jaime Carbonell)