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

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 Valuation Distributions from Partial Observations, Avrim Blum, Yishay Mansour, and Jamie Morgenstern

PDF

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

PDF

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

PDF

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

Submissions from 2014

PDF

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

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

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

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

PDF

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

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

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

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

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

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

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

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

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

PDF

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

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

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

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

PDF

Automatic Construction of Synthetic Musical Instruments and Performers, Ning Hu

PDF

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

PDF

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

PDF

Scale and Concurrency of Massive File System Directories, Swapnil Patel

PDF

Algorithm Design Using Spectral Graph Theory, Richard Peng

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

Systematic and Scalable Testing of Concurrent Programs, Jiri Simsa

PDF

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

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

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

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

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

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

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

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

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

TABLEFS: Embedding a NoSQL Database Inside the Local File System, Kai Ren and Garth Gibson

PDF

Automatic Generation of Issue Maps: Structured, Interactive Outputs for Complex Information Needs, Dafna Shahaf

PDF

Substructural Logical Specifications, Robert J. Simmons

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

Formalizing and Enforcing Purpose Restrictions, Michael Carl Tschantz

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

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

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

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

Fast Algorithms for Mining Co-evolving Time Series, Lei Li

PDF

Scale and Concurrency of GIGA+: File System Directories with Millions of Files, Swapnil Patil and Garth Gibson

PDF

Adaptive Exact Inference in Graphical Models, Ozgur Sumer, Umut A. Acar, Alexander T. Ihler, and Ramgopal R. Mettu

PDF

The Case for VOS: The Vector Operating System, Vijay Vasudevan, David G. Andersen, and Michael Kaminsky

Dissertations from 2010

PDF

Multiple-Cue Object Recognition for Interactionable Objects, Sarah Aboutalib

PDF

OddBall: Spotting Anomalies in Weighted Graphs, Leman Akoglu, Mary McGlohon, and Christos Faloutsos