Follow


Submissions from 2011

PDF

Privacy-Sensitive VM Retrospection, Wolfgang Richter, Glenn Ammons, Jan Harkes, Adam Goode, Nilton Bila, Vasanth Bala, and Mahadev Satyanarayanan

PDF

Using Decision-Theoretic Experience Sampling to Build Personalized Mobile Phone Interruption Models, Stephanie Rosenthal, Anind K. Dey, and Manuela M. Veloso

PDF

Modeling Humans as Observation Providers using POMDPs, Stephanie Rosenthal and Manuela M. Veloso

PDF

Evaluating Correctness of Propositions Using the Web, Mehdi Samadi, Manuela M. Veloso, and Manuel Blum

PDF

Weak Focusing for Ordered Linear Logic (CMU-CS-10-147), Robert J. Simmons and Frank Pfenning

PDF

Adaptive Exact Inference in Graphical Models, Ozgur Sumer, Umut A. Acar, Alexander T. Ihler, and Ramgopal R. Mettu

PDF

Approximating Optimal Combinatorial Auctions for Complements Using Restricted Welfare Maximization, Pingzhong Tang and Tuomas W. Sandholm

PDF

Dependent Session Types via Intuitionistic Linear Type Theory, Bernardo Toninho, Luis Caires, and Frank Pfenning

PDF

On the Semantics of Purpose Requirements in Privacy Policies (CMU-CS-11-102), Michael Carl. Tschantz, Anupam Datta, and Jeannette M. Wing

PDF

Formal Verification of Differential Privacy for Interactive Systems, Michael Carl. Tschantz, Dilsun Kaynar, and Anupam Datta

PDF

The Case for VOS: The Vector Operating System, Vijay Vasudevan, David G. Andersen, and Michael Kaminsky

PDF

Many Flows Asymptotics for SMART Scheduling Policies, Changwoo Yang, Adam Wierman, Sanjay Shakkottai, and Mor Harchol-Balter

Dissertations from 2010

PDF

Multiple-Cue Object Recognition for Interactionable Objects, Sarah Aboutalib

PDF

OddBall: Spotting Anomalies in Weighted Graphs, Leman Akoglu, Mary McGlohon, and Christos Faloutsos

PDF

k+ Decision Trees, J. Aspnes, Eric Blais, Ryan O'Donnell, M. Demirbas, A. Rudra, and S. Uurtamo

PDF

On Nash-Equilibria of Approximation-Stable Games, Pranjal Awasthi, Maria-Florina Balcan, Avrim Blum, Or Sheffet, and Santosh Vempala

PDF

Clustering Under Natural Stability Assumptions, Pranjal Awasthi, Avrim Blum, and Or Sheffet

PDF

Improved Guarantees for Agnostic Learning of Disjunctions, Pranjal Awasthi, Avrim Blum, and Or Sheffet

PDF

Stability Yields a PTAS for k-Median and k-Means Clustering, Pranjal Awasthi, Avrim Blum, and Or Sheffet

PDF

Learning Generative Models for Protein Fold Families, Sivaraman Balakrishnan, Hetunandan Kamisetty, Jaime G. Carbonell, and Christopher J. Langmead

PDF

A Discriminative Model for Semi-Supervised Learning, Maria-Florina Balcan and Avrim Blum

PDF

Circumventing the Price of Anarchy: Leading Dynamics to Good Behavior, Maria-Florina Balcan, Avrim Blum, and Yishay Mansour

PDF

A Constant Factor Approximation Algorithm for Generalized Min-Sum Set Cover, Nikhil Bansal, Anupam Gupta, and Ravishankar Krishnaswamy

PDF

When LP is the Cure for Your Matching Woes: Approximating Stochastic Matchings, Nikhil Bansal, Anupam Gupta, Viswanath Nagarajan, and Atri Rudra

PDF

The Case for Energy-Oriented Partial Desktop Migration, Nilton Bila, Eyal de Lara, Matti Hiltunen, Kaustubh Joshi, H. Andres Lagar-Cavilla, and Mahadev Satyanarayanan

PDF

WiFi Localization and Navigation for Autonomous Indoor Mobile Robots, Joydeep Biswas and Manuela M. Veloso

PDF

Introductory Computer Science Education at Carnegie Mellon University: A Deans’ Perspective, Randal E. Bryant, Klaus Sutner, and Mark J. Stehlik

PDF

Session Types as Intuitionistic Linear Propositions, Luis Caires and Frank Pfenning

PDF

Planning pre-grasp manipulation for transport tasks, Lillian Y. Chang, Siddartha S. Srinivasa, and Nancy Pollard

PDF

SplitScreen: Enabling Efficient, Distributed Malware Detection, Sang Kil Cha, Iulian Moraru, Jiyong Jang, John Truelove, David Brumley, and David G. Andersen

PDF

