2022

Amjad, Ghous

Theoretical and Practical Advances in Structured Encryption
• Seny Kamara, advisor

Choe, Jiwon

Concurrent Data Structures with Near-Memory Processing: Software-Hardware Co-Design
• R. Iris Bahar , advisor

DeMarinis, Nicholas

Improving Application Security at Scale by Reducing System Call and Library Overprivilege
• Vasileios Kemerlis, advisor

Khan, Numair

Are Multi-view Edges Incomplete
• James Tompkin, advisor

Liu, Yanqi

Towards Robust and Energy-efficient Robot Perception Compute System
• Iris Bahar, advisor

Trimbach, Carl

Methods for Teaching Hard Learning Problems
• Michael Littman, advisor

Wang, Linnan

Building an Intelligent Agent to Design Neural Networks
• Rodrigo Fonseca, advisor

Wrenn, John

Executable Examples: Empowering Students to Hone Their Problem Comprehension
• Shriram Krishnamurthi, advisor

Yang, Fumeng

Fusing visualization, virtual reality, and vision science for scientific thinking
• David Laidlaw, advisor

2021

Agarwal, Archita

Encrypted Distributed Storage Systems
• Seny Kamara, advisor

Areyan Viqueira, Enrique

Learning Equilibria of Simulation-Based Games: Applications to Empirical Mechanism Design
• Amy Greenwald, advisor

Asadi, Kavosh

Smoothness in Reinforcement Learning with Large State and Action Spaces
• Michael Littman, advisor

Cousins, Cyrus

Bounds and Applications of Concentration of Measure in Fair Machine Learning and Data Science
• Eli Upfal, advisor

Dursun, Kayhan

Query Processing for Data Analytics on Modern Multicore Systems
• Ugur Cetintemel, advisor

Lee, Chun Hin Jasper

Classic and Modern Challenges in Statistical Estimation

Paul Valiant, advisor

Lehnert, Lucas

Encoding Reusable Knowledge in State Representations
• Michael Littman, advisor

Novotny, Johannes

Using Virtual Reality Effectively in Scientific Data Exploration - Perception, Usability and Design in Immersive Displays
• David Laidlaw, advisor

Saarinen, Sam

Query Strategies for Directed Graphical Models and their Application to Adaptive Testing
• Michael Littman, advisor

Wang, Guan "Royal"

Interactive Reinforcement Learning from Human Language and Evaluative Feedback Through Task Decomposition
• Michael Littman, advisor

Zhao, Zheguang

Building a Structurally-Encrypted Relational Database System
• Seny Kamara, advisor
• Stan Zdonik, advisor

2020

Abel, David

A Theory of Abstraction in Reinforcement Learning
• Michael Littman, advisor

Ando, Megumi

Onions, Shallots and Leaks: Anonymous Communications Through Public Networks
• Anna Lysyanskaya, advisor

Daskalova, Nediyana

Personalized Systems for Guided and Flexible Self-Experiments
• Jeff Huang, advisor

Deshpande, Apoorvaa

Enhancing Privacy-Preserving Proof Systems
• Anna Lysyanskaya, advisor

DeStefani, Lorenzo

Probabilistic approaches for rigorous and efficient analysis of statistical properties of large datasets
• Eli Upfal, advisor

Eichmann, Philipp

Visual Methods for Exploring and Forecasting Time Series
• Andy van Dam, advisor

Gopalan, Nakul

Learning to Ground Natural Language Instructions to Plans
• Stefanie Tellex, advisor

Satas, Gryte

Tumor Phylogeny Reconstruction from DNA Sequencing Data
• Ben Raphael, advisor

Zamanian Dolati, Erfan

Distributed Transaction Processing on Modern RDMA-enabled Networks
• Tim Kraska, advisor

2019

Becker, Amariah

Approximation Algorithms for Capacitated Facility-Placement and Vehicle-Routing Problems in Transportation Networks
• Philip Klein, advisor

Chung, Yeounoh

Quantifying Uncertainty in Data Exploration
• Tim Kraska, advisor

Crotty, Andrew

Code Generation for In-Memory Data Analytics
• Tim Kraska, advisor

Dickerson, Thomas

Adapting Persistent Data Structures for Concurrency and Speculation
• Maurice Herlihy, advisor

Galakatos, Alexander

Accelerating Interactive Data Exploration
• Tim Kraska, advisor

Kornaropoulos, Evgenios

