PhD Theses

2024

Idrees, Ifrah

Icon Abstract of Long-Term Autonomy in Socially Assistive Robots (10.5 MB)

Stefanie A Tellex, advisor

Kumar, Indra

Icon Explainability, fairness, and evaluation in machine learning: From theory to policy and back (2.2 MB)

Suresh Venkatasubramanian, advisor

Nguyen, Thao

Icon Abstract of Human-guided Robot Object Search (19.2 MB)

Stefanie A Tellex, advisor

Nokiz, Pegah

Icon Modeling and Simulation of Artificial Societies to Study Precarity and Inequity (4.9 MB)

Suresh Venkatasubramanian, advisor

Ren, Yanyan

Icon Using Contrasting Cases to Teach Socially Responsible Computing (3.1 MB)

Kathi Fisler, advisor

Rosenbloom, Leah

Icon Cryptography for Grassroots Organizing (1.3 MB)

Anna Lysyanskaya, advisor

Traylor, Aaron

Icon The Emergence of Symbolic Structure from Data in Prototype Neural Networks (1.8 MB)

Ellie Pavlick, advisor

Zerveas, George

Icon Improving Information Retrieval through Contextual Ranking with Large Language Models (3.1 MB)

Carsten Eickhoff, advisor

 

2023

Abbatematteo, Ben - Exploiting Structure for Efficient Robotic Manipulation

George D. Konidaris, advisor

Allen, Cameron

  Icon Structured Abstractions for General-Purpose Decision Making (10.6 MB)

George D. Konidaris, advisor

Corsaro, Matthew - Learning Task-Specific Grasps

George D. Konidaris, advisor

Ebert, Dylan

Icon Modeling Verb Meaning with Trajectories (7.0 MB)

Ellie Pavlick, advisor

Engel, Daniel

Icon Trading Mechanisms in an Adversarial Economy (1.4 MB)

Maurice P Herlihy, advisor

Ibrahim, Abdelrahman

Icon Machine Learning Methods for Combinatorial Optimization (4.6 MB)

Sherief Reda, advisor

Kristo, Ani

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

Lee, Jun Ki

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

Lovering, Charles

Icon Understanding the structure of Neural Newworks (12.7 MB)

Ellie Pavlick, advisor

Markatou, Evangelia

Icon Exploring Searchable Encryption Leakage from Range Queries (7.5 MB)

Roberto Tamassia, advisor

Naseer, Usama

Icon CDPlane: A Dynamic Content Distribution Plane for the Next Billion Users (3.6 MB)

•Theophilus Benson, advisor

Patel, Roma

Icon Grounding Language Models in World Models (11.1 MB)

Ellie Pavlick, advisor

Rahimzadeh Ilkhechi, Amir

Icon Deep Models for Database Compression and Search (17.5 MB)

Ugur Cetintemel, advisor

Rosen, Eric

Icon Abstraction for Autonomous Human-Robot Interaction (23.9 MB)

Stefanie A Tellex, advisor

Spiegelberg, Leonhard

Icon Efficient Data Analytics Using Speculative Compilation Techniques (1.5 MB)

Malte Schwarzkopf, advisor

Wallace, Shaun - Public Data Systems for Evolving Information

Jeff Huang, advisor

Wang, Kai - Learning Autoregressive Generative Models of 3D Shapes and Scenes

Daniel C Ritchie, advisor

Webson, Albert - Tuning Language Models to Follow Instructions

Ellie Pavlick, advisor

Xue, Yingjie

Icon Enabling Cross-Chain Transactions (1.2 MB)

Maurice P Herlihy, advisor

Zheng, Kaiyu

Icon Generalized Object Search (7.6 MB)

Stefanie A Tellex, advisor

 

2022

Amjad, Ghous
Icon Theoretical and Practical Advances in Structured Encryption (1.5 MB)
Seny Kamara, advisor
Choe, Jiwon
Icon Concurrent Data Structures with Near-Memory Processing: Software-Hardware Co-Design (2.4 MB)
R. Iris Bahar , advisor
DeMarinis, Nicholas
Icon Improving Application Security at Scale by Reducing System Call and Library Overprivilege (6.3 MB)
Vasileios Kemerlis, advisor
Khan, Numair
Icon Are Multi-view Edges Incomplete (15.1 MB)
James Tompkin, advisor
Liu, Yanqi
Icon Towards Robust and Energy-efficient Robot Perception Compute System (15.3 MB)
Iris Bahar, advisor
Trimbach, Carl
Icon Methods for Teaching Hard Learning Problems (1.5 MB)
Michael Littman, advisor
Wang, Linnan
Icon Building an Intelligent Agent to Design Neural Networks (24.0 MB)
Rodrigo Fonseca, advisor
Wrenn, John
Icon Executable Examples: Empowering Students to Hone Their Problem Comprehension (2.4 MB)
Shriram Krishnamurthi, advisor
Yang, Fumeng
Icon Fusing visualization, virtual reality, and vision science for scientific thinking (16.0 MB)
David Laidlaw, advisor

