2024
Idrees, Ifrah
Abstract of Long-Term Autonomy in Socially Assistive Robots (10.5 MB)
• Stefanie A Tellex, advisor
Kumar, Indra
• Suresh Venkatasubramanian, advisor
Nguyen, Thao
Abstract of Human-guided Robot Object Search (19.2 MB)
• Stefanie A Tellex, advisor
Nokiz, Pegah
Modeling and Simulation of Artificial Societies to Study Precarity and Inequity (4.9 MB)
• Suresh Venkatasubramanian, advisor
Ren, Yanyan
Using Contrasting Cases to Teach Socially Responsible Computing (3.1 MB)
• Kathi Fisler, advisor
Rosenbloom, Leah
Cryptography for Grassroots Organizing (1.3 MB)
• Anna Lysyanskaya, advisor
Traylor, Aaron
The Emergence of Symbolic Structure from Data in Prototype Neural Networks (1.8 MB)
• Ellie Pavlick, advisor
Zerveas, George
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
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
Modeling Verb Meaning with Trajectories (7.0 MB)
• Ellie Pavlick, advisor
Engel, Daniel
Trading Mechanisms in an Adversarial Economy (1.4 MB)
• Maurice P Herlihy, advisor
Ibrahim, Abdelrahman
Machine Learning Methods for Combinatorial Optimization (4.6 MB)
• Sherief Reda, advisor
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
Lovering, Charles
Understanding the structure of Neural Newworks (12.7 MB)
• Ellie Pavlick, advisor
Markatou, Evangelia
Exploring Searchable Encryption Leakage from Range Queries (7.5 MB)
• Roberto Tamassia, advisor
Naseer, Usama
CDPlane: A Dynamic Content Distribution Plane for the Next Billion Users (3.6 MB)
•Theophilus Benson, advisor
Patel, Roma
Grounding Language Models in World Models (11.1 MB)
• Ellie Pavlick, advisor
Rahimzadeh Ilkhechi, Amir
Deep Models for Database Compression and Search (17.5 MB)
• Ugur Cetintemel, advisor
Rosen, Eric
Abstraction for Autonomous Human-Robot Interaction (23.9 MB)
• Stefanie A Tellex, advisor
Spiegelberg, Leonhard
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
Enabling Cross-Chain Transactions (1.2 MB)
• Maurice P Herlihy, advisor
Zheng, Kaiyu
Generalized Object Search (7.6 MB)
• Stefanie A 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