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

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

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

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

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

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

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

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

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

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

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

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