Information Leakage in Encrypted Systems Through an Algorithmic Lens
• Roberto Tamassia, advisor

Meehan, John

Transactional Streaming: Managing Push-Based Workloads with Shared Mutable State in a Distributed Setting
• Stanley Zdonik, advisor

Oberlin, John

Light Fields and Synthetic Aperture Photography for Robotic Perception
• Stefanie Tellex, advisor

Rasley, Jeffrey

Application-Aware Cluster Resource Management
• Rodrigo Fonseca, advisor

Saraph, Vikram

Fault-Tolerant Distributed Computability
• Maurice Herlihy, advisor

Tanner, Chris

Cross-Document Coreference Resolution for Entities and Events
• Eugene Charniak, advisor

Whitney, David

Multimodal Human-Robot Interaction With Decision Theory and Mixed Reality
• Stefanie Tellex, advisor

Yu, Da

Towards Reliable and Predictable Networks
• Rodrigo Fonseca, advisor

2018

Chua, Jeroen

Probabilistic Scene Grammars: A General-Purpose Framework For Scene Understanding
• Pedro Felzenszwalb, advisor

Ghosh, Esha

Integrity and Privacy in the Cloud: Efficient algorithms for secure and privacy-preserving processing of outsourced data
• Roberto Tamassia, advisor

Papoutsaki, Alexandra

Democratizing Eye Tracking
• Jeff Huang, advisor

Pombrio, Justin

Resugaring: Lifting Languages through Syntactic Sugar
• Shriram Krishnamurthi, advisor

Ren, Zhile

Semantic Three-Dimensional Understanding of Dynamic Scenes
• Erik Sudderth, advisor

Xin, Qi

Towards Improving the Effectiveness of Automated Program Repair
• Steve Reiss, advisor

Zgraggen Emanuel

Towards Accessible Data Analysis/a>
• Andy van Dam, advisor

2017

Choe, Do Kook

Toward Solving Penn Treebank Parsing
• Eugene Charniak, advisor

Gramazio, Connor

A computational approach to mitigate visualization design barriers in cancer genomics
• David Laidlaw, advisor

Kalinin, Alexander

Integrated Search and Exploration Over Large Multidimensional Data
• Ugur Cetintemel, advisor

Kim, Dae Il

Scalable Bayesian Nonparametric Models for Networks and Documents
• Erik Sudderth, advisor

Liu, Zhiyu

Theory and Applications of Parallelism with Futures
• Maurice Herlihy, advisor

Mahmoodyghaidary, Ahmad

Scalable Algorithms for Mining Graphs and Social Networks via Sampling
• Eli Upfal, advisor

Martins, Marcelo Teixeira

Software Analysis and Development for Energy Efficiency in Mobile Devices
• Rodrigo Fonseca, advisor

Quay-de la Vallee, Hannah

On a (Per)Mission: Leveraging User Ratings of App Permissions to Help Users Manage Privacy
• Shriram Krishnamurthi, advisor

2016

Cabeen, Ryan

Developing and Evaluating Computational Tools for the Modeling, Visualization, and Analysis of Brain White Matter with Diffusion MRI
• David Laidlaw, advisor

Gomez, Steven

Methods for Evaluating Visualizations Using Practical Models of Insight, Interaction, and Gaze
• David Laidlaw, advisor

Hughes, Michael

Reliable and scalable variational inference for nonparametric mixtures, topics, and sequences
• Erik Sudderth, advisor

Leiserson, Mark

Methods for Identifying Combinations of Driver Mutations in Cancer
• Ben Raphael, advisor

Mason, Rebecca

Data-driven Image Captioning
• Eugene Charniak, advisor

Mendes, Hammurabi

Byzantine Computability and Combinatorial Topology
• Maurice Herlihy, advisor

Pacheco, Jason

Variational Approximations with Diverse Applications
• Erik Sudderth, advisor

Patterson, Genevieve

Collective Insight: Crowd-driven Image Understanding
• James Hays, advisor

Politz, Joseph

In-flow Peer Review of Examples in Example-First Programming
• Shriram Krishnamurthi, advisor

Sun, Geoffrey

The Devil is in the Details: Example-based Image Restoration and Detail Synthesis
• James Hays, advisor

Swanson, Ben

Computationally Connecting Language Transfer and Second Language Education
• Eugene Charniak, advisor

Wu, Hsin-Ta

Computational Detection of Driver Mutations in Cancer Genomes
• Ben Raphael, advisor

