Follow


Submissions from 2012

PDF

Bayesian Vote Manipulation: Optimal Strategies and Impact on Welfare, Tyler Lu, Pingzhong Tang, Ariel D. Procaccia, and Craig Boutilier

PDF

Towards Formal Verification of Freeway Traffic Control, Stefan Mitsch, Sarah M. Loos, and Andre Platzer

PDF

Exact Pattern Matching with Feed-Forward Bloom Filters, Iulian Moraru and David G. Andersen

PDF

Automated Market Making: Theory and Practice, Abraham M. Othman

PDF

Handheld computing in pathology., Seung Park, Anil V. Parwani, Mahadev Satyanarayanan, and Liron Pantanowitz

PDF

A case for scaling HPC metadata performance through de-specialization, Swapnil Patil, Kai Ren, and Garth Gibson

PDF

Functional Programs that Explain their Work, Roly Perera, Umut A. Acar, Jim Cheney, and Paul Blain Levy

PDF

A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems, Andre Platzer

PDF

The Structure of Differential Invariants and Differential Cut Elimination, Andre Platzer

PDF

A Maximum Likelihood Approach For Selecting Sets of Alternatives, Ariel D. Procaccia, Sashank J. Reddi, and Nisarg Shah

PDF

TABLEFS: Embedding a NoSQL Database Inside the Local File System, Kai Ren and Garth Gibson

PDF

Mechanized Safety Proofs for Disc-Constrained Aircraft (CMU-CS-12-132), David Renshaw, Sarah M. Loos, and Andre Platzer

PDF

Differential Invariants and Symbolic Integration for Distributed Hybrid Systems (CMU-CS-12-107), David W. Renshaw and Andre Platzer

PDF

Automatic Generation of Issue Maps: Structured, Interactive Outputs for Complex Information Needs, Dafna Shahaf

PDF

A Reference Architecture for Mobile Code Offload in Hostile Environments, Soumya Simanta, Kiryong Ha, Grace A. Lewis, Edwin J. Morris, and Mahadev Satyanarayanan

PDF

Substructural Logical Specifications, Robert J. Simmons

PDF

Constructive Provability Logic, Robert J. Simmons and Bernardo Toninho

PDF

Scalable Dynamic Partial Order Reduction, Jiri Simsa, Randal E. Bryant, Garth Gibson, and Jason Hickey

PDF

Graph Partitioning and Semi-definite Programming Hierarchies, Ali Kemal Sinop

PDF

Sensing Through Structure, Ronit Slyper

PDF

Coalitional Structure of the Muller-Satterthwaite Theorem, Pingzhong Tang and Tuomas W. Sandholm

PDF

Functions as Session-Typed Processes, Bernardo Toninho, Luis Caires, and Frank Pfenning

PDF

Formalizing and Enforcing Purpose Restrictions, Michael Carl Tschantz

PDF

Saving Cash by Using Less Cache, Timothy Zhu, Anshul Gandhi, Mor Harchol-Balter, and Michael Kozuch

Dissertations from 2011

PDF

Spare a Little Change? Towards a 5-Nines Internet in 250 Lines of Code, Mukesh Agrawal

PDF

Center-based clustering under perturbation stability, Pranjal Awasthi, Avrim Blum, and Or Sheffet

PDF

The Case for Context-Aware Compression, Xuan Bao, Trevor Narayan, Ardalan Amiri Sani, Wolfgang Richter, Romit Roy Choudhury, Lin Zhong, and Mahadev Satyanarayanan

PDF

A Framework for Automated Bundling and Pricing Using Purchase Data, Michael Benisch and Tuomas Sandholm

PDF

Polynomial integrality gaps for strong SDP relaxations of Densest k-subgraph, Aditya Bhaskara, Moses Charikar, Venkatesan Guruswami, Aravindan Vijayaraghavan, and Yuan Zhou

PDF

Large-scale Incremental Data Processing with Change Propagation, Pramod Bhatotia, Alexander Wieder, Istemi Ekin Akkus, Rodrigo Rodrigues, and Umut A. Acar

PDF

Checking Concurrent Typestate with Access Permissions in Plural: A Retrospective, Kevin Bierhoff, Nels E. Beckman, and Jonathan Aldrich

PDF

