PhD Theses
2022
- Amjad, Ghous
- Theoretical and Practical Advances in Structured Encryption
• Seny Kamara, advisor
- Choe, Jiwon
- Concurrent Data Structures with Near-Memory Processing: Software-Hardware Co-Design
• R. Iris Bahar , advisor
- DeMarinis, Nicholas
- Improving Application Security at Scale by Reducing System Call and Library Overprivilege
• Vasileios Kemerlis, advisor
- Khan, Numair
- Are Multi-view Edges Incomplete
• James Tompkin, advisor
- Liu, Yanqi
- Towards Robust and Energy-efficient Robot Perception Compute System
• Iris Bahar, advisor
- Trimbach, Carl
- Methods for Teaching Hard Learning Problems
• Michael Littman, advisor
- Wang, Linnan
- Building an Intelligent Agent to Design Neural Networks
• Rodrigo Fonseca, advisor
- Wrenn, John
- Executable Examples: Empowering Students to Hone Their Problem Comprehension
• Shriram Krishnamurthi, advisor
- Yang, Fumeng
- Fusing visualization, virtual reality, and vision science for scientific thinking
• David Laidlaw, advisor
2021
- Agarwal, Archita
- Encrypted Distributed Storage Systems
• Seny Kamara, advisor
- Areyan Viqueira, Enrique
- Learning Equilibria of Simulation-Based Games: Applications to Empirical Mechanism Design
• Amy Greenwald, advisor
- Asadi, Kavosh
- Smoothness in Reinforcement Learning with Large State and Action Spaces
• Michael Littman, advisor
- Cousins, Cyrus
- Bounds and Applications of Concentration of Measure in Fair Machine Learning and Data Science
• Eli Upfal, advisor
- Dursun, Kayhan
- Query Processing for Data Analytics on Modern Multicore Systems
• Ugur Cetintemel, advisor
- Lee, Chun Hin Jasper
- Classic and Modern Challenges in Statistical Estimation
- Paul Valiant, advisor
- Lehnert, Lucas
- Encoding Reusable Knowledge in State Representations
• Michael Littman, advisor
- Novotny, Johannes
- Using Virtual Reality Effectively in Scientific Data Exploration - Perception, Usability and Design in Immersive Displays
• David Laidlaw, advisor
- Saarinen, Sam
- Query Strategies for Directed Graphical Models and their Application to Adaptive Testing
• Michael Littman, advisor
- Wang, Guan "Royal"
- Interactive Reinforcement Learning from Human Language and Evaluative Feedback Through Task Decomposition
• Michael Littman, advisor
- Zhao, Zheguang
- Building a Structurally-Encrypted Relational Database System
• Seny Kamara, advisor
• Stan Zdonik, advisor
2020
- Abel, David
- A Theory of Abstraction in Reinforcement Learning
• Michael Littman, advisor
- Ando, Megumi
- Onions, Shallots and Leaks: Anonymous Communications Through Public Networks
• Anna Lysyanskaya, advisor
- Daskalova, Nediyana
- Personalized Systems for Guided and Flexible Self-Experiments
• Jeff Huang, advisor
- Deshpande, Apoorvaa
- Enhancing Privacy-Preserving Proof Systems
• Anna Lysyanskaya, advisor
- DeStefani, Lorenzo
- Probabilistic approaches for rigorous and efficient analysis of statistical properties of large datasets
• Eli Upfal, advisor
- Eichmann, Philipp
- Visual Methods for Exploring and Forecasting Time Series
• Andy van Dam, advisor
- Gopalan, Nakul
- Learning to Ground Natural Language Instructions to Plans
• Stefanie Tellex, advisor
- Satas, Gryte
- Tumor Phylogeny Reconstruction from DNA Sequencing Data
• Ben Raphael, advisor
- Zamanian Dolati, Erfan
- Distributed Transaction Processing on Modern RDMA-enabled Networks
• Tim Kraska, advisor
2019
- Becker, Amariah
- Approximation Algorithms for Capacitated Facility-Placement and Vehicle-Routing Problems in Transportation Networks
• Philip Klein, advisor
- Chung, Yeounoh
- Quantifying Uncertainty in Data Exploration
• Tim Kraska, advisor
- Crotty, Andrew
- Code Generation for In-Memory Data Analytics
• Tim Kraska, advisor
- Dickerson, Thomas
- Adapting Persistent Data Structures for Concurrency and Speculation
• Maurice Herlihy, advisor
- Galakatos, Alexander
- Accelerating Interactive Data Exploration
• Tim Kraska, advisor
- Kornaropoulos, Evgenios
- Information Leakage in Encrypted Systems Through an Algorithmic Lens
• Roberto Tamassia, advisor
- Meehan, John
- Transactional Streaming: Managing Push-Based Workloads with Shared Mutable State in a Distributed Setting
• Stanley Zdonik, advisor
- Oberlin, John
- Light Fields and Synthetic Aperture Photography for Robotic Perception
• Stefanie Tellex, advisor
- Rasley, Jeffrey
- Application-Aware Cluster Resource Management
• Rodrigo Fonseca, advisor
- Saraph, Vikram
- Fault-Tolerant Distributed Computability
• Maurice Herlihy, advisor
- Tanner, Chris
- Cross-Document Coreference Resolution for Entities and Events
• Eugene Charniak, advisor
- Whitney, David
- Multimodal Human-Robot Interaction With Decision Theory and Mixed Reality
• Stefanie Tellex, advisor
- Yu, Da
- Towards Reliable and Predictable Networks
• Rodrigo Fonseca, advisor
2018
- Chua, Jeroen
- Probabilistic Scene Grammars: A General-Purpose Framework For Scene Understanding
• Pedro Felzenszwalb, advisor
- Ghosh, Esha
- Integrity and Privacy in the Cloud: Efficient algorithms for secure and privacy-preserving processing of outsourced data
• Roberto Tamassia, advisor
- Papoutsaki, Alexandra
- Democratizing Eye Tracking
• Jeff Huang, advisor
- Pombrio, Justin
- Resugaring: Lifting Languages through Syntactic Sugar
• Shriram Krishnamurthi, advisor
- Ren, Zhile
- Semantic Three-Dimensional Understanding of Dynamic Scenes
• Erik Sudderth, advisor
- Xin, Qi
- Towards Improving the Effectiveness of Automated Program Repair
• Steve Reiss, advisor
- Zgraggen Emanuel
- Towards Accessible Data Analysis/a>
• Andy van Dam, advisor
2017
- Choe, Do Kook
- Toward Solving Penn Treebank Parsing
• Eugene Charniak, advisor
- Gramazio, Connor
- A computational approach to mitigate visualization design barriers in cancer genomics
• David Laidlaw, advisor
- Kalinin, Alexander
- Integrated Search and Exploration Over Large Multidimensional Data
• Ugur Cetintemel, advisor
- Kim, Dae Il
- Scalable Bayesian Nonparametric Models for Networks and Documents
• Erik Sudderth, advisor
- Liu, Zhiyu
- Theory and Applications of Parallelism with Futures
• Maurice Herlihy, advisor
- Mahmoodyghaidary, Ahmad
- Scalable Algorithms for Mining Graphs and Social Networks via Sampling
• Eli Upfal, advisor
- Martins, Marcelo Teixeira
- Software Analysis and Development for Energy Efficiency in Mobile Devices
• Rodrigo Fonseca, advisor
- Quay-de la Vallee, Hannah
- On a (Per)Mission: Leveraging User Ratings of App Permissions to Help Users Manage Privacy
• Shriram Krishnamurthi, advisor
2016
- Cabeen, Ryan
- Developing and Evaluating Computational Tools for the Modeling, Visualization, and Analysis of Brain White Matter with Diffusion MRI
• David Laidlaw, advisor
- Gomez, Steven
- Methods for Evaluating Visualizations Using Practical Models of Insight, Interaction, and Gaze
• David Laidlaw, advisor
- Hughes, Michael
- Reliable and scalable variational inference for nonparametric mixtures, topics, and sequences
• Erik Sudderth, advisor
- Leiserson, Mark
- Methods for Identifying Combinations of Driver Mutations in Cancer
• Ben Raphael, advisor
- Mason, Rebecca
- Data-driven Image Captioning
• Eugene Charniak, advisor
- Mendes, Hammurabi
- Byzantine Computability and Combinatorial Topology
• Maurice Herlihy, advisor
- Pacheco, Jason
- Variational Approximations with Diverse Applications
• Erik Sudderth, advisor
- Patterson, Genevieve
- Collective Insight: Crowd-driven Image Understanding
• James Hays, advisor
- Politz, Joseph
- In-flow Peer Review of Examples in Example-First Programming
• Shriram Krishnamurthi, advisor
- Sun, Geoffrey
- The Devil is in the Details: Example-based Image Restoration and Detail Synthesis
• James Hays, advisor
- Swanson, Ben
- Computationally Connecting Language Transfer and Second Language Education
• Eugene Charniak, advisor
- Wu, Hsin-Ta
- Computational Detection of Driver Mutations in Cancer Genomes
• Ben Raphael, advisor
2015
- Buller, Mark J.
- Human Thermal-Work Strain Performance Optimization from Wearable Physiological Sensors
• Chad Jenkins, advisor
- Calciu, Irina
- Concurrent Algorithms for Emerging Hardware Platforms
• Maurice Herlihy, advisor
- Ghosh, Soumya
- Bayesian Nonparametric Discovery of Layers and Parts from Scenes and Objects
• Erik Sudderth, advisor
- Kelley, James A.
- Secure Data Compression and Error Correcting Codes for Networks and Cloud Storage
• Roberto Tamassia, advisor
- Miles, Jadrian
- A Multi-Scale Model of Brain White-Matter Structure and Its Fitting Method for Diffusion MRI
• David Laidlaw, advisor
- Oesper, Layla
- Computational Characterization of Heterogeneity and Rearrangements in Cancer"
• Ben Raphael, advisor
- Tarvo, Alexander
- Automated Performance Modeling of Multithreaded Programs
• Steven Reiss, advisor
- Zuffi, Silvia
- Shape Models of the Human Body for Distributed Inference
• Michael Black, advisor
2014
- Aguiar, Derek
- Genome-wide algorithms for haplotype assembly, haplotype phasing, and IBD inference
• Sorin Istrail, advisor
- Baldimtsi, Foteini
- Efficient Cryptography for Information Privacy
• Anna Lysyanskaya, advisor
- Eisenstat, David
- Toward Practical Planar Graph Algorithms
• Claire Mathieu, advisor
• Philip Klein, advisor
- Ferguson, Andrew
- Policy Delegation and Migration for Software-Defined Networks
• Rodrigo Fonseca, advisor
- Ohrimenko, Olga
- Data-Oblivious Algorithms for Privacy-Preserving Access to Cloud Storage
• Roberto Tamassia, advisor
- Pavlo, Andrew
- On Scalable Transaction Execution in Partitioned Main Memory Database Management Systems
• Stan Zdonik, advisor
- Riondato, Matteo
- Sampling-based Randomized Algorithms for Big Data Analytics
• Eli Upfal, advisor
- Tsoli, Aggeliki
- Modeling the Human Body in 3D: Data Registration and Human Shape Representation
• Michael Black, advisor
2013
- Backman, Nathan
- C-MR: Continuous Execution of MapReduce Workflows for Stream Processing
• Ugur Cetintemel, advisor
- Demiralp, Cagatay
- Computational Brain Connectivity Using Diffusion MRI
• David Laidlaw
- Duggan, Jennie
- Query Performance Prediction for Analytical Workloads
• Ugur Cetintemel
- Guan, Peng
- Virtual Human Bodies with Clothing and Hair: From Images to Animation
• Michael Black
- Liu, Feng-Hao
- Error Tolerant Cryptography
• Anna Lysyanskaya
- Mozes, Shay
- Efficient Algorithms for Shortest-Path and Maximum-Flow Problems in Planar Graphs
• Philip Klein
- Ritz, Anna
- Algorithms for Identifying Structural Variants in Human Genomes
• Benjamin Raphael
- Sun, Deqing
- From Pixels to Layers: Joint Motion Estimation and Segmentation
• Michael Black
- Vondrak, Marek
- Physically Plausible Human Pose and Control Estimation from Video
• Chad Jenkins
- Zhou, Wenjin
- In-vivo Microstructural and Anatomical Analysis of Brain White Matter from Diffusion MRI
• David Laidlaw
2012
- Akdere, Mert
- Supporting and Leveraging Prediction Models
• Ugur Cetintemel
- Coffrin, Carleton
- Decision Support for Disaster Management Through Hybrid Optimization
• Pascal Van Hentenryck
- Guha, Arjun
- Semantics and Types for Safe Web Programming
• Shriram Krishnamurthi
- Headden, William
- Unsupervised Bayesian Lexicalized Dependency Grammar Induction
• Mark Johnson
- Jianu, Radu
- Improved Scientific Analysis through Domain Driven Visualization and Support for Analytic Deliberation
• David Laidlaw
- Kadioglu, Serdar
- Efficient Search Procedures for Solving Combinatorial Problems
• Meinolf Sellmann
- Kimura, Hideaki
- Correlation-Aware Optimizations for Analytic Databases
• Stan Zdonik
- Malitsky, Yuri
- Instance-Specific Algorithm Configuration
• Meinolf Sellmann
- Mao, Jie
- Supporting Complex Tasks in Visual Sensor Networks
• John Jannotti
- Schudy, Warren
- Approximation Schemes for Inferring Rankings and Clusterings from Pairwise Data
• Claire Mathieu
- Tarpine, Ryan
- A database of causality-inferred structure-function information for genomic cis-regulatory architecture
• Sorin Istrail
2011
- Das, Aparna
- Approximation Schemes for Euclidean Vehicle Routing Problems
• Claire Mathieu
- Elsner, Micha
- Generalizing Local Coherence Modeling
• Eugene Charniak
- Erway, C. Chris
- Anonymous Accounting for Decentralized Systems
• John Jannotti
- Kahn, Crystal
- Algorithms for Analyzing Human Genome Rearrangements
• Benjamin Raphael
- Pamnany, Kiran
- Safe Parallelism for Servers
• John Jannotti
- Papamanthou, Charalampos
- Cryptography for Efficiency: New Directions in Authenticated Data Structures
• Roberto Tamassia
- Rasin, Alexander
- Design Tool for a Clustered Column-Store Database
• Stan Zdonik
- Yip, Yue Kwen Justin
- The Length-Lex Representation for Constraint Programming over Sets
• Pascal Van Hentenryck
2010
- Balan, Alexandru O.
- Detailed Human Shape and Pose from Images
• Michael Black
- Grollman, Daniel H.
- Teaching Old Dogs New Tricks: Incremental Multimap Regression for Interactive Robot Learning from Demonstration
• Chad Jenkins
- Kupcu, Alptekin
- Efficient Cryptography for the Next Generation Secure Cloud
• Anna Lysyanskaya
- Lease, Matthew
- Beyond keywords: finding information more accurately and easily using natural language
• Eugene Charniak
- Lev, Yossi
- Debugging and Profiling of Transactional Programs
• Maurice Herlihy
- McClosky, David
- Any Domain Parsing: Automatic Domain Adaptation for Natural Language Parsing
• Eugene Charniak
- Naroditskiy, Victor
- Select Problems at the Intersection of Computer Science and Economics
• Amy Greenwald
- Rachlin, Eric
- Reliable Computing at the Nanoscale
• John Savage
2009
- Ahmad, Yanif
- Pulse: Database Support for Efficient Query Processing of Temporal Polynomial Models
• Ugur Cetintemel
- Ge, Tingjian
- Query Processing on Uncertain Data
• Stan Zdonik
- Hwang, Jeong-Hyon
- Fast and Highly-Available Stream Processing
• Stan Zdonik
- McCarthy, Jay
- Static Analyses of Cryptographic Protocols
• Shriram Krishnamurthi
- Mercier, Luc
- AMSAA: An Anticipatory Algorithm for Online Stochastic Combinatorial Optimization
• Pascal Van Hentenryck
- Papaemmanouil, Olga
- An Extensible Overlay Infrastructure for Wide-Area Stream Processing and Dissemination
• Ugur Cetintemel
- Wicks, John R.
- An Algorithm to Compute the Stochastically Stable Distribution of a Perturbed Markov Matrix
• Amy Greenwald
2008
- Acevedo Feliz, Daniel
- A Framework for the Perceptual Optimization of Multivalued Multilayered 2D Scientific Visualization Methods
• David Laidlaw
- Belenkiy, Mira
- Sharing Secrets for Fun and Profit
• Anna Lysyanskaya
- Borradaile, Glencora
- Exploiting Planarity for Network Flow and Connectivity Problems
• Philip Klein
- Cai, Lijuan
- Multilabel Classification over Category Taxonomies
• Thomas Hofmann
- Chase, Melissa
- Efficient Non-Interactive Zero-Knowledge Proofs for Privacy Applications
• Anna Lysyanskaya
- Cooper, Gregory H.
- Integrating Dataflow Evaluation with a Practical Higher-Order Call-by-Value Language
• Shriram Krishnamurthi
- Eddon, Guy
- Language Support and Compiler Optimizations for Object-Based Software Transactional Memory
• Maurice Herlihy
- Marks, Casey
- No-Regret Learning and Game-Theoretic Equilibria
• Amy Greenwald
- Penso, Lucia Draque
- Distributed Protocols Robust Against Malicious Attacks
• Maurice Herlihy
- Sigal, Leonid
- Continuous-state Graphical Models for Object Localization, Pose Estimation and Tracking
• Michael Black
- Tenneson, Dana
- Interpretation of Molecule Conformations from Drawn Diagrams
• Andy van Dam
- Yao, Danfeng
- Privacy-Aware Authentication and Authorization in Trust Management
• Roberto Tamassia
2007
- Andrews, Stuart
- Learning from ambiguous examples
• Thomas Hofmann
- Aron, Ionut
- A unifying framework for modeling and solving optimization problems
• Pascal Van Hentenryck
- Karpenko, Olga
- Algorithms and Interfaces for Sketch-Based 3D Modeling
• John Hughes
- Keefe, Daniel
- Interactive 3D Drawing for Free-Form Modeling in Scientific Visualization and Art: Tools, Methodologies, and Theoretical Foundations
• David Laidlaw
- Marai, Georgeta-Elisabeta
- Data-Driven Predictive Modeling of Diarthrodial Joints
• David Laidlaw
- Moscovich, Tomer
- Principles and Applications of Multi-touch Interaction
• John Hughes
- Roth, Stefan
- High-Order Markov Random Fields for Low-Level Vision
• Michael Black
- Tatbul, Emine Nesime
- Load Shedding Techniques for Data Stream Management Systems
• Stan Zdonik
- Triandopoulos, Nikolaos
- Efficient Data Authentication
• Roberto Tamassia
- Vergados, Ioannis
- Simulated Annealing Based Local Search for Sport Scheduling Problems
• Pascal Van Hentenryck
- Wood, Frank
- Nonparametric Bayesian Models for Neural Data
• Michael Black
- Zhang, Song
- Revealing White Matter Fiber Structure with Diffusion Imaging
• David Laidlaw
2006
- Anagnostopoulos, Aristidis
- Probabilistic Techniques in the Analysis of Dynamic Processes
• Eli Upfal
- Genzel, Dmitriy
- Creating Algorithms for Parsers and Taggers for Resource-Poor Languages Using a Related Resource-Rich Language
• Eugene Charniak
- Leach, Sonia
- Informed Structural Priors for Bayesian Networks: Applications in Molecular Biology Using Heterogeneous Data Sources
• Thomas Dean
- McGuire, Morgan
- Computational Videography with a Single Axis, Multi-Parameter Lens Camera
• John Hughes
- Sun, Ye
- The Ballistic Protocol: Location-aware Distributed Cache Coherence in Metric-Space Networks
• Maurice Herlihy
- Xing, Ying
- Load Management Techniques for Distributed Stream Processing
• Stan Zdonik
2005
- Altun, Yasemin
- Discriminative Methods for Label Sequence Learning
• Thomas Hofmann
- Bent, Russell
- Online Stochastic Optimization under Time Constraints
• Pascal Van Hentenryck
- Carney, Donald P.
- Application-Aware Resource Scheduling
• Stan Zdonik
- Gondek, David
- Non-Redundant Clustering
• Thomas Hofmann
- Hall, Keith
- Best-first Word-lattice Parsing: Techniques for integrated syntactic language modeling
• Mark Johnson
- LaViola, Joseph
- Mathematical Sketching: A New Approach to Creating and Exploring Dynamic Illustrations
• Andy van Dam
- Renieris, Emmanuel
- A Research Framework for Software-Fault Localization Tools
• Steve Reiss
- Tsochantaridis, Ioannis
- Support Vector Machine Learning for Interdependent and Structured Output Spaces
• Thomas Hofmann
- Young, Joel
- Exploiting the Structure of the Web for Spidering
• Thomas Dean
2004
- Blaheta, Don
- Function Tagging
• Eugene Charniak
2003
- Fang, Anthony
- Efficient Synthesis of Physically Valid Human Motion for Computer Animation
• Nancy Pollard
- Heath, Samuel Aaron
- An Optimal Method for DNA Sequencing by Hybridization
• Franco Preparata
- Kurien, James A.
- Diagnosis and Planning With Resource Constraints
• Leslie Pack Kaelbling
- Tirthapura, Srikanta
- Distributed Queuing and Applications
• Maurice Herlihy
2002
- Benjamin, Michael
- Interval Programming: A Multi-Objective Optimization Model for Autonomous Vehicle Control
• Leslie Pack Kaelbling
- Bridgeman, Stina
- Techniques and Tools for Graph Drawing
• Roberto Tamassia
- Dollins, Steven
- Modeling for the plausible emulation of large worlds
• John Hughes
- Ortiz, Luis
- Selecting Approximately-optimal Actions
• Leslie Pack Kaelbling
- Pandurangan, Gopal
- Stochastic Analyses of Dynamic Computer Processes
• Eli Upfal
- Peshkin, Leonid
- Reinforcement Learning by Policy Search
• Leslie Pack Kaelbling
- Smart, William
- Making Reinforcement Learning Work on Real Robots
• Leslie Pack Kaelbling
2001
- Caraballo, Sharon
- Automatic Construction of a Hypernym-Labeled Noun Hierarchy from Text
• Eugene Charniak
- Kim, Kee-Eung
- Representations and Algorithms for Large Stochastic Planning Problems
• Thomas Dean
- Vote, Eileen
- A New Methodology for Archaeological Analysis: Using Visualization and Interaction to Explore Spatial Links in Excavation Data
• David Laidlaw
2000
- Busch, Costas
- A Study on Distributed Structures
• Maurice Herlihy
- Castanos, Jose
- Parallel Adaptive Unstructured Computation
• John Savage
- Chatzi, Vasiliki
- Integer-Coordinate Crystalline Meshes
• Franco Preparata
- Ge, Niyu
- An Approach To Anaphoric Pronouns
• Eugene Charniak
- Markosian, Lee
- Art-based Modeling and Rendering for Computer Graphics
• John Hughes
1999
- Cherniack, Mitch
- Building Query Optimizers with Combinators
• Stan Zdonik
- Michel, Laurent
- LOCALIZER A Modeling Language for Local Search
• Pascal Van Hentenryck
- Murali, T.M.
- Efficient Hidden-Surface Removal in Theory and in Practice
• Jeffrey Vitter
- Shatkay, Hagit
- Learning Models for Robot Navigation
• Leslie Pack Kaelbling
1998
- Acharya, Swarup
- Broadcast Disks: Dissemination-based Data Management for Asymmetric Communication Environments
• Stan Zdonik
- Cassandra, Anthony Rocco
- Exact and Approximate Algorithms for Partially Observable Markov Decision Processes
• Leslie Pack Kaelbling
- Ramachandran, Viswanath
- An Optimizing Compiler for CLP(RLin)
• Pascal Van Hentenryck
1997
- Goldin, Dina Q.
- Constraint Query Algebras
• Stan Zdonik, Paris Kanellakis
- Greenwald, Lloyd
- Analysis and Design of On-line Decision-Making Solutions for Time-Critical Planning and Scheduling Under Uncertainty
• Thomas Dean
- Hoang, Dzung Tien
- Fast and Efficient Algorithms for Text and Video Compression
• Jeffrey Vitter
- Lin, Shieu-Hong
- Exploiting Structure for Planning and Control
• Thomas Dean
- Lu, Hsueh-I
- Efficient Approximation Algorithms for Some Semidefinite Programs
• Philip Klein
- Vengroff, Darren Erik
- The Theory and Practice of I/O-Efficient Computation
• Jeffrey Vitter
1996
- Chiang, Yi-Jen
- Dynamic and I/O-Efficient Algorithms for Computational Geometry and Graph Problems: Theoretical and Experimental Results
• Roberto Tamassia
- Garg, Ashim
- Where to Draw the Line
• Roberto Tamassia
- Grimm, Cindy Marie
- Modeling Surfaces of Arbitrary Topology Using Manifolds
• John Hughes
- Lin, Yi-Jing
- Configuration Management in Terms of Logical Structures
• Steve Reiss
- Littman, Michael Lederman
- Algorithms for Sequential Decision Making
• Leslie Pack Kaelbling
- Subramanian, Bharathi
- Expressing and Optimizing Queries Over Lists and Trees
• Stan Zdonik
1995
- Camus, Theodore Armand
- Real-Time Optical flow
• Thomas Dean
- Carroll, Glenn
• Eugene Charniak
- Hubbard, Philip M.
- Collision Detection for Interactive Graphics Applications
- Kirman, Jak
- Predicting Real-time Planner Performance by Domain Characterization
• Thomas Dean
- Krishnan, P
- Online Prediction Algorithms for Databases and Operating Systems
• Jeffrey Vitter
- Langworthy, David E.
- On the use of Asynchrony in achieving Extensibility and High Performance in an object Storage System
• Stan Zdonik
- Ramaswamy, Sridhar
- Indexing for Data Models With Classes and Constraints
• Paris Kanellakis
- Sanders, Kathryn E.
- CHIRON: Planning in an Open-Textured Domain
• Thomas Dean
- Subramanian, Sairam
- Parallel and Dynamic Shortest-Path Algorithms for Sparse Graphs
• Philip Klein
1994
- Hillebrand, Gerd G.
- Finite Model Theory in the Simply Typed Lambda Calculus
• Paris Kanellakis
- Ravi, Ramamurthy
- Steiner Trees and Beyond: Approximation Algorithms for Network Design
• Philip Klein
1993
- Bayse, Kenneth
• Thomas Dean
- Howard, Paul
• Jeffrey Vitter
- Meyers, Scott Douglas
- Representing Software Systems in Multiple-View Development Environments
• Steve Reiss
- Mitchell, Gail Anne
- Extensible Query Processing in an Object-Oriented Database
• Paris Kanellakis
- Nodine, Mark Howard
- Minimizing the Input/Output Bottleneck
• Jeffrey Vitter
- Nodine, Marian
• Stan Zdonik
1992
- Agrawal, Ajit Kumar
- Network Design and Network Cut Dualities: Approximation Algorithms and Applications
• Philip Klein
- Cohen, Robert
- Combine and Conquer
• Roberto Tamassia
- Kanazawa, Keiji
- Reasoning about Time and Probability
• Thomas Dean
- Lin, Jyh-Han
• Jeffrey Vitter
- Santos Jr., Eugene
- A Linear Constraint Satisfaction Approach for Abductive Reasoning
• Eugene Charniak
- Shimony, Solomon
- A Probabilistic Framework for Explanation
• Eugene Charniak
- Shvartsman, Alexander Allister
- Fault-Tolerant and Efficient Parallel Computation
• Paris Kanellakis
1991
- Boddy, Mark Steven
- Solving Time-Dependent Problems: A Decision-Theoretic Approach to Planning in Dynamic Environments
• Thomas Dean
- Goldman, Robert
- A Probabilistic Approach to Language Understanding
• Eugene Charniak
- Golin, Eric J.
- A Method for the Specification and Parsing of Visual Languages
• Steve Reiss
- Harkness, Cheryl Lynn
- An Approach to Uncertainty in VLSI Design
• Dan Lopresti
- Hughey, Richard Paul
- Programmable Systolic Arrays
• Dan Lopresti
- Ravenscroft, Robert
• John Savage
- Revesz, Peter
• Paris Kanellakis
- Skarra, Andrea
• Stan Zdonik
- Stein, Lynn Andrea
- Resolving Ambiguity in Nonmonotonic Reasoning
• Leora Morgenstern
- Wloka, Markus
- Parallel VLSI Synthesis
• John Savage
- Yen, Felix
- CI2 -- A Logic for Plural Representation
• Eugene Charniak
1990
- Calistri, Randall J.
- Classifying and Detecting Plan-Based Misconceptions for Robust Plans
• Eugene Charniak
- Harper, Mary Patricia
- The Representation of Noun Phrases in Logical Form
• Eugene Charniak
1989
- Cook, William
- A Denotational Semantics of Inheritance
• Peter Wegner
- Manohar, Swaminathan
• Gerard Baudet
- Rubin, Robert
• Steve Reiss
- Stasko, John
• Steve Reiss
1988
- McCartney, Robert
• Eugene Charniak
- Strauss, Paul
- BAGS: The Brown Animation Generation System
• Andy van Dam
1987
- Brown, Marc
• Robert Sedgewick
- Dalio, Brian
• John Savage
- Feiner, Steven
• Andy van Dam
1986
- Hendler, James
• Eugene Charniak
- Incerpi, Janet
• Robert Sedgewick
1985
- Chin, Wen
• Jeffrey Vitter
- Post, Mark
• Steve Reiss
1984
- Giacalone, Allessandro
- • Thomas Doeppner
- Hirst, Graeme
• Eugene Charniak
- Smolka, Scott
• Thomas Doeppner, Paris Kanellakis
1982
- Bulterman, Dick
- • Andy van Dam
- Flanagan, Peter
• Peter Wegner, Ulf Grenander
- Wong, Douglas
• Eugene Charniak
1981
- Carlson, David
- Time-Space and Size-Space Tradeoffs for Oblivious Computations
• John Savage
1980
- Carlbom, Ingrid Birgitta
- System Architecture for High-Performance Vector Graphics
• Andy van Dam
- DeNoia, Lynn
• Steve Reiss
1979
- Stankovic, Jack
• Andy van Dam
1978
- Imber, Yehoshua
• John Savage
- Swamy, Sowmitri
- On Space-Time Tradeoffs
• John Savage
1977
- Buck-Lew, May-Iun
• Peter Wegner
- Stockenburg, John
• Andy van Dam
1976
- Sayward, Fred
• Peter Wegner
- Thomas, Joseph
• Peter Wegner
1975
- Lamagna, Edmund
- The Complexity of Monotone Functions
• John Savage
- Stabler, George
• Andy van Dam
1974
- Berry, Daniel
• Peter Wegner
1973
- Bergeron, Daniel
• Andy van Dam
- Fiduccia, Charles
• John Savage
1970
- Michener, James
• Andy van Dam
1969
- Strauss, Charles
• Andy van Dam