2015

Buller, Mark J.

Human Thermal-Work Strain Performance Optimization from Wearable Physiological Sensors
• Chad Jenkins, advisor

Calciu, Irina

Concurrent Algorithms for Emerging Hardware Platforms
• Maurice Herlihy, advisor

Ghosh, Soumya

Bayesian Nonparametric Discovery of Layers and Parts from Scenes and Objects
• Erik Sudderth, advisor

Kelley, James A.

Secure Data Compression and Error Correcting Codes for Networks and Cloud Storage
• Roberto Tamassia, advisor

Miles, Jadrian

A Multi-Scale Model of Brain White-Matter Structure and Its Fitting Method for Diffusion MRI
• David Laidlaw, advisor

Oesper, Layla

Computational Characterization of Heterogeneity and Rearrangements in Cancer"
• Ben Raphael, advisor

Tarvo, Alexander

Automated Performance Modeling of Multithreaded Programs
• Steven Reiss, advisor

Zuffi, Silvia

Shape Models of the Human Body for Distributed Inference
• Michael Black, advisor

2014

Aguiar, Derek

Genome-wide algorithms for haplotype assembly, haplotype phasing, and IBD inference
• Sorin Istrail, advisor

Baldimtsi, Foteini

Efficient Cryptography for Information Privacy
• Anna Lysyanskaya, advisor

Eisenstat, David

Toward Practical Planar Graph Algorithms
• Claire Mathieu, advisor
• Philip Klein, advisor

Ferguson, Andrew

Policy Delegation and Migration for Software-Defined Networks
• Rodrigo Fonseca, advisor

Ohrimenko, Olga

Data-Oblivious Algorithms for Privacy-Preserving Access to Cloud Storage
• Roberto Tamassia, advisor

Pavlo, Andrew

On Scalable Transaction Execution in Partitioned Main Memory Database Management Systems
• Stan Zdonik, advisor

Riondato, Matteo

Sampling-based Randomized Algorithms for Big Data Analytics
• Eli Upfal, advisor

Tsoli, Aggeliki

Modeling the Human Body in 3D: Data Registration and Human Shape Representation
• Michael Black, advisor

2013

Backman, Nathan

C-MR: Continuous Execution of MapReduce Workflows for Stream Processing
• Ugur Cetintemel, advisor

Demiralp, Cagatay

Computational Brain Connectivity Using Diffusion MRI
• David Laidlaw

Duggan, Jennie

Query Performance Prediction for Analytical Workloads
• Ugur Cetintemel

Guan, Peng

Virtual Human Bodies with Clothing and Hair: From Images to Animation
• Michael Black

Liu, Feng-Hao

Error Tolerant Cryptography
• Anna Lysyanskaya

Mozes, Shay

Efficient Algorithms for Shortest-Path and Maximum-Flow Problems in Planar Graphs
• Philip Klein

Ritz, Anna

Algorithms for Identifying Structural Variants in Human Genomes
• Benjamin Raphael

Sun, Deqing

From Pixels to Layers: Joint Motion Estimation and Segmentation
• Michael Black

Vondrak, Marek

Physically Plausible Human Pose and Control Estimation from Video
• Chad Jenkins

Zhou, Wenjin

In-vivo Microstructural and Anatomical Analysis of Brain White Matter from Diffusion MRI
• David Laidlaw

2012

Akdere, Mert

Supporting and Leveraging Prediction Models
• Ugur Cetintemel

Coffrin, Carleton

Decision Support for Disaster Management Through Hybrid Optimization
• Pascal Van Hentenryck

Guha, Arjun

Semantics and Types for Safe Web Programming
• Shriram Krishnamurthi

Headden, William

Unsupervised Bayesian Lexicalized Dependency Grammar Induction
• Mark Johnson

Jianu, Radu

Improved Scientific Analysis through Domain Driven Visualization and Support for Analytic Deliberation
• David Laidlaw

Kadioglu, Serdar

Efficient Search Procedures for Solving Combinatorial Problems
• Meinolf Sellmann

Kimura, Hideaki

Correlation-Aware Optimizations for Analytic Databases
• Stan Zdonik

Malitsky, Yuri

Instance-Specific Algorithm Configuration
• Meinolf Sellmann

Mao, Jie

Supporting Complex Tasks in Visual Sensor Networks
• John Jannotti

Schudy, Warren

