Follow


Submissions from 2014

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

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

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

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

Iterative Snapping of Odometry Trajectories for Path Identification, 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

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

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

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

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

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

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

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