Follow


Submissions from 2015

PDF

Coupling Memory and Computation for Locality Management, Umut A. Acar, Guy E. Blelloch, Matthew Fluet, Stefan K. Muller, and Ram Raghunathan

PDF

Learning Cooperative Games, Maria-Florina Balcan, Ariel D. Procaccia, and Yair Zick

PDF

Approximate Hypergraph Coloring under Low-discrepancy and Related Promises, Vijay V.S.P. Bhattiprolu, Venkatesan Guruswami, and Euiwoong Lee

PDF

λ-Calculus: The Other Turing Machine, Guy E. Blelloch and Robert Harper

PDF

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

PDF

Ignorance is Almost Bliss: Near-Optimal Stochastic Matching With Few Queries, Avrim Blum, John Dickerson, Nika Haghtalab, Ariel D. Procaccia, Tuomas W. Sandholm, and Ankit Sharma

PDF

Ignorance is Almost Bliss: Near-Optimal Stochastic Matching With Few Queries, Avrim Blum, John Dickerson, Nika Haghtalab, Ariel D. Procaccia, Tuomas W. Sandholm, and Ankit Sharma

PDF

Learning to Play Stackelberg Security Games, Avrim Blum, Nika Haghtalab, and Ariel D. Procaccia

PDF

Learning Valuation Distributions from Partial Observations, Avrim Blum, Yishay Mansour, and Jamie Morgenstern

PDF

An Algorithmic Framework for Strategic Fair Division, Simina Bronzei, Ioannis Caragiannis, David Kurokawa, and Ariel D. Procaccia

PDF

Verifiably Truthful Mechanisms, Simina Bronzei and Ariel D. Procaccia

PDF

Simultaneous Abstraction and Equilibrium Finding in Games, Noam Brown and Tuomas W. Sandholm

PDF

Refinement Types for Incremental Computational Complexity, Ezgi Cicek, Deepak Garg, and Umut A. Acar

PDF

Approximating Nearest Neighbor Distances, Michael B. Cohen, Brittany Therese Fasy, Gary L. Miller, Amir Nayyeri, Donald R. Sheehy, and Ameya Velingker

PDF

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems, Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Volp, and Andre Platzer

PDF

Optimal Scheduling for Jobs with Progressive Deadlines, Kristen Gardner, Sem Borst, and Mor Harchol-Balter

PDF

Inapproximability of H-Transversal/Packing, Venkatesan Guruswami and Euiwoong Lee

PDF

Monitoring Stealthy Diffusion, Nika Haghtalab, Aron Laszka, Ariel D. Procaccia, Yevgeniy Vorobeychik, and Xenofon D. Koutsoukos

PDF

The Ladder: A Reliable Leaderboard for Machine Learning Competitions, Moritz Hardt and Avrim Blum

PDF

Type Refinements in an Open World (Extended Abstract), Robert Harper and William Duff

PDF

A Note on the Uniform Kan Condition in Nominal Cubical Sets, Robert Harper and Kuen-Bang (Favonia) Hou

PDF

Correctness of Compiling Polymorphism to Dynamic Typing, Kuen-Bang (Favonia) Hou, Nick Benton, and Robert Harper

PDF

Caveat-Scriptor: Write Anywhere Shingled Disks, Saurabh Kadekodi, Swapnil Pimpale, and Garth Gibson

PDF

Imperfect-Recall Abstractions with Bounds, Christian Kroer and Tuomas W. Sandholm

PDF

Limited Lookahead in Imperfect-Information Games, Christian Kroer and Tuomas W. Sandholm

PDF

Impartial Peer Review, David Kurokawa, Omer Lev, Jamie Morgenstern, and Ariel D. Procaccia

PDF

Leximin Allocations in the Real World, David Kurokawa, Ariel D. Procaccia, and Nisarg Shah

PDF

When Can the Maximin Share Guarantee Be Guaranteed?, David Kurokawa, Ariel D. Procaccia, and Junxing Wang

PDF

Plan Execution Monitoring through Detection of Unmet Expectations about Action Outcomes, Juan Pablo Mendoza, Manuela M. Veloso, and Reid Simmons

PDF

Improving Prehensile Mobile Manipulation Performance through Experience Reuse, Tekin Mericli and Manuela M. Veloso

PDF

Interactive Computation in an Open World, Stefan K. Muller, Umut A. Acar, William Duff, and Robert Harper

PDF

A Uniform Substitution Calculus for Differential Dynamic Logic, Andre Platzer

