PhD Theses


Galakatos, Alexander
Accelerating Interactive Data Exploration
Tim Kraska, 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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


Blaheta, Don
Function Tagging
Eugene Charniak


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


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


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


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


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


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(RLin)
Pascal Van Hentenryck


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


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


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


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


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


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


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


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


Cook, William
A Denotational Semantics of Inheritance
• Peter Wegner
Manohar, Swaminathan
           • Gerard Baudet
Rubin, Robert
           • Steve Reiss
Stasko, John
           • Steve Reiss


McCartney, Robert
           • Eugene Charniak
Strauss, Paul
BAGS: The Brown Animation Generation System
Andy van Dam


Brown, Marc
           • Robert Sedgewick
Dalio, Brian
           • John Savage
Feiner, Steven
           • Andy van Dam


Hendler, James
           • Eugene Charniak
Incerpi, Janet
           • Robert Sedgewick


Chin, Wen
           • Jeffrey Vitter
Post, Mark
           • Steve Reiss


Giacalone, Allessandro
           • Thomas Doeppner
Hirst, Graeme
           • Eugene Charniak
Smolka, Scott
           • Thomas Doeppner, Paris Kanellakis


Bulterman, Dick
Andy van Dam
Flanagan, Peter
           • Peter Wegner, Ulf Grenander
Wong, Douglas
           • Eugene Charniak


Carlson, David
Time-Space and Size-Space Tradeoffs for Oblivious Computations
John Savage


Carlbom, Ingrid Birgitta
System Architecture for High-Performance Vector Graphics
Andy van Dam
DeNoia, Lynn
           • Steve Reiss


Stankovic, Jack
           • Andy van Dam


Imber, Yehoshua
           • John Savage
Swamy, Sowmitri
On Space-Time Tradeoffs
John Savage


Buck-Lew, May-Iun
           • Peter Wegner
Stockenburg, John
           • Andy van Dam


Sayward, Fred
           • Peter Wegner
Thomas, Joseph
           • Peter Wegner


Lamagna, Edmund
The Complexity of Monotone Functions
John Savage
Stabler, George
           • Andy van Dam


Berry, Daniel
           • Peter Wegner


Bergeron, Daniel
           • Andy van Dam
Fiduccia, Charles
           • John Savage


Michener, James
           • Andy van Dam


Strauss, Charles
           • Andy van Dam