2023

Kristo, Ani

Engineering a high-performing, learning-enhanced sorting algorithm (3.9 MB)
• Tim Kraska, advisor

Lee, Jun Ki

Explaining Reinforcement Learning Agents by Policy Comparison (5.1 MB)
• Michael Littman, advisor

Zheng, Kaiyu

Generalized Object Search (5.3 MB)
• Stefanie Tellex, advisor

 

2022

Amjad, Ghous

Theoretical and Practical Advances in Structured Encryption (1.5 MB)
• Seny Kamara, advisor

Choe, Jiwon

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

DeMarinis, Nicholas

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

Khan, Numair

Are Multi-view Edges Incomplete (15.1 MB)
• James Tompkin, advisor

Liu, Yanqi

Towards Robust and Energy-efficient Robot Perception Compute System (15.3 MB)
• Iris Bahar, advisor

Trimbach, Carl

Methods for Teaching Hard Learning Problems (1.5 MB)
• Michael Littman, advisor

Wang, Linnan

Building an Intelligent Agent to Design Neural Networks (24.0 MB)
• Rodrigo Fonseca, advisor

Wrenn, John

Executable Examples: Empowering Students to Hone Their Problem Comprehension (2.4 MB)
• Shriram Krishnamurthi, advisor

Yang, Fumeng

Fusing visualization, virtual reality, and vision science for scientific thinking (16.0 MB)
• David Laidlaw, advisor

2021

Agarwal, Archita

Encrypted Distributed Storage Systems (2.3 MB)
• Seny Kamara, advisor

Areyan Viqueira, Enrique

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

Asadi, Kavosh

Smoothness in Reinforcement Learning with Large State and Action Spaces (3.7 MB)
• Michael Littman, advisor

Cousins, Cyrus

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

Dursun, Kayhan

Query Processing for Data Analytics on Modern Multicore Systems (2.7 MB)
• Ugur Cetintemel, advisor

Lee, Chun Hin Jasper

Classic and Modern Challenges in Statistical Estimation (1.0 MB)

Paul Valiant, advisor

Lehnert, Lucas

Encoding Reusable Knowledge in State Representations (11.3 MB)
• Michael Littman, advisor

Novotny, Johannes

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

Saarinen, Sam

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

Wang, Guan "Royal"

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

Zhao, Zheguang

Building a Structurally-Encrypted Relational Database System (1.8 MB)
• Seny Kamara, advisor
• Stan Zdonik, advisor

2020

Abel, David

A Theory of Abstraction in Reinforcement Learning (38.6 MB)
• Michael Littman, advisor

Ando, Megumi

Onions, Shallots and Leaks: Anonymous Communications Through Public Networks (982.5 KB)
• Anna Lysyanskaya, advisor

Daskalova, Nediyana

Personalized Systems for Guided and Flexible Self-Experiments (23.8 MB)
• Jeff Huang, advisor

Deshpande, Apoorvaa

Enhancing Privacy-Preserving Proof Systems (921.8 KB)
• Anna Lysyanskaya, advisor

DeStefani, Lorenzo

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

Eichmann, Philipp

Visual Methods for Exploring and Forecasting Time Series (6.8 MB)
• Andy van Dam, advisor

Gopalan, Nakul

Learning to Ground Natural Language Instructions to Plans (14.3 MB)
• Stefanie Tellex, advisor

Satas, Gryte

Tumor Phylogeny Reconstruction from DNA Sequencing Data (19.9 MB)
• Ben Raphael, advisor

Zamanian Dolati, Erfan

Distributed Transaction Processing on Modern RDMA-enabled Networks (2.1 MB)
• Tim Kraska, advisor

2019

Becker, Amariah

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

Chung, Yeounoh

Quantifying Uncertainty in Data Exploration (3.3 MB)
• Tim Kraska, advisor

Crotty, Andrew

Code Generation for In-Memory Data Analytics (851.5 KB)
• Tim Kraska, advisor

Dickerson, Thomas