Approximation Schemes for Inferring Rankings and Clusterings from Pairwise Data
• Claire Mathieu

Tarpine, Ryan

A database of causality-inferred structure-function information for genomic cis-regulatory architecture
• Sorin Istrail

2011

Das, Aparna

Approximation Schemes for Euclidean Vehicle Routing Problems
• Claire Mathieu

Elsner, Micha

Generalizing Local Coherence Modeling
• Eugene Charniak

Erway, C. Chris

Anonymous Accounting for Decentralized Systems
• John Jannotti

Kahn, Crystal

Algorithms for Analyzing Human Genome Rearrangements
• Benjamin Raphael

Pamnany, Kiran

Safe Parallelism for Servers
• John Jannotti

Papamanthou, Charalampos

Cryptography for Efficiency: New Directions in Authenticated Data Structures
• Roberto Tamassia

Rasin, Alexander

Design Tool for a Clustered Column-Store Database
• Stan Zdonik

Yip, Yue Kwen Justin

The Length-Lex Representation for Constraint Programming over Sets
• Pascal Van Hentenryck

2010

Balan, Alexandru O.

Detailed Human Shape and Pose from Images
• Michael Black

Grollman, Daniel H.

Teaching Old Dogs New Tricks: Incremental Multimap Regression for Interactive Robot Learning from Demonstration
• Chad Jenkins

Kupcu, Alptekin

Efficient Cryptography for the Next Generation Secure Cloud
• Anna Lysyanskaya

Lease, Matthew

Beyond keywords: finding information more accurately and easily using natural language
• Eugene Charniak

Lev, Yossi

Debugging and Profiling of Transactional Programs
• Maurice Herlihy

McClosky, David

Any Domain Parsing: Automatic Domain Adaptation for Natural Language Parsing
• Eugene Charniak

Naroditskiy, Victor

Select Problems at the Intersection of Computer Science and Economics
• Amy Greenwald

Rachlin, Eric

Reliable Computing at the Nanoscale
• John Savage

2009

Ahmad, Yanif

Pulse: Database Support for Efficient Query Processing of Temporal Polynomial Models
• Ugur Cetintemel

Ge, Tingjian

Query Processing on Uncertain Data
• Stan Zdonik

Hwang, Jeong-Hyon

Fast and Highly-Available Stream Processing
• Stan Zdonik

McCarthy, Jay

Static Analyses of Cryptographic Protocols
• Shriram Krishnamurthi

Mercier, Luc

AMSAA: An Anticipatory Algorithm for Online Stochastic Combinatorial Optimization
• Pascal Van Hentenryck

Papaemmanouil, Olga

An Extensible Overlay Infrastructure for Wide-Area Stream Processing and Dissemination
• Ugur Cetintemel

Wicks, John R.

An Algorithm to Compute the Stochastically Stable Distribution of a Perturbed Markov Matrix
• Amy Greenwald

2008

Acevedo Feliz, Daniel

A Framework for the Perceptual Optimization of Multivalued Multilayered 2D Scientific Visualization Methods
• David Laidlaw

Belenkiy, Mira

Sharing Secrets for Fun and Profit
• Anna Lysyanskaya

Borradaile, Glencora

Exploiting Planarity for Network Flow and Connectivity Problems
• Philip Klein

Cai, Lijuan

Multilabel Classification over Category Taxonomies
• Thomas Hofmann

Chase, Melissa

Efficient Non-Interactive Zero-Knowledge Proofs for Privacy Applications
• Anna Lysyanskaya

Cooper, Gregory H.

Integrating Dataflow Evaluation with a Practical Higher-Order Call-by-Value Language
• Shriram Krishnamurthi

Eddon, Guy

Language Support and Compiler Optimizations for Object-Based Software Transactional Memory
• Maurice Herlihy

Marks, Casey

No-Regret Learning and Game-Theoretic Equilibria
• Amy Greenwald

Penso, Lucia Draque

Distributed Protocols Robust Against Malicious Attacks
• Maurice Herlihy

Sigal, Leonid

Continuous-state Graphical Models for Object Localization, Pose Estimation and Tracking
• Michael Black

Tenneson, Dana

Interpretation of Molecule Conformations from Drawn Diagrams
• Andy van Dam

Yao, Danfeng

Privacy-Aware Authentication and Authorization in Trust Management
• Roberto Tamassia

2007

Andrews, Stuart

Learning from ambiguous examples
• Thomas Hofmann

Aron, Ionut

