PhD Theses
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