Adapting Persistent Data Structures for Concurrency and Speculation (10.7 MB)
• Maurice Herlihy, advisor

Galakatos, Alexander

Accelerating Interactive Data Exploration (2.8 MB)
• Tim Kraska, advisor

Kornaropoulos, Evgenios

Information Leakage in Encrypted Systems Through an Algorithmic Lens (25.6 MB)
• Roberto Tamassia, advisor

Meehan, John

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

Oberlin, John

Light Fields and Synthetic Aperture Photography for Robotic Perception (5.4 MB)
• Stefanie Tellex, advisor

Rasley, Jeffrey

Application-Aware Cluster Resource Management (2.4 MB)
• Rodrigo Fonseca, advisor

Saraph, Vikram

Fault-Tolerant Distributed Computability (3.3 MB)
• Maurice Herlihy, advisor

Tanner, Chris

Cross-Document Coreference Resolution for Entities and Events (7.3 MB)
• Eugene Charniak, advisor

Whitney, David

Enhancing Privacy-Preserving Proof Systems (3.8 MB)
• Stefanie Tellex, advisor

Yu, Da

Towards Reliable and Predictable Networks (3.8 MB)
• Rodrigo Fonseca, advisor

2018

Chua, Jeroen

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

Ghosh, Esha

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

Papoutsaki, Alexandra

Democratizing Eye Tracking (13.7 MB)
• Jeff Huang, advisor

Pombrio, Justin

Resugaring: Lifting Languages through Syntactic Sugar (695.2 KB)
• Shriram Krishnamurthi, advisor

Ren, Zhile

Semantic Three-Dimensional Understanding of Dynamic Scenes (19.9 MB)
• Erik Sudderth, advisor

Xin, Qi

Towards Improving the Effectiveness of Automated Program Repair (1.8 MB)
• Steve Reiss, advisor

Zgraggen Emanuel

Towards Accessible Data Analysis (4.6 MB)
• Andy van Dam, advisor

2017

Choe, Do Kook

Toward Solving Penn Treebank Parsing (1.1 MB)
• Eugene Charniak, advisor

Gramazio, Connor

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

Kalinin, Alexander

Integrated Search and Exploration Over Large Multidimensional Data (2.4 MB)
• Ugur Cetintemel, advisor

Kim, Dae Il

Scalable Bayesian Nonparametric Models for Networks and Documents (5.4 MB)
• Erik Sudderth, advisor

Liu, Zhiyu

Theory and Applications of Parallelism with Futures (4.2 MB)
• Maurice Herlihy, advisor

Mahmoodyghaidary, Ahmad

Scalable Algorithms for Mining Graphs and Social Networks via Sampling (2.0 MB)
• Eli Upfal, advisor

Martins, Marcelo Teixeira

Software Analysis and Development for Energy Efficiency in Mobile Devices (2.7 MB)
• Rodrigo Fonseca, advisor

Quay-de la Vallee, Hannah

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

2016

Cabeen, Ryan

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

Gomez, Steven

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

Hughes, Michael

Reliable and scalable variational inference for nonparametric mixtures, topics, and sequences (7.1 MB)
• Erik Sudderth, advisor

Leiserson, Mark

Methods for Identifying Combinations of Driver Mutations in Cancer (28.7 MB)
• Ben Raphael, advisor

Mason, Rebecca

Data-driven Image Captioning (6.0 MB)
• Eugene Charniak, advisor

Mendes, Hammurabi

Byzantine Computability and Combinatorial Topology (4.3 MB)
• Maurice Herlihy, advisor

Pacheco, Jason

Variational Approximations with Diverse Applications (21.0 MB)
• Erik Sudderth, advisor

Patterson, Genevieve

Collective Insight: Crowd-driven Image Understanding (5.2 MB)
• James Hays, advisor

Politz, Joseph

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

Sun, Geoffrey

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

Swanson, Ben

Computationally Connecting Language Transfer and Second Language Education (1.1 MB)
• Eugene Charniak, advisor

Wu, Hsin-Ta

