Follow


Submissions from 2014

PDF

Depth-based Short-sighted Stochastic Shortest Path Problems, Felipe W. Trevizan and Manuela M. Veloso

PDF

A Methodology for Information Flow Experiments, Michael Carl Tschantz, Amit Datta, Anupam Datta, and Jeannette M. Wing

PDF

O-Snap: Optimal Snapping of Odometry Trajectories for Route Identification, Richard Wang, Manuela M. Veloso, and Srinivasan Seshan

PDF

Will They Blend?: Exploring Big Data Computation atop Traditional HPC NAS Storage, Ellis H. Wilson III, Mahmut T. Kandemir, and Garth Gibson

PDF

Phenotype Inference from Genotype in RNA Viruses, Chuang Wu

PDF

A Generalization of SAT and #SAT for Robust Policy Evaluation (CMU-CS-13-107), Erik Zawadski, Andre Platzer, and Geoffrey J. Gordon

PDF

BatchFS: Scaling the File System Control Plane with Client-Funded Metadata Servers, Qing Zheng, Kai Ren, and Garth Gibson

PDF

AutoRef: Towards Real-Robot Soccer Complete Automated Refereeing, Danny Zhu, Joydeep Biswas, and Manuela M. Veloso

Submissions from 2013

PDF

Cops, Robbers, and Threatening Skeletons: Padded Decomposition for Minor-Free Graphs, Ittai Abraham, Cyril Gavoille, Anupam Gupta, Ofer Neiman, and Kunal Talwar

PDF

A consistent semantics of self-adjusting computation, Umut A. Acar, Matthias Blume, and Jacob Donham

PDF

Language Support for Efficient Dynamic Computation, Umut A. Acar, Ezgi Cicek, and Deepak Garg

PDF

Exploiting Ontology Structures and Unlabeled Data for Learning, Nina Balcan, Avrim Blum, and Yishay Mansour

PDF

Incremental MapReduce Computations, Pramod Bhatotia, Alexander Wieder, Umut A. Acar, and Rodrigo Rodrigues

PDF

Localization and Navigation of the CoBots Over Long-term Deployments, Joydeep Biswas and Manuela M. Veloso

PDF

Multi-Sensor Mobile Robot Localization For Diverse Environments, Joydeep Biswas and Manuela M. Veloso

PDF

Differentially Private Data Analysis of Social Networks via Restricted Sensitivity, Jeremiah Blocki, Avrim Blum, Anupam Datta, and Or Sheffet

PDF

Audit Games, Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, and Arunesh Sinha

PDF

Harnessing the Power of Two Crossmatches, Avrim Blum, Anupam Gupta, Ariel D. Procaccia, and Ankit Sharma

PDF

Externalities in Cake Cutting, Simina Bronzei, Ariel D. Procaccia, and Jie Zhang

PDF

Behavioral Polymorphism and Parametricity in Session-Based Communication, Luis Caires, Jorge A. Perez, Frank Pfenning, and Bernardo Toninho

PDF

Logic-Based Domain-Aware Session Types, Luis Caires, Jorge A. Perez, Frank Pfenning, and Bernardo Toninho

PDF

When Do Noisy Votes Reveal the Truth?, Ioannis Caragiannis, Ariel D. Procaccia, and Nisarg Shah

PDF

Toward a Theory of Self-Explaining Computation, Jim Cheney, Umut A. Acar, and Roly Perera

PDF

Capacity of Non-Malleable Codes, Mahdi Cheraghichi and Venkatesan Guruswami

PDF

Non-Malleable Coding Against Bit-wise and Split-State Tampering, Mahdi Cheraghichi and Venkatesan Guruswami

PDF

Fast Human Detection for Indoor Mobile Robots Using Depth Images, Benjamin Choi, Cetin Mericli, Joydeep Biswas, and Manuela M. Veloso

PDF

Solving 1-Laplacians in Nearly Linear Time: Collapsing and Expanding a Topological Ball, Michael B. Cohen, Brittany Therese Fasy, Gary L. Miller, Amir Nayyeri, Richard Peng, and Noel Walkington

PDF

Towards Replanning for Mobile Service Robots with Shared Information, Brian Coltin and Manuela M. Veloso

PDF

Failure-Aware Kidney Exchange, John Dickerson, Ariel D. Procaccia, and Tuomas W. Sandholm

PDF

Priority Pricing in Queues with a Continuous Distribution of Customer Valuations (CMU-CS-13-109), Sherwin Doroudi, Mustafa Akan, Mor Harchol-Balter, Jeremy Karp, Christian Borgs, and Jennifer Chayes

PDF

Algorithmic Engineering Towards More Efficient Key-Value Systems, Bin Fan

PDF

MemC3: Compact and Concurrent MemCache with Dumber Caching and Smarter Hashing, Bin Fan, David G. Andersen, and Michael Kaminsky

PDF