PDF

Differential Game Logic, Andre Platzer

PDF

Coordination in Security Games via ADMM, Ariel D. Procaccia, Sashank J. Reddi, and Nisarg Shah

PDF

Is Approval Voting Optimal Given Approval Votes?, Ariel D. Procaccia and Nisarg Shah

PDF

Optimal Aggregation of Uncertain Preferences, Ariel D. Procaccia and Nisarg Shah

PDF

Ranked Voting on Social Networks, Ariel D. Procaccia, Nisarg Shah, and Eric Sodomka

PDF

Voting Rules As Error-Correcting Codes, Ariel D. Procaccia, Nisarg Shah, and Yair Zick

PDF

Wireless Map-Based Handoffs for Mobile Robots, Richard Wang, Matthew K. Mukerjee, Manuela M. Veloso, and Srinivasan Seshan

Submissions from 2014

PDF

Towards (1 + ∊)-Approximate Flow Sparsifiers, Alexandr Andoni, Anupam Gupta, and Robert Krauthgamer

PDF

Homotopical Patch Theory, Carlo Angiuli, Edward Morehouse, Daniel R. Licata, and Robert Harper

PDF

Com2: Fast Automatic Discovery of Temporal (’Comet’) Communities, Miguel Araujo, Spiros Papadimitriou, Stephan Gunnemann, Christos Faloutsos, Prithwish Basu, Ananthram Swami, Evangelos E. Papalexakis, and Danai Koutra

PDF

Learning Mixtures of Ranking Models, Pranjal Awasthi, Avrim Blum, Or Sheffet, and Aravindan Vijayaraghavan

PDF

Active Learning and Best-Response Dynamics, Maria-Florina Balcan, Chris Berlind, Avrim Blum, Emma Cohen, Kaushik Patnaik, and Le Song

PDF

Simultaneous Cake Cutting, Eric Balkanski, Simina Bronzei, David Kurokawa, and Ariel D. Procaccia

PDF

Episodic Non-Markov Localization: Reasoning About Short-Term and Long-Term Features, Joydeep Biswas and Manuela M. Veloso

PDF

Model-Instance Object Mapping, Joydeep Biswas and Manuela M. Veloso

PDF

Lazy Defenders Are Almost Optimal Against Diligent Attackers, Avrim Blum, Nika Haghtalab, and Ariel D. Procaccia

PDF

Learning Optimal Commitment to Overcome Insecurity, Avrim Blum, Nika Haghtalab, and Ariel D. Procaccia

PDF

Privacy-Preserving Public Information for Sequential Games, Avrim Blum, Jamie Morgenstern, Ankit Sharma, and Adam Smith

PDF

The Partial View Heat Kernel Descriptor for 3D Object Representation, Susana Brandao, Joao Costeira, and Manuela M. Veloso

PDF

Online Packing and Covering Framework with Convex Objectives, Niv Buchbinder, Shahar Chen, and Anupam Gupta

PDF

Modal Ranking: A Uniquely Robust Voting Rule, Ioannis Caragiannis, Ariel D. Procaccia, and Nisarg Shah

PDF

Implicit self-adjusting computation for purely functional programs, Yan Chen, Joshua Dunfield, Matthew A. Hammer, and Umut A. Acar

PDF

Stretching Stretch, Michael B. Cohen, Gary L. Miller, Jakub W. Pachocki, Richard Peng, and Shen Chen Xu

PDF

Online Pickup and Delivery Planning with Transfers for Mobile Robots, Brian Coltin and Manuela M. Veloso

PDF

Ridesharing with Passenger Transfers, Brian Coltin and Manuela M. Veloso

PDF

A Linear Logic Programming Language for Concurrent Programming over Graph Structures, Flavio Cruz, Ricardo Rocha, Seth C. Goldstein, and Frank Pfenning

PDF

Foundations of Typestate-Oriented Programming, Ronald Garcia, Eric Tanter, Roger Wolff, and Jonathan Aldrich

PDF

Optimal Error Rates for Interactive Coding II: Efficiency and List Decoding, Mohsen Ghaffari and Bernhard Haeupler

PDF

Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges, Khalil Ghorbal, Jean-Baptiste Jeannin, Erik Zawadski, Andre Platzer, Geoffrey J. Gordon, and Peter Capell

PDF

Characterizing Algebraic Invariants by Differential Radical Invariants (CMU-CS-13-129), Khalil Ghorbal and Andre Platzer

PDF

Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations, Khalil Ghorbal, Andrew Sogokon, and Andre Platzer