Computational Detection of Driver Mutations in Cancer Genomes (232.5 KB)
• Ben Raphael, advisor

2015

Buller, Mark J.

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

Calciu, Irina

Concurrent Algorithms for Emerging Hardware Platforms (2.7 MB)
• Maurice Herlihy, advisor

Ghosh, Soumya

Bayesian Nonparametric Discovery of Layers and Parts from Scenes and Objects (33.4 MB)
• Erik Sudderth, advisor

Kelley, James A.

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

Miles, Jadrian

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

Oesper, Layla

Computational Characterization of Heterogeneity and Rearrangements in Cancer (49.1 MB)
• Ben Raphael, advisor

Tarvo, Alexander

Automated Performance Modeling of Multithreaded Programs (3.7 MB)
• Steven Reiss, advisor

Zuffi, Silvia

Shape Models of the Human Body for Distributed Inference (35.3 MB)
• Michael Black, advisor

2014

Aguiar, Derek

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

Baldimtsi, Foteini

Efficient Cryptography for Information Privacy (1.2 MB)
• Anna Lysyanskaya, advisor

Eisenstat, David

Toward Practical Planar Graph Algorithms (548.4 KB)
• Claire Mathieu, advisor
• Philip Klein, advisor

Ferguson, Andrew

Policy Delegation and Migration for Software-Defined Networks (1.0 MB)
• Rodrigo Fonseca, advisor

Ohrimenko, Olga

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

Pavlo, Andrew

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

Riondato, Matteo

On Scalable Transaction Execution in Partitioned Main Memory Database Management Systems (4.7 MB)
• Eli Upfal, advisor

Tsoli, Aggeliki

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

2013

Backman, Nathan

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

Demiralp, Cagatay

Computational Brain Connectivity Using Diffusion MRI (16.7 MB)
• David Laidlaw

Duggan, Jennie

Query Performance Prediction for Analytical Workloads (1.8 MB)
• Ugur Cetintemel

Guan, Peng

Virtual Human Bodies with Clothing and Hair: From Images to Animation (43.6 MB)
• Michael Black

Liu, Feng-Hao

Error Tolerant Cryptography (827.8 KB)
• Anna Lysyanskaya

Mozes, Shay

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

Ritz, Anna

Algorithms for Identifying Structural Variants in Human Genomes (5.5 MB)
• Benjamin Raphael

Sun, Deqing

From Pixels to Layers: Joint Motion Estimation and Segmentation (28.5 MB)
• Michael Black

Vondrak, Marek

Physically Plausible Human Pose and Control Estimation from Video (17.9 MB)
• Chad Jenkins

Zhou, Wenjin

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

2012

Akdere, Mert

Supporting and Leveraging Prediction Models (1.5 MB)
• Ugur Cetintemel

Coffrin, Carleton

Decision Support for Disaster Management Through Hybrid Optimization (2.1 MB)
• Pascal Van Hentenryck

Guha, Arjun

Semantics and Types for Safe Web Programming (1.5 MB)
• Shriram Krishnamurthi

Headden, William

Unsupervised Bayesian Lexicalized Dependency Grammar Induction (678.2 KB)
• Mark Johnson

Jianu, Radu

Improved Scientific Analysis through Domain Driven Visualization and Support for Analytic Deliberation (10.8 MB)
• David Laidlaw

Kadioglu, Serdar

Efficient Search Procedures for Solving Combinatorial Problems (1.6 MB)
• Meinolf Sellmann

Kimura, Hideaki

Correlation-Aware Optimizations for Analytic Databases (3.3 MB)
• Stan Zdonik

Malitsky, Yuri

Instance-Specific Algorithm Configuration (949.8 KB)
• Meinolf Sellmann

Mao, Jie

Supporting Complex Tasks in Visual Sensor Networks (1.6 MB)
• John Jannotti

Schudy, Warren

Approximation Schemes for Inferring Rankings and Clusterings from Pairwise Data (2.0 MB)
• Claire Mathieu

Tarpine, Ryan

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

2011

Das, Aparna