A unifying framework for modeling and solving optimization problems
• Pascal Van Hentenryck

Karpenko, Olga

Algorithms and Interfaces for Sketch-Based 3D Modeling
• John Hughes

Keefe, Daniel

Interactive 3D Drawing for Free-Form Modeling in Scientific Visualization and Art: Tools, Methodologies, and Theoretical Foundations
• David Laidlaw

Marai, Georgeta-Elisabeta

Data-Driven Predictive Modeling of Diarthrodial Joints
• David Laidlaw

Moscovich, Tomer

Principles and Applications of Multi-touch Interaction
• John Hughes

Roth, Stefan

High-Order Markov Random Fields for Low-Level Vision
• Michael Black

Tatbul, Emine Nesime

Load Shedding Techniques for Data Stream Management Systems
• Stan Zdonik

Triandopoulos, Nikolaos

Efficient Data Authentication
• Roberto Tamassia

Vergados, Ioannis

Simulated Annealing Based Local Search for Sport Scheduling Problems
• Pascal Van Hentenryck

Wood, Frank

Nonparametric Bayesian Models for Neural Data
• Michael Black

Zhang, Song

Revealing White Matter Fiber Structure with Diffusion Imaging
• David Laidlaw

2006

Anagnostopoulos, Aristidis

Probabilistic Techniques in the Analysis of Dynamic Processes
• Eli Upfal

Genzel, Dmitriy

Creating Algorithms for Parsers and Taggers for Resource-Poor Languages Using a Related Resource-Rich Language
• Eugene Charniak

Leach, Sonia

Informed Structural Priors for Bayesian Networks: Applications in Molecular Biology Using Heterogeneous Data Sources
• Thomas Dean

McGuire, Morgan

Computational Videography with a Single Axis, Multi-Parameter Lens Camera
• John Hughes

Sun, Ye

The Ballistic Protocol: Location-aware Distributed Cache Coherence in Metric-Space Networks
• Maurice Herlihy

Xing, Ying

Load Management Techniques for Distributed Stream Processing
• Stan Zdonik

2005

Altun, Yasemin

Discriminative Methods for Label Sequence Learning
• Thomas Hofmann

Bent, Russell

Online Stochastic Optimization under Time Constraints
• Pascal Van Hentenryck

Carney, Donald P.

Application-Aware Resource Scheduling
• Stan Zdonik

Gondek, David

Non-Redundant Clustering
• Thomas Hofmann

Hall, Keith

Best-first Word-lattice Parsing: Techniques for integrated syntactic language modeling
• Mark Johnson

LaViola, Joseph

Mathematical Sketching: A New Approach to Creating and Exploring Dynamic Illustrations
• Andy van Dam

Renieris, Emmanuel

A Research Framework for Software-Fault Localization Tools
• Steve Reiss

Tsochantaridis, Ioannis

Support Vector Machine Learning for Interdependent and Structured Output Spaces
• Thomas Hofmann

Young, Joel

Exploiting the Structure of the Web for Spidering
• Thomas Dean

2004

Blaheta, Don

Function Tagging
• Eugene Charniak

2003

Fang, Anthony

Efficient Synthesis of Physically Valid Human Motion for Computer Animation
• Nancy Pollard

Heath, Samuel Aaron

An Optimal Method for DNA Sequencing by Hybridization
• Franco Preparata

Kurien, James A.

Diagnosis and Planning With Resource Constraints
• Leslie Pack Kaelbling

Tirthapura, Srikanta

Distributed Queuing and Applications
• Maurice Herlihy

2002

Benjamin, Michael

Interval Programming: A Multi-Objective Optimization Model for Autonomous Vehicle Control
• Leslie Pack Kaelbling

Bridgeman, Stina

Techniques and Tools for Graph Drawing
• Roberto Tamassia

Dollins, Steven

Modeling for the plausible emulation of large worlds
• John Hughes

Ortiz, Luis

Selecting Approximately-optimal Actions
• Leslie Pack Kaelbling

Pandurangan, Gopal

Stochastic Analyses of Dynamic Computer Processes
• Eli Upfal

Peshkin, Leonid

Reinforcement Learning by Policy Search
• Leslie Pack Kaelbling

Smart, William

Making Reinforcement Learning Work on Real Robots
• Leslie Pack Kaelbling

2001

Caraballo, Sharon

Automatic Construction of a Hypernym-Labeled Noun Hierarchy from Text
• Eugene Charniak