2021

Agarwal, Archita
Icon Encrypted Distributed Storage Systems (2.3 MB)
Seny Kamara, advisor
Areyan Viqueira, Enrique
Icon Learning Equilibria of Simulation-Based Games: Applications to Empirical Mechanism Design (6.3 MB)
Amy Greenwald, advisor
Asadi, Kavosh
Icon Smoothness in Reinforcement Learning with Large State and Action Spaces (3.7 MB)
Michael Littman, advisor
Cousins, Cyrus
Icon Bounds and Applications of Concentration of Measure in Fair Machine Learning and Data Science (7.0 MB)
Eli Upfal, advisor
Dursun, Kayhan
Icon Query Processing for Data Analytics on Modern Multicore Systems (2.7 MB)
Ugur Cetintemel, advisor
Lee, Chun Hin Jasper
Icon Classic and Modern Challenges in Statistical Estimation (1.0 MB)
Paul Valiant, advisor
Lehnert, Lucas
Icon Encoding Reusable Knowledge in State Representations (11.3 MB)
Michael Littman, advisor
Novotny, Johannes
Icon Using Virtual Reality Effectively in Scientific Data Exploration - Perception, Usability and Design in Immersive Displays (2.2 MB)
David Laidlaw, advisor
Saarinen, Sam
Icon Query Strategies for Directed Graphical Models and their Application to Adaptive Testing (922.7 KB)
Michael Littman, advisor
Wang, Guan "Royal"
Icon Interactive Reinforcement Learning from Human Language and Evaluative Feedback Through Task Decomposition (26.5 MB)
Michael Littman, advisor
Zhao, Zheguang
Icon Building a Structurally-Encrypted Relational Database System (1.8 MB)
Seny Kamara, advisor
Stan Zdonik, advisor

2020

Abel, David
Icon A Theory of Abstraction in Reinforcement Learning (38.6 MB)
Michael Littman, advisor
Ando, Megumi
Icon Onions, Shallots and Leaks: Anonymous Communications Through Public Networks (982.5 KB)
Anna Lysyanskaya, advisor
Daskalova, Nediyana
Icon Personalized Systems for Guided and Flexible Self-Experiments (23.8 MB)
Jeff Huang, advisor
Deshpande, Apoorvaa
Icon Enhancing Privacy-Preserving Proof Systems (921.8 KB)
Anna Lysyanskaya, advisor
DeStefani, Lorenzo
Icon Probabilistic approaches for rigorous and efficient analysis of statistical properties of large datasets (5.1 MB)
Eli Upfal, advisor
Eichmann, Philipp
Icon Visual Methods for Exploring and Forecasting Time Series (6.8 MB)
Andy van Dam, advisor
Gopalan, Nakul
Icon Learning to Ground Natural Language Instructions to Plans (14.3 MB)
Stefanie Tellex, advisor
Satas, Gryte
Icon Tumor Phylogeny Reconstruction from DNA Sequencing Data (19.9 MB)
Ben Raphael, advisor
Zamanian Dolati, Erfan
Icon Distributed Transaction Processing on Modern RDMA-enabled Networks (2.1 MB)
Tim Kraska, advisor

2019

Becker, Amariah
Icon Approximation Algorithms for Capacitated Facility-Placement and Vehicle-Routing Problems in Transportation Networks (3.1 MB)
Philip Klein, advisor
Chung, Yeounoh
Icon Quantifying Uncertainty in Data Exploration (3.3 MB)
Tim Kraska, advisor
Crotty, Andrew
Icon Code Generation for In-Memory Data Analytics (851.5 KB)
Tim Kraska, advisor
Dickerson, Thomas
Icon Adapting Persistent Data Structures for Concurrency and Speculation (10.7 MB)
Maurice Herlihy, advisor
Galakatos, Alexander
Icon Accelerating Interactive Data Exploration (2.8 MB)
Tim Kraska, advisor
Kornaropoulos, Evgenios
Icon Information Leakage in Encrypted Systems Through an Algorithmic Lens (25.6 MB)
Roberto Tamassia, advisor
Meehan, John
Icon Transactional Streaming: Managing Push-Based Workloads with Shared Mutable State in a Distributed Setting (5.4 MB)
Stanley Zdonik, advisor
Oberlin, John
Icon Light Fields and Synthetic Aperture Photography for Robotic Perception (5.4 MB)
Stefanie Tellex, advisor
Rasley, Jeffrey
Icon Application-Aware Cluster Resource Management (2.4 MB)
Rodrigo Fonseca, advisor
Saraph, Vikram
Icon Fault-Tolerant Distributed Computability (3.3 MB)
Maurice Herlihy, advisor
Tanner, Chris
Icon Cross-Document Coreference Resolution for Entities and Events (7.3 MB)
Eugene Charniak, advisor
Whitney, David
Icon Enhancing Privacy-Preserving Proof Systems (3.8 MB)
Stefanie Tellex, advisor
Yu, Da
Icon Towards Reliable and Predictable Networks (3.8 MB)
Rodrigo Fonseca, advisor