Approximation Schemes for Euclidean Vehicle Routing Problems (1.1 MB)
• Claire Mathieu

Elsner, Micha

Generalizing Local Coherence Modeling (1.2 MB)
• Eugene Charniak

Erway, C. Chris

Anonymous Accounting for Decentralized Systems (1.8 MB)
• John Jannotti

Kahn, Crystal

Algorithms for Analyzing Human Genome Rearrangements (4.5 MB)
• Benjamin Raphael

Pamnany, Kiran

Safe Parallelism for Servers (2.6 MB)
• John Jannotti

Papamanthou, Charalampos

Cryptography for Efficiency: New Directions in Authenticated Data Structures (1.3 MB)
• Roberto Tamassia

Rasin, Alexander

Design Tool for a Clustered Column-Store Database (1.4 MB)
• Stan Zdonik

Yip, Yue Kwen Justin

The Length-Lex Representation for Constraint Programming over Sets (1.5 MB)
• Pascal Van Hentenryck

2010

Balan, Alexandru O.

Detailed Human Shape and Pose from Images (9.1 MB)
• Michael Black

Grollman, Daniel H.

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

Kupcu, Alptekin

Efficient Cryptography for the Next Generation Secure Cloud (1.6 MB)
• Anna Lysyanskaya

Lease, Matthew

Beyond keywords: finding information more accurately and easily using natural language (742.3 KB)
• Eugene Charniak

Lev, Yossi

Debugging and Profiling of Transactional Programs (1.3 MB)
• Maurice Herlihy

McClosky, David

Any Domain Parsing: Automatic Domain Adaptation for Natural Language Parsing (573.9 KB)
• Eugene Charniak

Naroditskiy, Victor

Select Problems at the Intersection of Computer Science and Economics (1.2 MB)
• Amy Greenwald

Rachlin, Eric

Reliable Computing at the Nanoscale (17.4 MB)
• John Savage

2009

Ahmad, Yanif

Pulse: Database Support for Efficient Query Processing of Temporal Polynomial Models (7.4 MB)
• Ugur Cetintemel

Ge, Tingjian

Query Processing on Uncertain Data (1.0 MB)
• Stan Zdonik

Hwang, Jeong-Hyon

Fast and Highly-Available Stream Processing (2.5 MB)
• Stan Zdonik

McCarthy, Jay

Static Analyses of Cryptographic Protocols (1.4 MB)
• Shriram Krishnamurthi

Mercier, Luc

AMSAA: An Anticipatory Algorithm for Online Stochastic Combinatorial Optimization (8.3 MB)
• Pascal Van Hentenryck

Papaemmanouil, Olga

An Extensible Overlay Infrastructure for Wide-Area Stream Processing and Dissemination (1.7 MB)
• Ugur Cetintemel

Wicks, John R.

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

2008

Acevedo Feliz, Daniel

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

Belenkiy, Mira

Sharing Secrets for Fun and Profit (1.7 MB)
• Anna Lysyanskaya

Borradaile, Glencora

Exploiting Planarity for Network Flow and Connectivity Problems (984.3 KB)
• Philip Klein

Cai, Lijuan

Multilabel Classification over Category Taxonomies (1.1 MB)
• Thomas Hofmann

Chase, Melissa

Efficient Non-Interactive Zero-Knowledge Proofs for Privacy Applications (834.8 KB)
• Anna Lysyanskaya

Cooper, Gregory H.

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

Eddon, Guy

Language Support and Compiler Optimizations for Object-Based Software Transactional Memory (2.7 MB)
• Maurice Herlihy

Marks, Casey

No-Regret Learning and Game-Theoretic Equilibria (630.2 KB)
• Amy Greenwald

Penso, Lucia Draque

Distributed Protocols Robust Against Malicious Attacks (3.5 MB)
• Maurice Herlihy

Sigal, Leonid

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

Tenneson, Dana

Interpretation of Molecule Conformations from Drawn Diagrams (7.5 MB)
• Andy van Dam

Yao, Danfeng

