Dissertations from 2012
Mining Tera-Scale Graphs: Theory, Engineering and Discoveries, U Kang
Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic, Neelakantan R. Krishnaswami
Approximation Techniques for Stochastic Combinatorial Optimization Problems, Ravishankar Krishnaswamy
Automated Market Making: Theory and Practice, Abraham M. Othman
Automatic Generation of Issue Maps: Structured, Interactive Outputs for Complex Information Needs, Dafna Shahaf
Substructural Logical Specifications, Robert J. Simmons
Graph Partitioning and Semi-definite Programming Hierarchies, Ali Kemal Sinop
Sensing Through Structure, Ronit Slyper
Formalizing and Enforcing Purpose Restrictions, Michael Carl Tschantz
Dissertations from 2011
Spare a Little Change? Towards a 5-Nines Internet in 250 Lines of Code, Mukesh Agrawal
Fast Algorithms for Mining Co-evolving Time Series, Lei Li
Dissertations from 2010
Multiple-Cue Object Recognition for Interactionable Objects, Sarah Aboutalib
k+ Decision Trees, J. Aspnes, Eric Blais, Ryan O'Donnell, M. Demirbas, A. Rudra, and S. Uurtamo
Clustering Under Natural Stability Assumptions, Pranjal Awasthi, Avrim Blum, and Or Sheffet
Improved Guarantees for Agnostic Learning of Disjunctions, Pranjal Awasthi, Avrim Blum, and Or Sheffet
Learning Generative Models for Protein Fold Families, Sivaraman Balakrishnan, Hetunandan Kamisetty, Jaime G. Carbonell, and Christopher J. Langmead
Circumventing the Price of Anarchy: Leading Dynamics to Good Behavior, Maria-Florina Balcan, Avrim Blum, and Yishay Mansour
A Constant Factor Approximation Algorithm for Generalized Min-Sum Set Cover, Nikhil Bansal, Anupam Gupta, and Ravishankar Krishnaswamy
When LP is the Cure for Your Matching Woes: Approximating Stochastic Matchings, Nikhil Bansal, Anupam Gupta, Viswanath Nagarajan, and Atri Rudra
Session Types as Intuitionistic Linear Propositions, Luis Caires and Frank Pfenning
Planning pre-grasp manipulation for transport tasks, Lillian Y. Chang, Siddartha S. Srinivasa, and Nancy Pollard
SplitScreen: Enabling Efficient, Distributed Malware Detection, Sang Kil Cha, Iulian Moraru, Jiyong Jang, John Truelove, David Brumley, and David G. Andersen
Exploiting Multi-level Parallelism for Low-latency Activity Recognition in Streaming Video, Ming-Yu Chen, Lily Mummert, Padmanabhan Pillai, Alexander Hauptmann, and Rahul Sukthankar
Hardness Results for Agnostically Learning Low-Degree Polynomial Threshold Functions, Ilias Diakonikolas, Ryan O'Donnell, Rocco A. Servedio, and Yi Wu
Algorithms and Models for Problems in Networking, Michael Dinitz
Vertex Sparsifiers: New Results from Old Techniques, Matthias Englert, Anupam Gupta, Robert Krauthgamer, Harald Racke, Inbal Talgam-Cohen, and Kunal Talwar
Network Protocol Primer, David Feinberg
DiscFinder: A Data-Intensive Scalable Cluster Finder for Astrophysics, Bin Fu, Kai Ren, Julio Lopez, Eugene Fink, and Garth Gibson
Computing Equilibria by Incorporating Qualitative Models, Sam Ganzfried and Tuomas W. Sandholm
Computing Equilibria by Incorporating Qualitative Models, Sam Ganzfried and Tuomas W. Sandholm
A Proof-Carrying File System, Deepak Garg and Frank Pfenning
Speeding Up Gradient-Based Algorithms for Sequential Games, Andrew Gilpin and Tuomas W. Sandholm
Fooling Functions of Halfspaces under Product Distributions, Parikshit Gopalan, Ryan O'Donnell, Yi Wu, and David Zuckerman
Approximation Algorithms for Optimal Decision Trees and Adaptive TSP Problems, Anupam Gupta, Ravishankar Krishnaswamy, Viswanath Nagarajan, and R. Ravi
Tree Embeddings for Two-Edge-Connected Network Design, Anupam Gupta, Ravishankar Krishnaswamy, and R. Ravi
Forest Density Estimation, Anupam Gupta, John Lafferty, Han Liu, Larry Wasserman, and Min Xiu
Constrained Non-Monotone Submodular Maximization: Offline and Secretary Algorithms, Anupam Gupta, Aaron Roth, Grant Schoenebeck, and Kunal Talwar
SDP gaps for 2-to-1 and other Label-Cover variants, Venkatesan Guruswami, Subash Khot, Ryan O'Donnell, Preyas Popat, Madhur Tulsiani, and Yi Wu
Model Validation and Discovery for Complex Stochastic Systems, Sumit Kumar Jha
ATLAS: A Scalable and High-Performance Scheduling Algorithm for Multiple Memory Controllers, Yoongu Kim, Dongsu Han, Onur Mutlu, and Mor Harchol-Balter
Approaching Optimality For Solving SDD Linear Systems, Ioannis Koutis, Gary Miller, and Richard Peng
2-Dimensional Directed Dependent Type Theory, Daniel R. Licata and Robert Harper
A Monadic Formalization of ML5, Daniel R. Licata and Robert Harper
BoLeRO: A Principled Technique for Including Bone Length Constraints in Motion Capture Occlusion Filling, Lei Li, James McCann, Nancy Pollard, and Christos Faloutsos
BEMC: A Searchable, Compressed Representation for Large Seismic Wavefields, Julio Lopez, Leonardo Ramirez-Guzman, Jacobo Bielak, and David R. O'Hallaron
Refinement Types for Logical Frameworks, William Lovas
Refinement types for logical frameworks and their interpretation as proof irrelevance, William Lovas and Frank Pfenning
Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs, Stephen Magill
Using the Amazon Mechanical Turk for Transcription of Spoken Language, Matthew R. Marge, Satanjeev Banerjee, and Alexander I. Rudnicky
Runtime-Efficient Meshing for Piecewise-Linear Complexes, Gary Miller and Todd Phillips
Unique Games Over Integers, Ryan O'Donnell, Yi Wu, and Yuan Zhou
Implementing and Improving MMIE Training in SphinxTrain, Long Qin and Alexander I. Rudnicky
The Effect of Lattice Pruning on MMIE Training, Long Qin and Alexander I. Rudnicky
Time-Varying Gaussian Graphical Models of Molecular Dynamics Data, Narges Sharif Razavian, Subhodeep Moitra, Hetunandan Kamisetty, Arvind Ramanathan, and Christopher J. Langmead
Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic, Jason Reed and Frank Pfenning
Logical approximation for program analysis, Robert J. Simmons and Frank Pfenning
Space Profiling for Parallel Functional Programs, Daniel Spoonhower, Guy E. Blelloch, Robert Harper, and Phillip B. Gibbons
Efficient Similarity Estimation for Systems Exploiting Data Redundancy, Kanat Tangwongsan, Himabindu Pucha, David G. Andersen, and Michael Kaminsky
Energy-efficient Cluster Computing with FAWN: Workloads and Implications, Vijay Vasudevan, David Andersen, Michael Kaminsky, Lawrence Tan, Jason Franklin, and Iulian Moraru
The Approximability of Learning and Constraint Satisfaction Problems, Yi Wu
PyTensor: A Python based Tensor Library, Ji Oh Yoo, Aravind Ramanathan, and Christopher J. Langmead
Submissions from 2009
Secretary Problems: Weights and Discounts, Moshe Babaioff, Michael Dinitz, Anupam Gupta, Nicole Immorlica, and Kunal Talwar
Structure Learning for Generative Models of Protein Fold Families, Sivaraman Balakrishnan, Hetunandan Kamisetty, Jaime G. Carbonell, and Christopher J. Langmead
Approximate Clustering without the Approximation, Maria-Florina Balcan, Avrim Blum, and Anupam Gupta
Improved Equilibria via Public Service Advertising, Maria-Florina Balcan, Avrim Blum, and Yishay Monsour
Detecting the Noteworthiness of Utterances in Human Meetings, Satanjeev Banerjee and Alexander I. Rudnicky
PLFS: A Checkpoint Filesystem for Parallel Applications, John Bent, Garth Gibson, Gary Grider, Ben McClelland, Paul Nowoczynski, James Nunez, Milo Polte, and Meghan Wingate
Lower Bounds for Testing Function Isomorphism, Eric Blais and Ryan O'Donnell
Low Depth Cache-Oblivious Algorithms, Guy E. Blelloch, Phillip B. Gibbons, and Harsha Vardhan Simhadri
Open CirrusTM Cloud Computing Testbed: Federated Data Centers for Open Source Systems and Services Research, Roy Cambpell, Indranil Gupta, Michael Heath, Steven Y. Ko, Michael Kozuch, Marcel Kunze, Thomas Kwan, Kevin Lai, Hing Yan Lee, Martha Lyons, Dejan Milojicic, David R. O'Hallaron, and Yeng Chai Soh
Relating State-Based and Process-Based Concurrency through Linear Logic, Iliano Cervesato and Andre Scedrov
Towards Engineered Architecture Evolution, Sagar Chaki, Andres Diaz-Pace, David Garlan, Arie Gurfinkel, and Ipek Ozkaya
Selection Criteria for Preparatory Object Rotation in Manual Lifting Actions, Lillian Y. Chang, Roberta L. Klatzky, and Nancy Pollard
Video survey of pre-grasp interactions in natural hand activities, Lillian Y. Chang and Nancy S. Pollard
RAIDE for Engineering Architecture-Based Self-Adaptive Systems, Shang-Wen Cheng, David Garlan, and Bradley Schmerl
MoSIFT: Recognizing Human Actions in Surveillance Videos, Ming-Yu Chen and Alexander Hauptmann
Informedia @ TRECVID 2009: Analyzing Video Motions, Ming-Yu Chen, Huan Li, and Alexander Hauptmann
Accessing the Densho and HistoryMakers Oral History Collections via Informedia Technologies, Michael G. Christel, Robert V. Baron, Geoff Froh, Dan Benson, and Julieanna Richardson
Analysis of Transaction Logs for Insights into Use of Life Oral Histories, Michael G. Christel, Bryan Maher, and Huan Li
High School Physics Pathway: Teachers Helping Teachers through Synthetic Interviews, Michael G. Christel, Scott Stevens, Huan Li, Dean A. Zollman, and Brian W. Adrian
A Simple Proof of Call-by-Value Standardization, Karl Crary
A Syntactic Account of Singleton Types via Hereditary Substitution, Karl Crary
Higher-order Representation of Substructural Logics, Karl Crary
Estimating the Error Distribution of a Single Tap Sequence without Ground Truth, Roger B. Dannenberg and Larry Wasserman
Reasoning about the Consequences of Authorization Policies in a Linear Epistemic Logic, Henry DeYoung and Frank Pfenning
Active Sampling for Rank Learning via Optimizing the Area Under the ROC Curve, Pinar Donmez and Jaime G. Carbonell
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology, Alexandre Donze, Gilles Clermont, Axel Legay, and Christopher J. Langmead
Scheduling with Uncertain Resources: Representation of Common Knowledge, Eugene Fink, P. Matthew Jennings, Konstantin Salomatin, and Jaime G. Carbonell
Analysis of Uncertain Data: Smoothing of Histograms, Eugene Fink, Ankur Sarin, and Jaime G. Carbonell
M/G/k with Exponential Setup, Anshul Gandhi and Mor Harchol-Balter
Power Capping Via Forced Idleness, Anshul Gandhi, Mor Harchol-Balter, Rajarshi Das, Jeffrey O. Kephart, and Charles Lefurgy
Computing Equilibria in Multiplayer Stochastic Games of Imperfect Information, Sam Ganzfried and Tuomas W. Sandholm
A Logical Representation of Common Rules for Controlling Access to Classi ed Information, Deepak Garg, Frank Pfenning, Denis Serenyi, and Brian Witten
Ævol: A tool for defining and planning architecture evolution, David Garlan and Bradley Schmerl
Creating and Visualizing Fuzzy Document Classification, Judith Gelernter, Dong Cao, Raymond Lu, Eugene Fink, and Jaime G. Carbonell
Analysis of Uncertain Data: Evaluation of Given Hypotheses, Anatole Gershman, Eugene Fink, Bin Fu, and Jaime G. Carbonell
Analysis of Uncertain Data: Selection of Probes for Information Gathering, Anatole Gershman, Eugene Fink, Bin Fu, and Jaime G. Carbonell
Understanding and Maturing the Data-Intensive Scalable Computing Storage Substrate, Garth Gibson, Bin Fan, Swapnil Patil, Milo Polte, Wittawat Tantisiriroj, and Lin Xiao
Distributed Parallel Inference on Large Factor Graphs, Joseph E. Gonzalez, Yucheng Low, Carlos Guestrin, and David R. O'Hallaron
Testing Fourier dimensionality and sparsity, Parikshit Gopalan, Ryan O'Donnell, Rocco A. Servedio, Amir Shpilka, and Karl Wimmer