2018

Chua, Jeroen
Icon Probabilistic Scene Grammars: A General-Purpose Framework For Scene Understanding (15.6 MB)
Pedro Felzenszwalb, advisor
Ghosh, Esha
Icon 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
Icon Democratizing Eye Tracking (13.7 MB)
Jeff Huang, advisor
Pombrio, Justin
Icon Resugaring: Lifting Languages through Syntactic Sugar (695.2 KB)
Shriram Krishnamurthi, advisor
Ren, Zhile
Icon Semantic Three-Dimensional Understanding of Dynamic Scenes (19.9 MB)
Erik Sudderth, advisor
Xin, Qi
Icon Towards Improving the Effectiveness of Automated Program Repair (1.8 MB)
Steve Reiss, advisor
Zgraggen Emanuel
Icon Towards Accessible Data Analysis (4.6 MB)
Andy van Dam, advisor

2017

Choe, Do Kook
Icon Toward Solving Penn Treebank Parsing (1.1 MB)
Eugene Charniak, advisor
Gramazio, Connor
Icon A computational approach to mitigate visualization design barriers in cancer genomics (8.9 MB)
David Laidlaw, advisor
Kalinin, Alexander
Icon Integrated Search and Exploration Over Large Multidimensional Data (2.4 MB)
Ugur Cetintemel, advisor
Kim, Dae Il
Icon Scalable Bayesian Nonparametric Models for Networks and Documents (5.4 MB)
Erik Sudderth, advisor
Liu, Zhiyu
Icon Theory and Applications of Parallelism with Futures (4.2 MB)
Maurice Herlihy, advisor
Mahmoodyghaidary, Ahmad
Icon Scalable Algorithms for Mining Graphs and Social Networks via Sampling (2.0 MB)
Eli Upfal, advisor
Martins, Marcelo Teixeira
Icon Software Analysis and Development for Energy Efficiency in Mobile Devices (2.7 MB)
Rodrigo Fonseca, advisor
Quay-de la Vallee, Hannah
Icon On a (Per)Mission: Leveraging User Ratings of App Permissions to Help Users Manage Privacy (3.1 MB)
Shriram Krishnamurthi, advisor

2016

Cabeen, Ryan
Icon 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
Icon Methods for Evaluating Visualizations Using Practical Models of Insight, Interaction, and Gaze (16.0 MB)
David Laidlaw, advisor
Hughes, Michael
Icon Reliable and scalable variational inference for nonparametric mixtures, topics, and sequences (7.1 MB)
Erik Sudderth, advisor
Leiserson, Mark
Icon Methods for Identifying Combinations of Driver Mutations in Cancer (28.7 MB)
Ben Raphael, advisor
Mason, Rebecca
Icon Data-driven Image Captioning (6.0 MB)
Eugene Charniak, advisor
Mendes, Hammurabi
Icon Byzantine Computability and Combinatorial Topology (4.3 MB)
Maurice Herlihy, advisor
Pacheco, Jason
Icon Variational Approximations with Diverse Applications (21.0 MB)
Erik Sudderth, advisor
Patterson, Genevieve
Icon Collective Insight: Crowd-driven Image Understanding (5.2 MB)
James Hays, advisor
Politz, Joseph
Icon In-flow Peer Review of Examples in Example-First Programming (2.1 MB)
Shriram Krishnamurthi, advisor
Sun, Geoffrey
Icon The Devil is in the Details: Example-based Image Restoration and Detail Synthesis (4.5 MB)
James Hays, advisor
Swanson, Ben
Icon Computationally Connecting Language Transfer and Second Language Education (1.1 MB)
Eugene Charniak, advisor
Wu, Hsin-Ta
Icon Computational Detection of Driver Mutations in Cancer Genomes (232.5 KB)
Ben Raphael, advisor

2015