Privacy-Aware Authentication and Authorization in Trust Management (996.1 KB)
• Roberto Tamassia

2007

Andrews, Stuart

Learning from ambiguous examples (2.0 MB)
• Thomas Hofmann

Aron, Ionut

A unifying framework for modeling and solving optimization problems (692.5 KB)
• Pascal Van Hentenryck

Karpenko, Olga

Algorithms and Interfaces for Sketch-Based 3D Modeling (36.5 MB)
• John Hughes

Keefe, Daniel

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

Marai, Georgeta-Elisabeta

Data-Driven Predictive Modeling of Diarthrodial Joints (5.4 MB)
• David Laidlaw

Moscovich, Tomer

Principles and Applications of Multi-touch Interaction (2.8 MB)
• John Hughes

Roth, Stefan

High-Order Markov Random Fields for Low-Level Vision (14.4 MB)
• Michael Black

Tatbul, Emine Nesime

Load Shedding Techniques for Data Stream Management Systems (1.1 MB)
• Stan Zdonik

Triandopoulos, Nikolaos

Efficient Data Authentication (1.6 MB)
• Roberto Tamassia

Vergados, Ioannis

Simulated Annealing Based Local Search for Sport Scheduling Problems (1.0 MB)
• Pascal Van Hentenryck

Wood, Frank

Nonparametric Bayesian Models for Neural Data (21.1 MB)
• Michael Black

Zhang, Song

Revealing White Matter Fiber Structure with Diffusion Imaging (6.3 MB)
• David Laidlaw

2006

Anagnostopoulos, Aristidis

Probabilistic Techniques in the Analysis of Dynamic Processes (751.7 KB)
• Eli Upfal

Genzel, Dmitriy

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

Leach, Sonia

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

McGuire, Morgan

Computational Videography with a Single Axis, Multi-Parameter Lens Camera (6.3 MB)
• John Hughes

Sun, Ye

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

Xing, Ying

Load Management Techniques for Distributed Stream Processing (2.3 MB)
• Stan Zdonik

2005

Altun, Yasemin

Discriminative Methods for Label Sequence Learning (665.1 KB)
• Thomas Hofmann

Bent, Russell

Online Stochastic Optimization under Time Constraints (1.7 MB)
• Pascal Van Hentenryck

Carney, Donald P.

Application-Aware Resource Scheduling (4.6 MB)
• Stan Zdonik

Gondek, David

Non-Redundant Clustering (1.3 MB)
• Thomas Hofmann

Hall, Keith

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

LaViola, Joseph

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

Renieris, Emmanuel

A Research Framework for Software-Fault Localization Tools (839.7 KB)
• Steve Reiss

Tsochantaridis, Ioannis

Support Vector Machine Learning for Interdependent and Structured Output Spaces (3.7 MB)
• Thomas Hofmann

Young, Joel

Exploiting the Structure of the Web for Spidering (2.0 MB)
• Thomas Dean

2004

Blaheta, Don

Function Tagging (771.3 KB)
• Eugene Charniak

2003

Fang, Anthony

Efficient Synthesis of Physically Valid Human Motion for Computer Animation (3.4 MB)
• Nancy Pollard

Heath, Samuel Aaron

An Optimal Method for DNA Sequencing by Hybridization (11.9 MB)
• Franco Preparata

Kurien, James A.

Diagnosis and Planning With Resource Constraints (7.5 MB)
• Leslie Pack Kaelbling

Tirthapura, Srikanta

Distributed Queuing and Applications (570.9 KB)
• Maurice Herlihy

2002

Benjamin, Michael

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

Bridgeman, Stina

Techniques and Tools for Graph Drawing (21.0 MB)
• Roberto Tamassia

Dollins, Steven

Modeling for the plausible emulation of large worlds (1.2 MB)
• John Hughes

Ortiz, Luis

Selecting Approximately-optimal Actions (6.0 MB)
• Leslie Pack Kaelbling

Pandurangan, Gopal

Stochastic Analyses of Dynamic Computer Processes (913.6 KB)
• Eli Upfal

