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

Submissions from 2014

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

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

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

Æ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

Phenotype Inference from Genotype in RNA Viruses, Chuang Wu

Submissions from 2013

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

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

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

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

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

Functional Programs that Explain their Work, Roly Perera, Umut A. Acar, Jim Cheney, and Paul Blain Levy

PDF

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

PDF

Substructural Logical Specifications, Robert J. Simmons

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

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

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

k+ Decision Trees, J. Aspnes, Eric Blais, Ryan O'Donnell, M. Demirbas, A. Rudra, and S. Uurtamo

PDF

On Nash-Equilibria of Approximation-Stable Games, Pranjal Awasthi, Maria-Florina Balcan, Avrim Blum, Or Sheffet, and Santosh Vempala

PDF

Clustering Under Natural Stability Assumptions, Pranjal Awasthi, Avrim Blum, and Or Sheffet

PDF

Improved Guarantees for Agnostic Learning of Disjunctions, Pranjal Awasthi, Avrim Blum, and Or Sheffet

PDF

Stability Yields a PTAS for k-Median and k-Means Clustering, Pranjal Awasthi, Avrim Blum, and Or Sheffet

PDF

Learning Generative Models for Protein Fold Families, Sivaraman Balakrishnan, Hetunandan Kamisetty, Jaime G. Carbonell, and Christopher J. Langmead

PDF

A Discriminative Model for Semi-Supervised Learning, Maria-Florina Balcan and Avrim Blum

PDF

Circumventing the Price of Anarchy: Leading Dynamics to Good Behavior, Maria-Florina Balcan, Avrim Blum, and Yishay Mansour

PDF

A Constant Factor Approximation Algorithm for Generalized Min-Sum Set Cover, Nikhil Bansal, Anupam Gupta, and Ravishankar Krishnaswamy

PDF

When LP is the Cure for Your Matching Woes: Approximating Stochastic Matchings, Nikhil Bansal, Anupam Gupta, Viswanath Nagarajan, and Atri Rudra

PDF

Introductory Computer Science Education at Carnegie Mellon University: A Deans’ Perspective, Randal E. Bryant, Klaus Sutner, and Mark J. Stehlik

PDF

Session Types as Intuitionistic Linear Propositions, Luis Caires and Frank Pfenning

PDF

Planning pre-grasp manipulation for transport tasks, Lillian Y. Chang, Siddartha S. Srinivasa, and Nancy Pollard

PDF

SplitScreen: Enabling Efficient, Distributed Malware Detection, Sang Kil Cha, Iulian Moraru, Jiyong Jang, John Truelove, David Brumley, and David G. Andersen

PDF

Exploiting Multi-level Parallelism for Low-latency Activity Recognition in Streaming Video, Ming-Yu Chen, Lily Mummert, Padmanabhan Pillai, Alexander Hauptmann, and Rahul Sukthankar

PDF

Hardness Results for Agnostically Learning Low-Degree Polynomial Threshold Functions, Ilias Diakonikolas, Ryan O'Donnell, Rocco A. Servedio, and Yi Wu

PDF

Algorithms and Models for Problems in Networking, Michael Dinitz

PDF

Vertex Sparsifiers: New Results from Old Techniques, Matthias Englert, Anupam Gupta, Robert Krauthgamer, Harald Racke, Inbal Talgam-Cohen, and Kunal Talwar

PDF

Network Protocol Primer, David Feinberg

PDF

DiscFinder: A Data-Intensive Scalable Cluster Finder for Astrophysics, Bin Fu, Kai Ren, Julio Lopez, Eugene Fink, and Garth Gibson

PDF

Computing Equilibria by Incorporating Qualitative Models, Sam Ganzfried and Tuomas W. Sandholm

PDF

Computing Equilibria by Incorporating Qualitative Models, Sam Ganzfried and Tuomas W. Sandholm

PDF

A Proof-Carrying File System, Deepak Garg and Frank Pfenning

PDF

Speeding Up Gradient-Based Algorithms for Sequential Games, Andrew Gilpin and Tuomas W. Sandholm

PDF

Fooling Functions of Halfspaces under Product Distributions, Parikshit Gopalan, Ryan O'Donnell, Yi Wu, and David Zuckerman

PDF

Approximation Algorithms for Optimal Decision Trees and Adaptive TSP Problems, Anupam Gupta, Ravishankar Krishnaswamy, Viswanath Nagarajan, and R. Ravi

PDF

Tree Embeddings for Two-Edge-Connected Network Design, Anupam Gupta, Ravishankar Krishnaswamy, and R. Ravi

PDF

Forest Density Estimation, Anupam Gupta, John Lafferty, Han Liu, Larry Wasserman, and Min Xiu

PDF

Constrained Non-Monotone Submodular Maximization: Offline and Secretary Algorithms, Anupam Gupta, Aaron Roth, Grant Schoenebeck, and Kunal Talwar

PDF

SDP gaps for 2-to-1 and other Label-Cover variants, Venkatesan Guruswami, Subash Khot, Ryan O'Donnell, Preyas Popat, Madhur Tulsiani, and Yi Wu

PDF

Model Validation and Discovery for Complex Stochastic Systems, Sumit Kumar Jha

PDF

ATLAS: A Scalable and High-Performance Scheduling Algorithm for Multiple Memory Controllers, Yoongu Kim, Dongsu Han, Onur Mutlu, and Mor Harchol-Balter

PDF

Approaching Optimality For Solving SDD Linear Systems, Ioannis Koutis, Gary Miller, and Richard Peng

PDF

2-Dimensional Directed Dependent Type Theory, Daniel R. Licata and Robert Harper