Buller, Mark J.
Icon Human Thermal-Work Strain Performance Optimization from Wearable Physiological Sensors (9.2 MB)
Chad Jenkins, advisor
Calciu, Irina
Icon Concurrent Algorithms for Emerging Hardware Platforms (2.7 MB)
Maurice Herlihy, advisor
Ghosh, Soumya
Icon Bayesian Nonparametric Discovery of Layers and Parts from Scenes and Objects (33.4 MB)
Erik Sudderth, advisor
Kelley, James A.
Icon Secure Data Compression and Error Correcting Codes for Networks and Cloud Storage (4.1 MB)
Roberto Tamassia, advisor
Miles, Jadrian
Icon A Multi-Scale Model of Brain White-Matter Structure and Its Fitting Method for Diffusion MRI (9.6 MB)
David Laidlaw, advisor
Oesper, Layla
Icon Computational Characterization of Heterogeneity and Rearrangements in Cancer (49.1 MB)
Ben Raphael, advisor
Tarvo, Alexander
Icon Automated Performance Modeling of Multithreaded Programs (3.7 MB)
Steven Reiss, advisor
Zuffi, Silvia
Icon Shape Models of the Human Body for Distributed Inference (35.3 MB)
Michael Black, advisor

2014

Aguiar, Derek
Icon Genome-wide algorithms for haplotype assembly, haplotype phasing, and IBD inference (7.8 MB)
Sorin Istrail, advisor
Baldimtsi, Foteini
Icon Efficient Cryptography for Information Privacy (1.2 MB)
Anna Lysyanskaya, advisor
Eisenstat, David
Icon Toward Practical Planar Graph Algorithms (548.4 KB)
Claire Mathieu, advisor
Philip Klein, advisor
Ferguson, Andrew
Icon Policy Delegation and Migration for Software-Defined Networks (1.0 MB)
Rodrigo Fonseca, advisor
Ohrimenko, Olga
Icon Data-Oblivious Algorithms for Privacy-Preserving Access to Cloud Storage (2.0 MB)
Roberto Tamassia, advisor
Pavlo, Andrew
Icon On Scalable Transaction Execution in Partitioned Main Memory Database Management Systems (4.7 MB)
Stan Zdonik, advisor
Riondato, Matteo
Icon On Scalable Transaction Execution in Partitioned Main Memory Database Management Systems (4.7 MB)
Eli Upfal, advisor
Tsoli, Aggeliki
Icon Modeling the Human Body in 3D: Data Registration and Human Shape Representation (41.4 MB)
Michael Black, advisor

2013

Backman, Nathan
Icon C-MR: Continuous Execution of MapReduce Workflows for Stream Processing (884.6 KB)
Ugur Cetintemel, advisor
Demiralp, Cagatay
Icon Computational Brain Connectivity Using Diffusion MRI (16.7 MB)
David Laidlaw
Duggan, Jennie
Icon Query Performance Prediction for Analytical Workloads (1.8 MB)
Ugur Cetintemel
Guan, Peng
Icon Virtual Human Bodies with Clothing and Hair: From Images to Animation (43.6 MB)
Michael Black
Liu, Feng-Hao
Icon Error Tolerant Cryptography (827.8 KB)
Anna Lysyanskaya
Mozes, Shay
Icon Efficient Algorithms for Shortest-Path and Maximum-Flow Problems in Planar Graphs (1.0 MB)
Philip Klein
Ritz, Anna
Icon Algorithms for Identifying Structural Variants in Human Genomes (5.5 MB)
Benjamin Raphael
Sun, Deqing
Icon From Pixels to Layers: Joint Motion Estimation and Segmentation (28.5 MB)
Michael Black
Vondrak, Marek
Icon Physically Plausible Human Pose and Control Estimation from Video (17.9 MB)
Chad Jenkins
Zhou, Wenjin
Icon In-vivo Microstructural and Anatomical Analysis of Brain White Matter from Diffusion MRI (5.1 MB)
David Laidlaw

2012

Akdere, Mert
Icon Supporting and Leveraging Prediction Models (1.5 MB)
Ugur Cetintemel
Coffrin, Carleton
Icon Decision Support for Disaster Management Through Hybrid Optimization (2.1 MB)
Pascal Van Hentenryck
Guha, Arjun
Icon Semantics and Types for Safe Web Programming (1.5 MB)
Shriram Krishnamurthi
Headden, William
Icon Unsupervised Bayesian Lexicalized Dependency Grammar Induction (678.2 KB)
• Mark Johnson
Jianu, Radu
Icon Improved Scientific Analysis through Domain Driven Visualization and Support for Analytic Deliberation (10.8 MB)
David Laidlaw
Kadioglu, Serdar
Icon Efficient Search Procedures for Solving Combinatorial Problems (1.6 MB)
Meinolf Sellmann
Kimura, Hideaki
Icon Correlation-Aware Optimizations for Analytic Databases (3.3 MB)
Stan Zdonik
Malitsky, Yuri
Icon Instance-Specific Algorithm Configuration (949.8 KB)
Meinolf Sellmann
Mao, Jie
Icon Supporting Complex Tasks in Visual Sensor Networks (1.6 MB)
John Jannotti
Schudy, Warren
Icon Approximation Schemes for Inferring Rankings and Clusterings from Pairwise Data (2.0 MB)
Claire Mathieu
Tarpine, Ryan
Icon A database of causality-inferred structure-function information for genomic cis-regulatory architecture (4.1 MB)
Sorin Istrail