Peshkin, Leonid

Reinforcement Learning by Policy Search (1.4 MB)
• Leslie Pack Kaelbling

Smart, William

Making Reinforcement Learning Work on Real Robots (1.4 MB)
• Leslie Pack Kaelbling

2001

Caraballo, Sharon

Automatic Construction of a Hypernym-Labeled Noun Hierarchy from Text (2.3 MB)
• Eugene Charniak

Kim, Kee-Eung

Representations and Algorithms for Large Stochastic Planning Problems (6.9 MB)
• Thomas Dean

Vote, Eileen

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

2000

Busch, Costas

A Study on Distributed Structures (4.9 MB)
• Maurice Herlihy

Castanos, Jose

Parallel Adaptive Unstructured Computation (4.2 MB)
• John Savage

Chatzi, Vasiliki

Integer-Coordinate Crystalline Meshes (6.2 MB)
• Franco Preparata

Ge, Niyu

An Approach To Anaphoric Pronouns (4.7 MB)
• Eugene Charniak

Markosian, Lee

Art-based Modeling and Rendering for Computer Graphics (4.0 MB)
• John Hughes

1999

Cherniack, Mitch

Building Query Optimizers with Combinators (1.8 MB)
• Stan Zdonik

Michel, Laurent

LOCALIZER A Modeling Language for Local Search (8.1 MB)
• Pascal Van Hentenryck

Murali, T.M.

Efficient Hidden-Surface Removal in Theory and in Practice (7.1 MB)
• Jeffrey Vitter

Shatkay, Hagit

Learning Models for Robot Navigation (1.2 MB)
• Leslie Pack Kaelbling

1998

Acharya, Swarup

Broadcast Disks: Dissemination-based Data Management for Asymmetric Communication Environments (1.3 MB)
• Stan Zdonik

Cassandra, Anthony Rocco

Exact and Approximate Algorithms for Partially Observable Markov Decision Processes (12.8 MB)
• Leslie Pack Kaelbling

Ramachandran, Viswanath

An Optimizing Compiler for CLP(RLin) (7.2 MB)
• Pascal Van Hentenryck

1997

Goldin, Dina Q.

Constraint Query Algebras (4.3 MB)
• Stan Zdonik, Paris Kanellakis

Greenwald, Lloyd

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

Hoang, Dzung Tien

Fast and Efficient Algorithms for Text and Video Compression (1.5 MB)
• Jeffrey Vitter

Lin, Shieu-Hong

Exploiting Structure for Planning and Control (1.1 MB)
• Thomas Dean

Lu, Hsueh-I

Efficient Approximation Algorithms for Some Semidefinite Programs (723.3 KB)
• Philip Klein

Vengroff, Darren Erik

The Theory and Practice of I/O-Efficient Computation (5.3 MB)
• Jeffrey Vitter

1996

Chiang, Yi-Jen

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

Garg, Ashim

Where to Draw the Line (1.4 MB)
• Roberto Tamassia

Grimm, Cindy Marie

Modeling Surfaces of Arbitrary Topology Using Manifolds (4.6 MB)
• John Hughes

Lin, Yi-Jing

Configuration Management in Terms of Logical Structures (519.0 KB)
• Steve Reiss

Littman, Michael Lederman

Algorithms for Sequential Decision Making (1.2 MB)
• Leslie Pack Kaelbling

Subramanian, Bharathi

Expressing and Optimizing Queries Over Lists and Trees (6.2 MB)
• Stan Zdonik

1995

Camus, Theodore Armand

Real-Time Optical flow (1.1 MB)
• Thomas Dean

Carroll, Glenn
           • Eugene Charniak

Hubbard, Philip M.

Collision Detection for Interactive Graphics Applications (1.2 MB)

Kirman, Jak

Predicting Real-time Planner Performance by Domain Characterization (2.7 MB)
• Thomas Dean

Krishnan, P

Online Prediction Algorithms for Databases and Operating Systems (1.0 MB)
• Jeffrey Vitter

