Journal Article D-Tunes: Self Tuning Datastores for Geo-distributed Interactive Applications 2013 • Computer Communication Review • 43(4):483-484 Shankaranarayanan PN, Sivakumar A, Rao S, Tawarmalani M
Conference Understanding Tradeoffs in Incremental Deployment of New Network Architectures 2013 • PROCEEDINGS OF THE 2013 ACM INTERNATIONAL CONFERENCE ON EMERGING NETWORKING EXPERIMENTS AND TECHNOLOGIES (CONEXT '13) • 271-282 Mukerjee MK, Han D, Seshan S, Steenkiste P
Conference CIRCULANT STRUCTURES AND GRAPH SIGNAL PROCESSING 2013 • Proceedings / ICIP ... International Conference on Image Processing • 834-838 Ekambaram VN, Fanti GC, Ayazifar B, Ramchandran K
Conference Building dissent networks: Towards effective countermeasures against large-scale communications blackouts 2013 • 3rd Usenix Workshop on Free and Open Communications on the Internet Foci 2013 Co Located with Usenix Security 2013 Hasan S, Ben-David Y, Fanti G, Brewer E, Shenker S
Conference Wavelet-Regularized Graph Semi-Supervised Learning 2013 423-426 Ekambaram VN, Fanti G, Ayazifar B, Ramchandran K
Conference How to improve your network performance by asking your provider for worse service 2013 1-7 Mittal R, Sherry J, Ratnasamy S, Shenker S
Conference A hidden cost of virtualization when scaling multicore applications 2013 • 5th Usenix Workshop on Hot Topics in Cloud Computing Hotcloud 2013 Ding X, Gibbons PB, Kozuch MA
Chapter On the (In)security of Fischlin’s Paradigm 2013 • Lecture Notes in Computer Science • 7785:202-221 Ananth P, Bhaskar R, Goyal V, Rao V
Conference Solving the straggler problem with bounded staleness 2013 • 14th Workshop on Hot Topics in Operating Systems Hotos 2013 Cipar J, Ho Q, Kim JK, Lee S, Ganger GR, Gibson G, Keeton K, Xing E
Chapter Accuracy-Privacy Tradeoffs for Two-Party Differentially Private Protocols 2013 • Lecture Notes in Computer Science • 8042:298-315 Goyal V, Mironov I, Pandey O, Sahai A
Journal Article A mixed integer linear programming model to reconstruct phylogenies from single nucleotide polymorphism haplotypes under the maximum parsimony criterion 2013 • Algorithms for Molecular Biology • 8: Catanzaro D, Ravi R, Schwartz R
Chapter Automated Reencoding of Boolean Formulas 2013 • Lecture Notes in Computer Science • 7857:102-117 Manthey N, Heule MJH, Biere A
Journal Article On the Non-Planarity of a Random Subgraph 2013 • Combinatorics Probability and Computing • 22(5):722-732 Frieze A, Krivelevich M
Journal Article Simple, Fast and Deterministic Gossip and Rumor Spreading 2013 • PROCEEDINGS OF THE TWENTY-FOURTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS (SODA 2013) • 705-716 Haeupler B
Conference Randomized broadcast in radio networks with collision detection 2013 • Proceedings of the Annual ACM Symposium on Principles of Distributed Computing • 325-334 Ghaffari M, Haeupler B, Khabbazian M
Conference A learning theory approach to noninteractive database privacy 2013 • Journal of the ACM • 60(2):1-25 Blum A, Ligett K, Roth A
Conference Visible-Spectrum Gaze Tracking for Sports 2013 • Conference on Computer Vision and Pattern Recognition Workshops IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Workshops • 1005-1010 Pires BR, Hwangbo M, Devyver M, Kanade T
Conference Analyzing the potential benefits of CDN augmentation strategies for internet video workloads 2013 43-56 Balachandran A, Sekar V, Akella A, Seshan S
Conference Enhancing Video Accessibility and Availability Using Information-Bound References 2013 • PROCEEDINGS OF THE 2013 ACM INTERNATIONAL CONFERENCE ON EMERGING NETWORKING EXPERIMENTS AND TECHNOLOGIES (CONEXT '13) • 345-356 Anand A, Balachandran A, Akella A, Sekar V, Seshan S
Journal Article Geodesics in Heat: A New Approach to Computing Distance Based on Heat Flow 2013 • ACM Transactions on Graphics • 32(5): Crane K, Weischedel C, Wardetzky M
Conference Preface 2013 • Proceedings of the ACM SIGKDD 2013 Workshop on Interactive Data Exploration and Analytics Idea 2013 • 5 Chau P, Vreeken J, Van Leeuwen M, Faloutsos C
Journal Article <i>Halite</i>: Fast and Scalable Multiresolution Local-Correlation Clustering 2013 • IEEE Transactions on Knowledge and Data Engineering • 25(2):387-401 Cordeiro RLF, Traina AJM, Faloutsos C, Traina CJ
Journal Article Big graph mining 2013 • ACM SIGKDD Explorations Newsletter • 14(2):29-36 Kang U, Faloutsos C
Conference Hierarchical tensor decomposition of latent tree graphical models 2013 • 30th International Conference on Machine Learning Icml 2013 • 1371-1379 Song L, Park H, Ishteva M, Parikh A, Xing E
Conference Linearly compressed pages 2013 • Micro • 172-184 Pekhimenko G, Seshadri V, Kim Y, Xin H, Mutlu O, Gibbons PB, Kozuch MA, Mowry TC
Journal Article Understanding the Impact of Video Quality on User Engagement 2013 • Communications of the ACM • 56(3):91-99 Dobrian F, Awan A, Joseph D, Ganjam A, Zhan J, Sekar V, Stoica I, Zhang H
Chapter Human Activity Analysis for Geriatric Care in Nursing Homes 2013 53-61 Chen M-Y, Hauptmann A, Bharucha A, Wactlar H, Yang Y
Conference Arbitration and stability in cooperative games in overlapping coalitions 2013 • IJCAI International Joint Conference on Artificial Intelligence • 3251-3252 Zick Y
Conference A vision of collaborative verification-driven engineering of hybrid systems 2013 • Do Form Enabling Domain Experts to Use Formalised Reasoning Aisb Convention 2013 • 8-17 Mitsch S, Passmore GO, Platzer A
Conference Robust object grasping using force compliant motion primitives 2013 • Robotics Science and Systems • 8:177-184 Kazemi M, Valois JS, Bagnell JA, Pollard N
Journal Article Data-Driven Mapping Using Local Patterns 2013 • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • 32(11):1668-1681 Mehta G, Patel KK, Parde N, Pollard NS
Conference Resolving the conflict between generality and plausibility in verified computation 2013 71-84 Setty S, Braun B, Vu V, Blumberg AJ, Parno B, Walfish M
Conference Efficiency Analysis of Formally Verified Adaptive Cruise Controllers 2013 • 2013 16TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS - (ITSC) • 1565-1570 Loos SM, Witmer D, Steenkiste P, Platzer A
Conference Sketching structured matrices for faster nonlinear regression 2013 • Advances in Neural Information Processing Systems Avron H, Sindhwani V, Woodruff DP
Conference Critically-Sampled Perfect-Reconstruction Spline-Wavelet Filterbanks for Graph Signals 2013 475-478 Ekambaram VN, Fanti G, Ayazifar B, Ramchandran K
Conference Covered Clause Elimination 2013 • EPiC series in computing • 13:41-34 Heule M, Järvisalo M, Biere A
Chapter Verifying Refutations with Extended Resolution 2013 • Lecture Notes in Computer Science • 7898:345-359 Heule MJH, Hunt WA, Wetzler N
Journal Article Coalescent-Based Method for Learning Parameters of Admixture Events from Large-Scale Genetic Variation Data 2013 • IEEE/ACM Transactions on Computational Biology and Bioinformatics • 10(5):1137-1149 Tsai M-C, Blelloch G, Ravi R, Schwartz R
Journal Article Randomly Coloring Constant Degree Graphs 2013 • Random structures & algorithms (Print) • 43(2):181-200 Dyer M, Frieze A, Hayes TP, Vigoda E
Conference Exact analysis of the M/M/k/setup class of Markov chains via recursive renewal reward 2013 153-166 Gandhi A, Doroudi S, Harchol-Balter M, Scheller-Wolf A
Journal Article SET COVERING WITH OUR EYES CLOSED 2013 • SIAM journal on computing (Print) • 42(3):808-830 Grandoni F, Gupta A, Leonardi S, Miettinen P, Sankowski P, Singh M
Conference Learnability of DNF with representation-specific queries 2013 37-46 Yang L, Blum A, Carbonell J