2011

Das, Aparna
Icon Approximation Schemes for Euclidean Vehicle Routing Problems (1.1 MB)
Claire Mathieu
Elsner, Micha
Icon Generalizing Local Coherence Modeling (1.2 MB)
Eugene Charniak
Erway, C. Chris
Icon Anonymous Accounting for Decentralized Systems (1.8 MB)
John Jannotti
Kahn, Crystal
Icon Algorithms for Analyzing Human Genome Rearrangements (4.5 MB)
Benjamin Raphael
Pamnany, Kiran
Icon Safe Parallelism for Servers (2.6 MB)
John Jannotti
Papamanthou, Charalampos
Icon Cryptography for Efficiency: New Directions in Authenticated Data Structures (1.3 MB)
Roberto Tamassia
Rasin, Alexander
Icon Design Tool for a Clustered Column-Store Database (1.4 MB)
Stan Zdonik
Yip, Yue Kwen Justin
Icon The Length-Lex Representation for Constraint Programming over Sets (1.5 MB)
Pascal Van Hentenryck

2010

Balan, Alexandru O.
Icon Detailed Human Shape and Pose from Images (9.1 MB)
Michael Black
Grollman, Daniel H.
Icon Teaching Old Dogs New Tricks: Incremental Multimap Regression for Interactive Robot Learning from Demonstration (9.2 MB)
Chad Jenkins
Kupcu, Alptekin
Icon Efficient Cryptography for the Next Generation Secure Cloud (1.6 MB)
Anna Lysyanskaya
Lease, Matthew
Icon Beyond keywords: finding information more accurately and easily using natural language (742.3 KB)
Eugene Charniak
Lev, Yossi
Icon Debugging and Profiling of Transactional Programs (1.3 MB)
Maurice Herlihy
McClosky, David
Icon Any Domain Parsing: Automatic Domain Adaptation for Natural Language Parsing (573.9 KB)
Eugene Charniak
Naroditskiy, Victor
Icon Select Problems at the Intersection of Computer Science and Economics (1.2 MB)
Amy Greenwald
Rachlin, Eric
Icon Reliable Computing at the Nanoscale (17.4 MB)
John Savage

2009

Ahmad, Yanif
Icon Pulse: Database Support for Efficient Query Processing of Temporal Polynomial Models (7.4 MB)
Ugur Cetintemel
Ge, Tingjian
Icon Query Processing on Uncertain Data (1.0 MB)
Stan Zdonik
Hwang, Jeong-Hyon
Icon Fast and Highly-Available Stream Processing (2.5 MB)
Stan Zdonik
McCarthy, Jay
Icon Static Analyses of Cryptographic Protocols (1.4 MB)
Shriram Krishnamurthi
Mercier, Luc
Icon AMSAA: An Anticipatory Algorithm for Online Stochastic Combinatorial Optimization (8.3 MB)
Pascal Van Hentenryck
Papaemmanouil, Olga
Icon An Extensible Overlay Infrastructure for Wide-Area Stream Processing and Dissemination (1.7 MB)
Ugur Cetintemel
Wicks, John R.
Icon An Algorithm to Compute the Stochastically Stable Distribution of a Perturbed Markov Matrix (1.2 MB)
Amy Greenwald

2008