Welfare and Profit Maximization with Production Costs, Avrim Blum, Anupam Gupta, Yishay Mansour, and Ankit Sharma

PDF

Fast Private Data Release Algorithms for Sparse Queries, Avrim Blum and Aaron Roth

PDF

Learning Conditional Abstractions, Bryan Brady, Randal E. Bryant, and Sanjit A. Seshia

PDF

A Stochastic Analysis of Hard Disk Drives, Field Cady, Yi Zhuang, and Mor Harchol-Balter

PDF

Relating Reasoning Methodologies in Linear Logic and Process Algebra (CMU-CS-11-145, CMU-CS-QTR-111), Yuxin Deng, Robert J. Simmons, and Iliano Cervesato

PDF

How Data Center Size Impacts the Effectiveness of Dynamic Power Management, Anshul Gandhi and Mor Harchol-Balter

PDF

Distributed, Robust Auto-Scaling Policies for Power Management in Compute Intensive Server Farms, Anshul Gandhi, Mor Harchol-Balter, Ram Raghunathan, and Michael Kozuch

PDF

Stateful Authorization Logic – Proof Theory and a Case Study, Deepak Garg and Frank Pfenning

PDF

Privately Releasing Conjunctions and the Statistical Query Barrier, Anupam Gupta, Moritz Hardt, Aaron Roth, and Jonathan Ullman

PDF

Approximation Algorithms for Correlated Knapsacks and Non-Martingale Bandits, Anupam Gupta, Ravishankar Krishnamurthy, Marco Molinaro, and R. Ravi

PDF

Online Primal-Dual For Non-linear Optimization with Applications to Speed Scaling, Anupam Gupta, Ravishankar Krishnamurthy, and Kirk Pruhs

PDF

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

PDF

Iterative Constructions and Private Data Release, Anupam Gupta, Aaron Roth, and Jonathan Ullman

PDF

Linear-algebraic list decoding of folded Reed-Solomon codes, Venkatesan Guruswami

PDF

Finding almost-perfect graph bisections, Venkatesan Guruswami, Yury Makarychev, Prasad Raghavendra, David Steurer, and Yuan Zhou

PDF

Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Quadratic Integer Programming with PSD Objectives, Venkatesan Guruswami and Ali Kemal Sinop

PDF

Optimal rate list decoding via derivative codes, Venkatesan Guruswami and Carol Wang

PDF

Solving SDD linear systems in time Õ (m log n log (1/ϵ)), Ioannis Koutis, Gary L. Miller, and Richard Peng

PDF

Fast Algorithms for Mining Co-evolving Time Series, Lei Li

PDF

Safe Intersections: At the Crossing of Hybrid Systems and Verification, Sarah M. Loos and Andre Platzer

PDF

Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified (CMU-CS-11-107), Sarah M. Loos, Andre Platzer, and Ligia Nistor

PDF

A Proof-Carrying File System with Revocable and Use-Once Certificates, Jamie Morgenstern, Deepak Garg, and Frank Pfenning

PDF

Reclaiming the White Spaces: Spectrum Efficient Coexistence with Primary Users, George Nychis, Ranveer Chandra, Thomas Moscibroda, Ivan Tashev, and Peter Steenkiste

PDF

Automated Market Makers That Enable New Settings: Extending Constant-Utility Cost Functions, Abraham M. Othman and Tuomas Sandholm

PDF

Liquidity-Sensitive Automated Market Makers via Homogeneous Risk Measures, Abraham M. Othman and Tuomas Sandholm

PDF

Scale and Concurrency of GIGA+: File System Directories with Millions of Files, Swapnil Patil and Garth Gibson

PDF

Proof-Carrying Code in a Session-Typed Process Calculus, Frank Pfenning, Luis Caires, and Bernardo Toninho

PDF

Teaching Imperative Programming With Contracts at the Freshmen Level, Frank Pfenning, Thomas J. Cortina, and William Lovas

PDF

Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (CMU-CS-11-111), Andre Platzer

PDF

The Complete Proof Theory of Hybrid Systems (CMU-CS-11-144), Andre Platzer

PDF

Using Parameters in Architectural Views to Support Heterogeneous Design and Verification, Akshay H. Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce Krogh, Andre Platzer, and David Garlan

PDF

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

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

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

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

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