Exploiting Multi-level Parallelism for Low-latency Activity Recognition in Streaming Video, Ming-Yu Chen, Lily Mummert, Padmanabhan Pillai, Alexander Hauptmann, and Rahul Sukthankar

PDF

Multi-Humanoid World Modeling in Standard Platform Robot Soccer, Brian Coltin, Somchaya Liemhetcharat, Cetin Mericli, Junyun Tay, and Manuela M. Veloso

PDF

Mobile Robot Task Allocation in Hybrid Wireless Sensor Networks, Brian Coltin and Manuela M. Veloso

PDF

Hardness Results for Agnostically Learning Low-Degree Polynomial Threshold Functions, Ilias Diakonikolas, Ryan O'Donnell, Rocco A. Servedio, and Yi Wu

PDF

Algorithms and Models for Problems in Networking, Michael Dinitz

PDF

Vertex Sparsifiers: New Results from Old Techniques, Matthias Englert, Anupam Gupta, Robert Krauthgamer, Harald Racke, Inbal Talgam-Cohen, and Kunal Talwar

PDF

Network Protocol Primer, David Feinberg

PDF

DiscFinder: A Data-Intensive Scalable Cluster Finder for Astrophysics, Bin Fu, Kai Ren, Julio Lopez, Eugene Fink, and Garth Gibson

PDF

Energy-Efficient Dynamic Capacity Provisioning in Server Farms (CMU-CS-10-108), Anshul Gandhi, Varun Gupta, Mor Harchol-Balter, and Michael Kozuch

PDF

Computing Equilibria by Incorporating Qualitative Models, Sam Ganzfried and Tuomas W. Sandholm

PDF

Computing Equilibria by Incorporating Qualitative Models, Sam Ganzfried and Tuomas W. Sandholm

PDF

A Proof-Carrying File System, Deepak Garg and Frank Pfenning

PDF

Speeding Up Gradient-Based Algorithms for Sequential Games, Andrew Gilpin and Tuomas W. Sandholm

PDF

Fooling Functions of Halfspaces under Product Distributions, Parikshit Gopalan, Ryan O'Donnell, Yi Wu, and David Zuckerman

PDF

Approximation Algorithms for Network Design: A Survey, Anupam Gupta and Jochen Könemann

PDF

Nonclairvoyantly Scheduling Power-Heterogeneous Processors, Anupam Gupta, Ravishankar Krishnamurthy, and Kirk Pruhs

PDF

Approximation Algorithms for Optimal Decision Trees and Adaptive TSP Problems, Anupam Gupta, Ravishankar Krishnaswamy, Viswanath Nagarajan, and R. Ravi

PDF

Tree Embeddings for Two-Edge-Connected Network Design, Anupam Gupta, Ravishankar Krishnaswamy, and R. Ravi

PDF

Forest Density Estimation, Anupam Gupta, John Lafferty, Han Liu, Larry Wasserman, and Min Xiu

PDF

Constrained Non-Monotone Submodular Maximization: Offline and Secretary Algorithms, Anupam Gupta, Aaron Roth, Grant Schoenebeck, and Kunal Talwar

PDF

Analysis of Scheduling Policies under Correlated Job Sizes (CMU-CS-10-107), Varun Gupta, Michelle Burroughs, and Mor Harchol-Balter

PDF

Bridging Shannon and Hamming: List Error-Correction with Optimal Rate, Venkatesan Guruswami

PDF

On the List-Decodability of Random Linear Codes, Venkatesan Guruswami, Johan Hastad, and Swastik Kopparty

PDF

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

PDF

On the Inapproximability of Vertex Cover on k-Partite k-Uniform Hypergraphs, Venkatesan Guruswami and Rishi Saket

PDF

Model Validation and Discovery for Complex Stochastic Systems, Sumit Kumar Jha

PDF

ATLAS: A Scalable and High-Performance Scheduling Algorithm for Multiple Memory Controllers, Yoongu Kim, Dongsu Han, Onur Mutlu, and Mor Harchol-Balter

PDF

Efficient Triangle Counting in Large Graphs via Degree-based Vertex Partitioning, Mihail N. Kolountzakis, Gary L. Miller, Richard Peng, and Charalampos E. Tsourakakis

PDF

Approaching Optimality For Solving SDD Linear Systems, Ioannis Koutis, Gary Miller, and Richard Peng

PDF

2-Dimensional Directed Dependent Type Theory, Daniel R. Licata and Robert Harper

PDF

A Monadic Formalization of ML5, Daniel R. Licata and Robert Harper

PDF

Vision-Based Cognition of a Humanoid Robot in Standard Platform Robot Soccer, Somchaya Liemhetcharat, Brian Coltin, and Manuela M. Veloso

PDF

BoLeRO: A Principled Technique for Including Bone Length Constraints in Motion Capture Occlusion Filling, Lei Li, James McCann, Nancy Pollard, and Christos Faloutsos

PDF