Acevedo Feliz, Daniel
Icon A Framework for the Perceptual Optimization of Multivalued Multilayered 2D Scientific Visualization Methods (21.4 MB)
David Laidlaw
Belenkiy, Mira
Icon Sharing Secrets for Fun and Profit (1.7 MB)
Anna Lysyanskaya
Borradaile, Glencora
Icon Exploiting Planarity for Network Flow and Connectivity Problems (984.3 KB)
Philip Klein
Cai, Lijuan
Icon Multilabel Classification over Category Taxonomies (1.1 MB)
• Thomas Hofmann
Chase, Melissa
Icon Efficient Non-Interactive Zero-Knowledge Proofs for Privacy Applications (834.8 KB)
Anna Lysyanskaya
Cooper, Gregory H.
Icon Integrating Dataflow Evaluation with a Practical Higher-Order Call-by-Value Language (1.2 MB)
Shriram Krishnamurthi
Eddon, Guy
Icon Language Support and Compiler Optimizations for Object-Based Software Transactional Memory (2.7 MB)
Maurice Herlihy
Marks, Casey
Icon No-Regret Learning and Game-Theoretic Equilibria (630.2 KB)
Amy Greenwald
Penso, Lucia Draque
Icon Distributed Protocols Robust Against Malicious Attacks (3.5 MB)
Maurice Herlihy
Sigal, Leonid
Icon Continuous-state Graphical Models for Object Localization, Pose Estimation and Tracking (12.9 MB)
Michael Black
Tenneson, Dana
Icon Interpretation of Molecule Conformations from Drawn Diagrams (7.5 MB)
Andy van Dam
Yao, Danfeng
Icon Privacy-Aware Authentication and Authorization in Trust Management (996.1 KB)
Roberto Tamassia

2007

Andrews, Stuart
Icon Learning from ambiguous examples (2.0 MB)
• Thomas Hofmann
Aron, Ionut
Icon A unifying framework for modeling and solving optimization problems (692.5 KB)
Pascal Van Hentenryck
Karpenko, Olga
Icon Algorithms and Interfaces for Sketch-Based 3D Modeling (36.5 MB)
John Hughes
Keefe, Daniel
Icon 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
Icon Data-Driven Predictive Modeling of Diarthrodial Joints (5.4 MB)
David Laidlaw
Moscovich, Tomer
Icon Principles and Applications of Multi-touch Interaction (2.8 MB)
John Hughes
Roth, Stefan
Icon High-Order Markov Random Fields for Low-Level Vision (14.4 MB)
Michael Black
Tatbul, Emine Nesime
Icon Load Shedding Techniques for Data Stream Management Systems (1.1 MB)
Stan Zdonik
Triandopoulos, Nikolaos
Icon Efficient Data Authentication (1.6 MB)
Roberto Tamassia
Vergados, Ioannis
Icon Simulated Annealing Based Local Search for Sport Scheduling Problems (1.0 MB)
Pascal Van Hentenryck
Wood, Frank
Icon Nonparametric Bayesian Models for Neural Data (21.1 MB)
Michael Black
Zhang, Song
Icon Revealing White Matter Fiber Structure with Diffusion Imaging (6.3 MB)
David Laidlaw

2006

Anagnostopoulos, Aristidis
Icon Probabilistic Techniques in the Analysis of Dynamic Processes (751.7 KB)
Eli Upfal
Genzel, Dmitriy
Icon Creating Algorithms for Parsers and Taggers for Resource-Poor Languages Using a Related Resource-Rich Language (297.5 KB)
Eugene Charniak
Leach, Sonia
Icon Informed Structural Priors for Bayesian Networks: Applications in Molecular Biology Using Heterogeneous Data Sources (23.5 MB)
Thomas Dean
McGuire, Morgan
Icon Computational Videography with a Single Axis, Multi-Parameter Lens Camera (6.3 MB)
John Hughes
Sun, Ye
Icon The Ballistic Protocol: Location-aware Distributed Cache Coherence in Metric-Space Networks (860.6 KB)
Maurice Herlihy
Xing, Ying
Icon Load Management Techniques for Distributed Stream Processing (2.3 MB)
Stan Zdonik

2005

Altun, Yasemin
Icon Discriminative Methods for Label Sequence Learning (665.1 KB)
• Thomas Hofmann
Bent, Russell
Icon Online Stochastic Optimization under Time Constraints (1.7 MB)
Pascal Van Hentenryck
Carney, Donald P.
Icon Application-Aware Resource Scheduling (4.6 MB)
Stan Zdonik
Gondek, David
Icon Non-Redundant Clustering (1.3 MB)
• Thomas Hofmann
Hall, Keith
Icon Best-first Word-lattice Parsing: Techniques for integrated syntactic language modeling (8.3 MB)
• Mark Johnson
LaViola, Joseph
Icon Mathematical Sketching: A New Approach to Creating and Exploring Dynamic Illustrations (3.8 MB)
Andy van Dam
Renieris, Emmanuel
Icon A Research Framework for Software-Fault Localization Tools (839.7 KB)
Steve Reiss
Tsochantaridis, Ioannis
Icon Support Vector Machine Learning for Interdependent and Structured Output Spaces (3.7 MB)
• Thomas Hofmann
Young, Joel
Icon Exploiting the Structure of the Web for Spidering (2.0 MB)
Thomas Dean

2004

Blaheta, Don
Icon Function Tagging (771.3 KB)
Eugene Charniak