Langworthy, David E.

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

Ramaswamy, Sridhar

Indexing for Data Models With Classes and Constraints (4.6 MB)
• Paris Kanellakis

Sanders, Kathryn E.

CHIRON: Planning in an Open-Textured Domain (776.5 KB)
• Thomas Dean

Subramanian, Sairam

Parallel and Dynamic Shortest-Path Algorithms for Sparse Graphs (857.2 KB)
• Philip Klein

1994

Hillebrand, Gerd G.

Finite Model Theory in the Simply Typed Lambda Calculus (624.5 KB)
• Paris Kanellakis

Ravi, Ramamurthy

Steiner Trees and Beyond: Approximation Algorithms for Network Design (920.3 KB)
• Philip Klein

1993

Bayse, Kenneth
           • Thomas Dean

Howard, Paul
           • Jeffrey Vitter

Meyers, Scott Douglas

Representing Software Systems in Multiple-View Development Environments (1.5 MB)
• Steve Reiss

Mitchell, Gail Anne

Extensible Query Processing in an Object-Oriented Database (1023.3 KB)
• Paris Kanellakis

Nodine, Mark Howard

Minimizing the Input/Output Bottleneck (975.0 KB)
• Jeffrey Vitter

Nodine, Marian
           • Stan Zdonik

1992

Agrawal, Ajit Kumar

Network Design and Network Cut Dualities: Approximation Algorithms and Applications (1.1 MB)
• Philip Klein

Cohen, Robert

Combine and Conquer (841.2 KB)
• Roberto Tamassia

Kanazawa, Keiji

Reasoning about Time and Probability (1.0 MB)
• Thomas Dean

Lin, Jyh-Han
           • Jeffrey Vitter

Santos Jr., Eugene

A Linear Constraint Satisfaction Approach for Abductive Reasoning (868.3 KB)
• Eugene Charniak

Shimony, Solomon

A Probabilistic Framework for Explanation (886.7 KB)
• Eugene Charniak

Shvartsman, Alexander Allister

Fault-Tolerant and Efficient Parallel Computation (868.3 KB)
• Paris Kanellakis

1991

Boddy, Mark Steven

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

Goldman, Robert

A Probabilistic Approach to Language Understanding (1.5 MB)
• Eugene Charniak

Golin, Eric J.

A Method for the Specification and Parsing of Visual Languages (2.3 MB)
• Steve Reiss

Harkness, Cheryl Lynn

An Approach to Uncertainty in VLSI Design (2.2 MB)
• Dan Lopresti

Hughey, Richard Paul

Programmable Systolic Arrays (1.7 MB)
• Dan Lopresti

Ravenscroft, Robert
           • John Savage

Revesz, Peter
           • Paris Kanellakis

Skarra, Andrea
           • Stan Zdonik

Stein, Lynn Andrea

Resolving Ambiguity in Nonmonotonic Reasoning (1.5 MB)
• Leora Morgenstern

Wloka, Markus

Parallel VLSI Synthesis (1.3 MB)
• John Savage

Yen, Felix

CI2 -- A Logic for Plural Representation (504.0 KB)
• Eugene Charniak

1990

Calistri, Randall J.

Classifying and Detecting Plan-Based Misconceptions for Robust Plans (1.3 MB)
• Eugene Charniak

Harper, Mary Patricia

The Representation of Noun Phrases in Logical Form (7.9 MB)
• Eugene Charniak

1989

Cook, William

A Denotational Semantics of Inheritance (3.7 MB)
• 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 (7.8 MB)
• 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 (993.3 KB)
• John Savage

1980

Carlbom, Ingrid Birgitta

System Architecture for High-Performance Vector Graphics (9.7 MB)
• Andy van Dam

DeNoia, Lynn
           • Steve Reiss

1979

Stankovic, Jack
           • Andy van Dam

1978

Imber, Yehoshua
           • John Savage

Swamy, Sowmitri

On Space-Time Tradeoffs (1.0 MB)
• 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 (1.3 MB)
• 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