Kim, Kee-Eung

Representations and Algorithms for Large Stochastic Planning Problems
• Thomas Dean

Vote, Eileen

A New Methodology for Archaeological Analysis: Using Visualization and Interaction to Explore Spatial Links in Excavation Data
• David Laidlaw

2000

Busch, Costas

A Study on Distributed Structures
• Maurice Herlihy

Castanos, Jose

Parallel Adaptive Unstructured Computation
• John Savage

Chatzi, Vasiliki

Integer-Coordinate Crystalline Meshes
• Franco Preparata

Ge, Niyu

An Approach To Anaphoric Pronouns
• Eugene Charniak

Markosian, Lee

Art-based Modeling and Rendering for Computer Graphics
• John Hughes

1999

Cherniack, Mitch

Building Query Optimizers with Combinators
• Stan Zdonik

Michel, Laurent

LOCALIZER A Modeling Language for Local Search
• Pascal Van Hentenryck

Murali, T.M.

Efficient Hidden-Surface Removal in Theory and in Practice
• Jeffrey Vitter

Shatkay, Hagit

Learning Models for Robot Navigation
• Leslie Pack Kaelbling

1998

Acharya, Swarup

Broadcast Disks: Dissemination-based Data Management for Asymmetric Communication Environments
• Stan Zdonik

Cassandra, Anthony Rocco

Exact and Approximate Algorithms for Partially Observable Markov Decision Processes
• Leslie Pack Kaelbling

Ramachandran, Viswanath

An Optimizing Compiler for CLP(R_Lin)
• Pascal Van Hentenryck

1997

Goldin, Dina Q.

Constraint Query Algebras
• Stan Zdonik, Paris Kanellakis

Greenwald, Lloyd

Analysis and Design of On-line Decision-Making Solutions for Time-Critical Planning and Scheduling Under Uncertainty
• Thomas Dean

Hoang, Dzung Tien

Fast and Efficient Algorithms for Text and Video Compression
• Jeffrey Vitter

Lin, Shieu-Hong

Exploiting Structure for Planning and Control
• Thomas Dean

Lu, Hsueh-I

Efficient Approximation Algorithms for Some Semidefinite Programs
• Philip Klein

Vengroff, Darren Erik

The Theory and Practice of I/O-Efficient Computation
• Jeffrey Vitter

1996

Chiang, Yi-Jen

Dynamic and I/O-Efficient Algorithms for Computational Geometry and Graph Problems: Theoretical and Experimental Results
• Roberto Tamassia

Garg, Ashim

Where to Draw the Line
• Roberto Tamassia

Grimm, Cindy Marie

Modeling Surfaces of Arbitrary Topology Using Manifolds
• John Hughes

Lin, Yi-Jing

Configuration Management in Terms of Logical Structures
• Steve Reiss

Littman, Michael Lederman

Algorithms for Sequential Decision Making
• Leslie Pack Kaelbling

Subramanian, Bharathi

Expressing and Optimizing Queries Over Lists and Trees
• Stan Zdonik

1995

Camus, Theodore Armand

Real-Time Optical flow
• Thomas Dean

Carroll, Glenn
           • Eugene Charniak

Hubbard, Philip M.

Collision Detection for Interactive Graphics Applications

Kirman, Jak

Predicting Real-time Planner Performance by Domain Characterization
• Thomas Dean

Krishnan, P

Online Prediction Algorithms for Databases and Operating Systems
• Jeffrey Vitter

Langworthy, David E.

On the use of Asynchrony in achieving Extensibility and High Performance in an object Storage System
• Stan Zdonik

Ramaswamy, Sridhar

Indexing for Data Models With Classes and Constraints
• Paris Kanellakis

Sanders, Kathryn E.

CHIRON: Planning in an Open-Textured Domain
• Thomas Dean

Subramanian, Sairam

Parallel and Dynamic Shortest-Path Algorithms for Sparse Graphs
• Philip Klein

1994

Hillebrand, Gerd G.

Finite Model Theory in the Simply Typed Lambda Calculus
• Paris Kanellakis

Ravi, Ramamurthy

Steiner Trees and Beyond: Approximation Algorithms for Network Design
• Philip Klein

1993

Bayse, Kenneth
           • Thomas Dean

Howard, Paul
           • Jeffrey Vitter

Meyers, Scott Douglas

Representing Software Systems in Multiple-View Development Environments
• Steve Reiss