2003

Fang, Anthony
Icon Efficient Synthesis of Physically Valid Human Motion for Computer Animation (3.4 MB)
• Nancy Pollard
Heath, Samuel Aaron
Icon An Optimal Method for DNA Sequencing by Hybridization (11.9 MB)
Franco Preparata
Kurien, James A.
Icon Diagnosis and Planning With Resource Constraints (7.5 MB)
• Leslie Pack Kaelbling
Tirthapura, Srikanta
Icon Distributed Queuing and Applications (570.9 KB)
Maurice Herlihy

2002

Benjamin, Michael
Icon Interval Programming: A Multi-Objective Optimization Model for Autonomous Vehicle Control (1.7 MB)
• Leslie Pack Kaelbling
Bridgeman, Stina
Icon Techniques and Tools for Graph Drawing (21.0 MB)
Roberto Tamassia
Dollins, Steven
Icon Modeling for the plausible emulation of large worlds (1.2 MB)
John Hughes
Ortiz, Luis
Icon Selecting Approximately-optimal Actions (6.0 MB)
• Leslie Pack Kaelbling
Pandurangan, Gopal
Icon Stochastic Analyses of Dynamic Computer Processes (913.6 KB)
Eli Upfal
Peshkin, Leonid
Icon Reinforcement Learning by Policy Search (1.4 MB)
• Leslie Pack Kaelbling
Smart, William
Icon Making Reinforcement Learning Work on Real Robots (1.4 MB)
• Leslie Pack Kaelbling

2001

Caraballo, Sharon
Icon Automatic Construction of a Hypernym-Labeled Noun Hierarchy from Text (2.3 MB)
Eugene Charniak
Kim, Kee-Eung
Icon Representations and Algorithms for Large Stochastic Planning Problems (6.9 MB)
Thomas Dean
Vote, Eileen
Icon 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
Icon A Study on Distributed Structures (4.9 MB)
Maurice Herlihy
Castanos, Jose
Icon Parallel Adaptive Unstructured Computation (4.2 MB)
John Savage
Chatzi, Vasiliki
Icon Integer-Coordinate Crystalline Meshes (6.2 MB)
Franco Preparata
Ge, Niyu
Icon An Approach To Anaphoric Pronouns (4.7 MB)
Eugene Charniak
Markosian, Lee
Icon Art-based Modeling and Rendering for Computer Graphics (4.0 MB)
John Hughes

1999

Cherniack, Mitch
Icon Building Query Optimizers with Combinators (1.8 MB)
Stan Zdonik
Michel, Laurent
Icon LOCALIZER A Modeling Language for Local Search (8.1 MB)
Pascal Van Hentenryck
Murali, T.M.
Icon Efficient Hidden-Surface Removal in Theory and in Practice (7.1 MB)
• Jeffrey Vitter
Shatkay, Hagit
Icon Learning Models for Robot Navigation (1.2 MB)
• Leslie Pack Kaelbling

1998

Acharya, Swarup
Icon Broadcast Disks: Dissemination-based Data Management for Asymmetric Communication Environments (1.3 MB)
Stan Zdonik
Cassandra, Anthony Rocco
Icon Exact and Approximate Algorithms for Partially Observable Markov Decision Processes (12.8 MB)
• Leslie Pack Kaelbling
Ramachandran, Viswanath
Icon An Optimizing Compiler for CLP(RLin) (7.2 MB)
Pascal Van Hentenryck

1997

Goldin, Dina Q.
Icon Constraint Query Algebras (4.3 MB)
Stan Zdonik, Paris Kanellakis
Greenwald, Lloyd
Icon 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
Icon Fast and Efficient Algorithms for Text and Video Compression (1.5 MB)
• Jeffrey Vitter
Lin, Shieu-Hong
Icon Exploiting Structure for Planning and Control (1.1 MB)
Thomas Dean
Lu, Hsueh-I
Icon Efficient Approximation Algorithms for Some Semidefinite Programs (723.3 KB)
Philip Klein
Vengroff, Darren Erik
Icon The Theory and Practice of I/O-Efficient Computation (5.3 MB)
• Jeffrey Vitter

1996

Chiang, Yi-Jen
Icon Dynamic and I/O-Efficient Algorithms for Computational Geometry and Graph Problems: Theoretical and Experimental Results (883.8 KB)
Roberto Tamassia
Garg, Ashim
Icon Where to Draw the Line (1.4 MB)
Roberto Tamassia
Grimm, Cindy Marie
Icon Modeling Surfaces of Arbitrary Topology Using Manifolds (4.6 MB)
John Hughes
Lin, Yi-Jing
Icon Configuration Management in Terms of Logical Structures (519.0 KB)
Steve Reiss
Littman, Michael Lederman
Icon Algorithms for Sequential Decision Making (1.2 MB)
• Leslie Pack Kaelbling
Subramanian, Bharathi
Icon Expressing and Optimizing Queries Over Lists and Trees (6.2 MB)
Stan Zdonik