When Cycles are Cheap, Some Tables Can Be Huge, Bin Fan, Dong Zhou, Hyeontaek Lim, Michael Kaminsky, and David G. Andersen

PDF

An Improved Integrality Gap for Asymmetric TSP Paths, Zachary Friggstad, Anupam Gupta, and Mohit Singh

PDF

Exact Analysis of the M/M/k/setup Class of Markov Chains via Recursive Renewal Reward (CMU-CS-13-105), Anshul Gandhi, Sherwin Doroudi, Mor Harchol-Balter, and Alan Scheller-Wolf

PDF

Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic Mapping, Samuel Ganzfried and Tuomas W. Sandholm

PDF

OpenSlide: A vendor-neutral software foundation for digital pathology., Adam Goode, Benjamin Gilbert, Jan Harkes, Drazen Jukic, and Mahadev Satyanarayanan

PDF

The Power of Deferral: Maintaining a Constant-Competitive Steiner Tree Online, Albert Gu, Anupam Gupta, and Amit Kumar

PDF

A Stochastic Probing Problem with Applications, Anupam Gupta and Viswanath Nagarajan

PDF

Thrifty Algorithms for Multistage Robust Optimization, Anupam Gupta, Viswanath Nagarajan, and Vijay V. Vazirani

PDF

Random Rates for 0-Extension and Low-Diameter Decompositions, Anupam Gupta and Kunal Talwar

PDF

Sparsest Cut on Bounded Treewidth Graphs: Algorithms and Hardness Results, Anupam Gupta, Kunal Talwar, and David Witmer

PDF

Combinatorial Limitations of Average-radius List Decoding, Venkatesan Guruswami and Srivatsan Narayanan

PDF

Rounding Lasserre SDPs using column selection and spectrum-based approximation schemes for graph partitioning and Quadratic IPs, Venkatesan Guruswami and Ali Kemal Sinop

PDF

Optimal Rate Code Constructions for Computationally Simple Channels, Venkatesan Guruswami and Adam Smith

PDF

Explicit rank-metric codes list-decodable with optimal redundancy, Venkatesan Guruswami and Carol Wang

PDF

Efficient BVH Construction via Approximate Agglomerative Clustering, Yan Gu, Yong He, Kayvon Fatahalian, and Guy E. Blelloch

PDF

Heterogeneous Context-Aware Robots Providing a Personalized Building Tour, Anna Hristoskova, Carlos E. Aguero, Manuela M. Veloso, and Filip De Turck

PDF

Automatic Construction of Synthetic Musical Instruments and Performers, Ning Hu

PDF

Defender (Mis)coordination in Security Games, Albert Xin Jiang, Ariel D. Procaccia, Yundi Qian, Nisarg Shah, and Milind Tambe

PDF

Learning Environmental Knowledge from Task-Based Human-Robot Dialog, Thomas Kollar, Vittorio Perera, Daniele Nardi, and Manuela M. Veloso

PDF

Computational Bundling for Auctions (CMU-CS-13-111), Christian Kroer and Tuomas Sandholm

PDF

Weighted Synergy Graphs for Effective Team Formation with Heterogeneous Ad Hoc Agents, Somchaya Liemhetcharat and Manuela M. Veloso

PDF

Practical Batch-Updatable External Hashing with Sorting, Hyeontaek Lim, David G. Andersen, and Michael Kaminsky

PDF

Iterative Row Sampling, Mu Li, Gary L. Miller, and Richard Peng

PDF

Stronger Semantics for Low-Latency Geo-Replicated Storage, Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, and David G. Andersen

PDF

Efficiency Analysis of Formally Verified Adaptive Cruise Controllers, Sarah M. Loos, David Witmer, Peter Steenkiste, and Andre Platzer

PDF

A Fast Algorithm for Well-Spaced Points and Approximate Delaunay Graphs, Gary L. Miller, Donald Sheehy, and Ameya Velingker

PDF

On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles, Stefan Mitsch, Khalil Ghorbal, and Andre Platzer

PDF

Dynamic Social Choice with Evolving Preferences, David C. Parkes and Ariel D. Procaccia

PDF

Scale and Concurrency of Massive File System Directories, Swapnil Patel

PDF

Algorithm Design Using Spectral Graph Theory, Richard Peng

PDF

Linear Logical Relations and Observational Equivalences for Session-Based Concurrency, Jorge A. Perez, Luis Caires, Frank Pfenning, and Bernardo Toninho

PDF

A Complete Axiomatization of Differential Game Logic for Hybrid Games (CMU-CS-13-100R), Andre Platzer

PDF

Teaching CPS Foundations With Contracts, Andre Platzer

PDF

Negotiated Learning for Smart Grid Agents: Entity Selection based on Dynamic Partially Observable Features, Prashant P. Reddy and Manuela M. Veloso

PDF

TABLEFS: Enhancing Metadata Efficiency in the Local File System, Kai Ren and Garth Gibson