Mitchell, Gail Anne

Extensible Query Processing in an Object-Oriented Database
• Paris Kanellakis

Nodine, Mark Howard

Minimizing the Input/Output Bottleneck
• Jeffrey Vitter

Nodine, Marian
           • Stan Zdonik

1992

Agrawal, Ajit Kumar

Network Design and Network Cut Dualities: Approximation Algorithms and Applications
• Philip Klein

Cohen, Robert

Combine and Conquer
• Roberto Tamassia

Kanazawa, Keiji

Reasoning about Time and Probability
• Thomas Dean

Lin, Jyh-Han
           • Jeffrey Vitter

Santos Jr., Eugene

A Linear Constraint Satisfaction Approach for Abductive Reasoning
• Eugene Charniak

Shimony, Solomon

A Probabilistic Framework for Explanation
• Eugene Charniak

Shvartsman, Alexander Allister

Fault-Tolerant and Efficient Parallel Computation
• Paris Kanellakis

1991

Boddy, Mark Steven

Solving Time-Dependent Problems: A Decision-Theoretic Approach to Planning in Dynamic Environments
• Thomas Dean

Goldman, Robert

A Probabilistic Approach to Language Understanding
• Eugene Charniak

Golin, Eric J.

A Method for the Specification and Parsing of Visual Languages
• Steve Reiss

Harkness, Cheryl Lynn

An Approach to Uncertainty in VLSI Design
• Dan Lopresti

Hughey, Richard Paul

Programmable Systolic Arrays
• Dan Lopresti

Ravenscroft, Robert
           • John Savage

Revesz, Peter
           • Paris Kanellakis

Skarra, Andrea
           • Stan Zdonik

Stein, Lynn Andrea

Resolving Ambiguity in Nonmonotonic Reasoning
• Leora Morgenstern

Wloka, Markus

Parallel VLSI Synthesis
• John Savage

Yen, Felix

CI2 -- A Logic for Plural Representation
• Eugene Charniak

1990

Calistri, Randall J.

Classifying and Detecting Plan-Based Misconceptions for Robust Plans
• Eugene Charniak

Harper, Mary Patricia

The Representation of Noun Phrases in Logical Form
• Eugene Charniak

1989

Cook, William

A Denotational Semantics of Inheritance
• Peter Wegner

Manohar, Swaminathan
           • Gerard Baudet

Rubin, Robert
           • Steve Reiss

Stasko, John
           • Steve Reiss

1988

McCartney, Robert
           • Eugene Charniak

Strauss, Paul

BAGS: The Brown Animation Generation System
• Andy van Dam

1987

Brown, Marc
           • Robert Sedgewick

Dalio, Brian
           • John Savage

Feiner, Steven
           • Andy van Dam

1986

Hendler, James
           • Eugene Charniak

Incerpi, Janet
           • Robert Sedgewick

1985

Chin, Wen
           • Jeffrey Vitter

Post, Mark
           • Steve Reiss

1984

Giacalone, Allessandro

           • Thomas Doeppner

Hirst, Graeme
           • Eugene Charniak

Smolka, Scott
           • Thomas Doeppner, Paris Kanellakis

1982

Bulterman, Dick

• Andy van Dam

Flanagan, Peter
           • Peter Wegner, Ulf Grenander

Wong, Douglas
           • Eugene Charniak

1981

Carlson, David

Time-Space and Size-Space Tradeoffs for Oblivious Computations
• John Savage

1980

Carlbom, Ingrid Birgitta

System Architecture for High-Performance Vector Graphics
• Andy van Dam

DeNoia, Lynn
           • Steve Reiss

1979

Stankovic, Jack
           • Andy van Dam

1978

Imber, Yehoshua
           • John Savage

Swamy, Sowmitri

On Space-Time Tradeoffs
• John Savage

1977

Buck-Lew, May-Iun
           • Peter Wegner

Stockenburg, John
           • Andy van Dam

1976

Sayward, Fred
           • Peter Wegner

Thomas, Joseph
           • Peter Wegner

1975

Lamagna, Edmund

The Complexity of Monotone Functions
• John Savage

Stabler, George
           • Andy van Dam

1974

Berry, Daniel
           • Peter Wegner

1973

Bergeron, Daniel
           • Andy van Dam

Fiduccia, Charles
           • John Savage

1970

Michener, James
           • Andy van Dam

1969

Strauss, Charles
           • Andy van Dam