PDF

Greedy Algorithms for Steiner Forest, Anupam Gupta and Amit Kumar

PDF

Online Steiner Tree with Deletions, Anupam Gupta and Amit Kumar

PDF

How the Experts Algorithm Can Help Solve LPs Online, Anupam Gupta and Marco Molinaro

PDF

Minimum d-dimensional arrangement with fixed points, Anupam Gupta and Anastasios Sidiropoulos

PDF

Changing Bases: Multistage Optimization for Matroids and Matchings, Anupam Gupta, Kunal Talwar, and Udi Wieder

PDF

Constant Factor Lasserre Integrality Gaps for Graph Partitioning Problems, Venkatesan Guruswami, Ali Kemal Sinop, and Yuan Zhou

PDF

Deletion codes in the high-noise and high-rate regimes, Venkatesan Guruswami and Carol Wang

PDF

Interactive Channel Capacity Revisited, Bernhard Haeupler

PDF

Consistent Weighted Sampling Made Fast, Small, and Easy, Bernhard Haeupler, Mark Manasse, and Kunal Talwar

PDF

Structure and Efficiency of Computer Programs, Robert Harper

PDF

Refining Objects, Robert Harper and Rowan Davies

PDF

Extending the Graphics Pipeline with Adaptive, Multi-Rate Shading, Yong He, Yan Gu, and Kayvon Fatahalian

PDF

A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System (CMU-CS-14-138), Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadski, and Andre Platzer

PDF

Diverse Randomized Agents Vote to Win, Albert Xin Jiang, Leandro Soriano Marcolino, Ariel D. Procaccia, Tuomas W. Sandholm, Nisarg Shah, and Milind Tambe

PDF

Envy-Free Division of Sellable Goods, Jeremy Karp, Aleksandr M. Kazachkov, and Ariel D. Procaccia

PDF

Constrained Scheduling of Robot Exploration Tasks, Max Korein, Brian Coltin, and Manuela M. Veloso

PDF

A Generalized Cheeger Inequality, Ioannis Koutis, Gary L. Miller, and Richard Peng

PDF

MICA: A Holistic Approach to Fast In-Memory Key-Value Storage, Hyeontaek Lim, Donsu Han, David G. Andersen, and Michael Kaminsky

PDF

Scaling Distributed Machine Learning with the Parameter Server, Mu Li, David G. Andersen, Jun Woo Park, Alex Smola, Amr Ahmed, Vanja Josifovski, James Long, Eugene J. Shekita, and Bor-Yiing Su

PDF

Quantitative Simulation of Synaptic Vesicle Release at the Neuromuscular Junction, Jun Ma

PDF

Focused Optimization for Online Detection of Anomalous Regions, Juan Pablo Mendoza, Manuela M. Veloso, and Reid Simmons

PDF

Push-Manipulation of Complex Passive Mobile Objects using Experimentally Acquired Motion Models, Tekin Mericli, Manuela M. Veloso, and H. Levent Akin

PDF

Collaborative Verification-Driven Engineering of Hybrid Systems, Stefan Mitsch, Grant Olney Passmore, and Andre Platzer

PDF

ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models (CMU-CS-14-121), Stefan Mitsch and Andre Platzer

PDF

From Safety to Guilty & from Liveness to Niceness, Stefan Mitsch, Jan-David Quesel, and Andre Platzer

PDF

Estimating Accuracy from Unlabeled Data, Emmanouil Antonios Platanios, Avrim Blum, and Tom Mitchell

PDF

Differential Hybrid Games (CMU-CS-14-102), Andre Platzer

PDF

Cake Cutting Algorithms, Ariel D. Procaccia

PDF

Fair Enough: Guaranteeing Approximate Maximin Shares, Ariel D. Procaccia and Junxing Wang

PDF

Structural focalization, Robert J. Simmons

PDF

Self-Refining Games using Player Analytics, Matt Stanton, Ben Humbertson, Brandon Kase, James F. O'Brien, Kayvon Fatahalian, and Adrien Treuille

PDF

Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach, Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, and Jonathan Aldrich

PDF

Coverage Planning with Finite Resources, Grant P. Strimel and Manuela M. Veloso

PDF

Fall Prediction for New Sequences of Motions, Junyun Tay, I-Ming Chen, and Manuela M. Veloso

PDF

Corecursion and Non-Divergence in Session Types, Bernardo Toninho, Luis Caires, and Frank Pfenning

PDF

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

PDF

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