PDF

Improving Device Driver Reliability through Decoupled Dynamic Binary Analyses, Olatunji O. Ruwase

PDF

Very-Large-Scale Generalized Combinatorial Multi-Attribute Auctions: Lessons from Conducting $60 Billion of Sourcing, Tuomas Sandholm

PDF

A Logical Correspondence between Natural Semantics and Abstract Machines, Robert J. Simmons and Ian Zerny

PDF

Systematic and Scalable Testing of Concurrent Programs, Jiri Simsa

PDF

Analysis and Optimization of Multi-dimensional Percentile Mechanisms, Xin Sui, Craig Boutilier, and Tuomas W. Sandholm

PDF

Higher-Order Processes, Functions, and Sessions: A Monadic Integration, Bernardo Toninho, Luis Caires, and Frank Pfenning

PDF

Information Flow Investigations (CMU-CS-13-118), Michael Carl Tschantz, Anupam Datta, and Jeannette M. Wing

PDF

Iterative Snapping of Odometry Trajectories for Path Identification, Richard Wang, Manuela M. Veloso, and Srinivasan Seshan

PDF

Multi-Robot Information Sharing for Complementing Limited Perception: A Case Study of Moving Ball Interception, Richard Wang, Manuela M. Veloso, and Srinivasan Seshan

PDF

A Fast Algorithm for Sparse Controller Design, Matt Wytock and J. Zico Kolter

PDF

Large-scale Probabilistic Forecasting in Energy Systems using Sparse Gaussian Conditional Random Fields, Matt Wytock and J. Zico Kolter

PDF

Sparse Gaussian Conditional Random Fields: Algorithms, Theory, and Application to Energy Forecasting, Matt Wytock and J. Zico Kolter

PDF

Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences, Dong Zhou, David G. Andersen, and Michael Kaminsky

PDF

Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification, Paolo Zuliani, Andre Platzer, and Edmund M. Clarke

Submissions from 2012

PDF

A Core Calculus for Provenance, Umut A. Acar, Amal Ahmed, Jim Cheney, and Roly Perera

PDF

Dynamic Well-Spaced Point Sets, Umut A. Acar, Andrew Cotter, Benoit Hudson, and Duru Turkoglu

PDF

Transparent Multi-Robot Communication Exchange for Executing Robot Behaviors, Carlos E. Aguero and Manuela M. Veloso

PDF

Using Theorem Provers to Guarantee Closed-Loop System Properties, Nikos Arechiga, Sarah M. Loos, Andre Platzer, and Bruce H. Krogh

PDF

Additive Approximation for Near-Perfect Phylogeny Construction, Pranjal Awasthi, Avrim Blum, Jamie Morgenstern, and Or Sheffet

PDF

Active Property Testing, Maria-Florina Balcan, Eric Blais, Avrim Blum, and Liu Yang

PDF

Depth Camera Based Indoor Mobile Robot Localization and Navigation, Joydeep Biswas and Manuela M. Veloso

PDF

Planar Polygon Extraction and Merging from Depth Images, Joydeep Biswas and Manuela M. Veloso

PDF

The Johnson-Lindenstrauss Transform Itself Preserves Differential Privacy, Jeremiah Blocki, Avrim Blum, Anupam Datta, and Or Sheffet

PDF

Probabilistically Reusing Plans in Deterministic Planning, Daniel Borrajo and Manuela M. Veloso

PDF

Joint Alignment and Stitching of Non Overlapping Meshes, Susana Brandao, Joao Costeira, and Manuela M. Veloso

PDF

Linear Logic Propositions as Session Types, Luis Caires, Frank Pfenning, and Bernardo Toninho

PDF

On Matching Concurrent Traces, Iliano Cervesato, Frank Pfenning, Jorge Luis Sacchini, Carsten Schurmann, and Robert J. Simmons

PDF

How Close is Close Enough ? Understanding the Role of Cloudlets in Supporting Display Appropriation by Mobile Users, Sarah Clinch, Jan Harkes, Adrian Friday, Nigel Davies, and Mahadev Satyanarayanan

PDF

Optimizing for Transfers in a Multi-vehicle Collection and Delivery Problem, Brian Coltin and Manuela M. Veloso

PDF

Bottom-Up Logic Programming for Multicores, Flavio Cruz, Michael P. Ashley-Rollman, Seth C. Goldstein, Ricardo Rocha, and Frank Pfenning

PDF

Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication, Henry DeYoung, Luis Caires, Frank Pfenning, and Bernardo Toninho

PDF

Learning Domain Structure Through Probabilistic Policy Reuse in Reinforcement Learning, Fernando Fernandez and Manuela M. Veloso

PDF

SOFTScale: Stealing Opportunistically For Transient Scaling (CMU-CS-12-111), Anshul Gandhi, Timothy Zhu, Mor Harchol-Balter, and Michael Kozuch