1995

Camus, Theodore Armand
Icon Real-Time Optical flow (1.1 MB)
Thomas Dean
Carroll, Glenn
           • Eugene Charniak
Hubbard, Philip M.
Icon Collision Detection for Interactive Graphics Applications (1.2 MB)
Kirman, Jak
Icon Predicting Real-time Planner Performance by Domain Characterization (2.7 MB)
Thomas Dean
Krishnan, P
Icon Online Prediction Algorithms for Databases and Operating Systems (1.0 MB)
• Jeffrey Vitter
Langworthy, David E.
Icon On the use of Asynchrony in achieving Extensibility and High Performance in an object Storage System (550.4 KB)
Stan Zdonik
Ramaswamy, Sridhar
Icon Indexing for Data Models With Classes and Constraints (4.6 MB)
• Paris Kanellakis
Sanders, Kathryn E.
Icon CHIRON: Planning in an Open-Textured Domain (776.5 KB)
Thomas Dean
Subramanian, Sairam
Icon Parallel and Dynamic Shortest-Path Algorithms for Sparse Graphs (857.2 KB)
Philip Klein

1994

Hillebrand, Gerd G.
Icon Finite Model Theory in the Simply Typed Lambda Calculus (624.5 KB)
• Paris Kanellakis
Ravi, Ramamurthy
Icon 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
Icon Representing Software Systems in Multiple-View Development Environments (1.5 MB)
Steve Reiss
Mitchell, Gail Anne
Icon Extensible Query Processing in an Object-Oriented Database (1023.3 KB)
• Paris Kanellakis
Nodine, Mark Howard
Icon Minimizing the Input/Output Bottleneck (975.0 KB)
• Jeffrey Vitter
Nodine, Marian
           • Stan Zdonik

1992

Agrawal, Ajit Kumar
Icon Network Design and Network Cut Dualities: Approximation Algorithms and Applications (1.1 MB)
Philip Klein
Cohen, Robert
Icon Combine and Conquer (841.2 KB)
Roberto Tamassia
Kanazawa, Keiji
Icon Reasoning about Time and Probability (1.0 MB)
Thomas Dean
Lin, Jyh-Han
           • Jeffrey Vitter
Santos Jr., Eugene
Icon A Linear Constraint Satisfaction Approach for Abductive Reasoning (868.3 KB)
Eugene Charniak
Shimony, Solomon
Icon A Probabilistic Framework for Explanation (886.7 KB)
Eugene Charniak
Shvartsman, Alexander Allister
Icon Fault-Tolerant and Efficient Parallel Computation (868.3 KB)
• Paris Kanellakis

1991

Boddy, Mark Steven
Icon Solving Time-Dependent Problems: A Decision-Theoretic Approach to Planning in Dynamic Environments (1.1 MB)
Thomas Dean
Goldman, Robert
Icon A Probabilistic Approach to Language Understanding (1.5 MB)
Eugene Charniak
Golin, Eric J.
Icon A Method for the Specification and Parsing of Visual Languages (2.3 MB)
Steve Reiss
Harkness, Cheryl Lynn
Icon An Approach to Uncertainty in VLSI Design (2.2 MB)
• Dan Lopresti
Hughey, Richard Paul
Icon Programmable Systolic Arrays (1.7 MB)
• Dan Lopresti
Ravenscroft, Robert
           • John Savage
Revesz, Peter
           • Paris Kanellakis
Skarra, Andrea
           • Stan Zdonik
Stein, Lynn Andrea
Icon Resolving Ambiguity in Nonmonotonic Reasoning (1.5 MB)
• Leora Morgenstern
Wloka, Markus
Icon Parallel VLSI Synthesis (1.3 MB)
John Savage
Yen, Felix
Icon CI2 -- A Logic for Plural Representation (504.0 KB)
Eugene Charniak

1990

Calistri, Randall J.
Icon Classifying and Detecting Plan-Based Misconceptions for Robust Plans (1.3 MB)
Eugene Charniak
Harper, Mary Patricia
Icon The Representation of Noun Phrases in Logical Form (7.9 MB)
Eugene Charniak

1989

Cook, William
Icon 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
Icon 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
Icon Time-Space and Size-Space Tradeoffs for Oblivious Computations (993.3 KB)
John Savage

1980

Carlbom, Ingrid Birgitta
Icon 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
Icon 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
Icon 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