Follow


Submissions from 2012

PDF

Combining local search techniques and path following for bimatrix games, Nicola Gatta, Giorgio Patrini, Marco Rocco, and Tuomas W. Sandholm

PDF

Approximating Sparse Covering Integer Programs Online, Anupam Gupta and Viswanath Nagarajan

PDF

List decoding subspace codes from insertions and deletions, Venkatesan Guruswami, Srivatsan Narayanan, and Carol Wang

PDF

Approximating Non-Uniform Sparsest Cut via Generalized Spectra, Venkatesan Guruswami and Ali Kemal Sinop

PDF

Optimal Column-Based Low-Rank Matrix Reconstruction, Venkatesan Guruswami and Ali Kemal Sinop

PDF

XIA: Efficient Support for Evolvable Internetworking, Dongsu Han, Ashok Anand, Fahad Dogar, Boyan Li, Hyeontaek Lim, Michel Machado, Arvind Mukundan, Wenfei Wu, Aditya Akella, David G. Andersen, John W. Byers, Srinivasan Seshan, and Peter Steenkiste

PDF

Discovering Structure in Unstructured I/O, Jun He, John Bent, Aaron Torres, Gary Grider, Garth Gibson, Carlos Maltzahn, and Xian-He Sun

PDF

Statistical Model Checking for Markov Decision Processes, David Henriques, Joao G. Martins, Paolo Zuliani, Andre Platzer, and Edmund M. Clarke

PDF

Mining Tera-Scale Graphs: Theory, Engineering and Discoveries, U Kang

PDF

A Multi-Modal Approach for Natural Human-Robot Interaction, Thomas Kollar, Anu Vedantham, Corey Sobel, Cory Chang, Vittorio Perera, and Manuela M. Veloso

PDF

Approximate Inference in Additive Factorial HMMs with Application to Energy Disaggregation, J. Zico Kolter and Tommi Jaakkola

PDF

Design, Analysis, and Learning Control of a Fully Actuated Micro Wind Turbine, J. Zico Kolter, Zachary Jackowski, and Russ Tedrake

PDF

Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic, Neelakantan R. Krishnaswami

PDF

Approximation Techniques for Stochastic Combinatorial Optimization Problems, Ravishankar Krishnaswamy

PDF

GraphChi: Large-Scale Graph Computation on Just a PC, Aapo Kyrola, Guy E. Blelloch, and Carlos Guestrin

PDF

Non-Monotonic Self-Adjusting Computation, Ruy Ley-Wild, Umut A. Acar, and Guy E. Blelloch

PDF

Multi-Robot Map-Merging-Free Connectivity-Based Positioning and Tethering in Unknown Environments, Somchaya Liemhetcharat and Manuela M. Veloso

PDF

Weighted Synergy Graphs for Role Assignment in Ad Hoc Heterogeneous Robot Teams, Somchaya Liemhetcharat and Manuela M. Veloso

PDF

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

PDF

Effective real-time visual object detection, Francisco Martin and Manuela M. Veloso

PDF

Mobile Robot Fault Detection based on Redundant Information Statistics, Juan Pablo Mendoza, Manuela M. Veloso, and Reid Simmons

PDF

Motion Interference Detection in Mobile Robots, Juan Pablo Mendoza, Manuela M. Veloso, and Reid Simmons

PDF

Efficient Task Execution and Refinement through Multi-Resolution Corrective Demonstration, Cetin Mericli, Manuela M. Veloso, and H. Levent Akin

PDF

Improving Biped Walk Stability with Complementary Corrective Demonstration, Cetin Mericli, Manuela M. Veloso, and H. Levent Akin

PDF

Multi-resolution Corrective Demonstration for Efficient Task Execution and Refinement, Cetin Mericli, Manuela M. Veloso, and H. Levent Akin

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

Modeling and Composing Gestures for Human-Robot Interaction, Junyun Tay and Manuela M. Veloso

PDF

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

PDF

Trajectory-Based Short-Sighted Probabilistic Planning, Felipe W. Trevizan and Manuela M. Veloso

PDF

Formalizing and Enforcing Purpose Restrictions, Michael Carl Tschantz

PDF

Formalizing and Enforcing Purpose Restrictions in Privacy Policies, Michael Carl. Tschantz, Anupam Datta, and Jeannette M. Wing

PDF

Symbiotic-Autonomous Service Robots for User-Requested Tasks in a Multi-Floor Building, Manuela M. Veloso, Joydeep Biswas, Brian Coltin, Stephanie Rosenthal, Susana Brandao, Tekin Mericli, and Rodrigo Ventura

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

Corrective Gradient Refinement for Mobile Robot Localization, Joydeep Biswas, Brian Coltin, and Manuela M. Veloso

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

Active Object Recognition by Offline Solving of POMDPs, Susana Brandao, Manuela M. Veloso, and Joao Costeira

PDF

Fast Object Detection By Regression in Robot Soccer, Susana Brandao, Manuela M. Veloso, and Joao Costeira

PDF

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

PDF

Effective Semi-autonomous Telepresence, Brian Coltin, Joydeep Biswas, Dean A. Pomerleau, and Manuela M. Veloso

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

Action Selection via Learning Behavior Patterns in Multi-Robot Domains, Can Erdogan and Manuela M. Veloso

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

Stochastic Models and Analysis for Resource Management in Server Farms, Varun Gupta

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

Modeling Mutual Capabilities in Heterogeneous Teams for Role Assignment, Somchaya Liemhetcharat and Manuela M. Veloso

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

Task Refinement for Autonomous Robots using Complementary Corrective Human Feedback, Cetin Mericli, Manuela M. Veloso, and H. Levent Akin

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

RSSI-based Physical Layout Classification and Target Tethering in Mobile Ad-hoc Networks, Prashant P. Reddy and Manuela M. Veloso

PDF

Strategy Learning for Autonomous Agents in Smart Grid Markets, Prashant P. Reddy and Manuela M. Veloso