BEMC: A Searchable, Compressed Representation for Large Seismic Wavefields, Julio Lopez, Leonardo Ramirez-Guzman, Jacobo Bielak, and David R. O'Hallaron

PDF

Refinement Types for Logical Frameworks, William Lovas

PDF

Refinement types for logical frameworks and their interpretation as proof irrelevance, William Lovas and Frank Pfenning

PDF

Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs, Stephen Magill

PDF

Using the Amazon Mechanical Turk for Transcription of Spoken Language, Matthew R. Marge, Satanjeev Banerjee, and Alexander I. Rudnicky

PDF

The Network Testbed Mapping Problem, Rick McGeer, David G. Andersen, and Stephen A. Schwab

PDF

Improving Biped Walk Stability Using Real-time Corrective Human Feedback, Cetin Mericli and Manuela M. Veloso

PDF

Complementary Humanoid Behavior Shaping using Corrective Demonstration, Cetin Mericli, Manuela M. Veloso, and H. Levent Akin

PDF

Approximate Dynamic Programming using Halfspace Queries and Multiscale Monge decomposition, Gary L. Miller, Richard Peng, Russell S. Schwartz, and Charalampos E. Tsourakakis

PDF

Fat Voronoi Diagrams, Gary L. Miller, Todd Phillips, and Donald Sheehy

PDF

Runtime-Efficient Meshing for Piecewise-Linear Complexes, Gary Miller and Todd Phillips

PDF

Unique Games Over Integers, Ryan O'Donnell, Yi Wu, and Yuan Zhou

PDF

Implementing and Improving MMIE Training in SphinxTrain, Long Qin and Alexander I. Rudnicky

PDF

The Effect of Lattice Pruning on MMIE Training, Long Qin and Alexander I. Rudnicky

PDF

Time-Varying Gaussian Graphical Models of Molecular Dynamics Data, Narges Sharif Razavian, Subhodeep Moitra, Hetunandan Kamisetty, Arvind Ramanathan, and Christopher J. Langmead

PDF

Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic, Jason Reed and Frank Pfenning

PDF

Mobile Computing: the Next Decade, Mahadev Satyanarayanan

PDF

Bringing the Cloud Down to Earth: Transient PCs Everywhere, Mahadev Satyanarayanan, Stephen Smaldone, Benjamin Gilbert, Jan Harkes, and Liviu Iftode

PDF

Trading off Mistakes and Don’t-Know Predictions, Amin Sayedi, Morteza Zadimoghaddam, and Avrim Blum

PDF

Type safety for substructural specifications: preliminary results (CMU-CS-10-134), Robert J. Simmons

PDF

Logical approximation for program analysis, Robert J. Simmons and Frank Pfenning

PDF

Principles of Constructive Provability Logic (CMU-CS-10-151), Robert J. Simmons and Bernardo Toninho

PDF

dBug: Systematic Evaluation of Distributed Systems, Jiri Simsa, Randal E. Bryant, and Garth Gibson

PDF

Space Profiling for Parallel Functional Programs, Daniel Spoonhower, Guy E. Blelloch, Robert Harper, and Phillip B. Gibbons

PDF

Efficient Similarity Estimation for Systems Exploiting Data Redundancy, Kanat Tangwongsan, Himabindu Pucha, David G. Andersen, and Michael Kaminsky

PDF

Energy-efficient Cluster Computing with FAWN: Workloads and Implications, Vijay Vasudevan, David Andersen, Michael Kaminsky, Lawrence Tan, Jason Franklin, and Iulian Moraru

PDF

Understanding Network Complexity, Jeannette M. Wing

PDF

Usable Verification: Balancing Thinking and Automating, Jeannette M. Wing

PDF

The Approximability of Learning and Constraint Satisfaction Problems, Yi Wu

PDF

PyTensor: A Python based Tensor Library, Ji Oh Yoo, Aravind Ramanathan, and Christopher J. Langmead

PDF

RSS-Based Relative Localization and Tethering for Moving Robots in Unknown Environments, Stefan Zickler and Manuela M. Veloso

PDF

Variable Level-Of-Detail Motion Planning in Environments with Poorly Predictable Bodies, Stefan Zickler and Manuela M. Veloso

Submissions from 2009

PDF

Secretary Problems: Weights and Discounts, Moshe Babaioff, Michael Dinitz, Anupam Gupta, Nicole Immorlica, and Kunal Talwar

PDF

Structure Learning for Generative Models of Protein Fold Families, Sivaraman Balakrishnan, Hetunandan Kamisetty, Jaime G. Carbonell, and Christopher J. Langmead

PDF

Approximate Clustering without the Approximation, Maria-Florina Balcan, Avrim Blum, and Anupam Gupta

PDF

Improved Equilibria via Public Service Advertising, Maria-Florina Balcan, Avrim Blum, and Yishay Monsour

PDF

Detecting the Noteworthiness of Utterances in Human Meetings, Satanjeev Banerjee and Alexander I. Rudnicky