Conference CoNEXT HotMiddlebox 2013 chairs' welcome 2013 • Hotmiddlebox 2013 Proceedings of the 2013 Workshop on Hot Topics in Middleboxes and Network Function Virtualization Huici F, Sekar V
Conference MEMC3: Compact and concurrent memcache with dumber caching and smarter hashing 2013 • Proceedings of the 10th Usenix Symposium on Networked Systems Design and Implementation Nsdi 2013 • 371-384 Fan B, Andersen DG, Kaminsky M
Conference Towards ridesharing with passenger transfers 2013 • 12th International Conference on Autonomous Agents and Multiagent Systems 2013 Aamas 2013 • 2:1299-1300 Coltin B, Veloso M
Journal Article UNSUPERVISED INDUCTION AND FILLING OF SEMANTIC SLOTS FOR SPOKEN DIALOGUE SYSTEMS USING FRAME-SEMANTIC PARSING 2013 120-125 Chen Y-N, Wang WY, Rudnicky AI
Conference Regret Bounds for Reinforcement Learning with Policy Advice 2013 • Lecture Notes in Computer Science • 7908:97-112 Azar MG, Lazaric A, Brunskill E
Conference Bringing Cross-Layer MIMO to Today's Wireless LANs 2013 • Computer Communication Review • 43(4):387-398 Kumar S, Cifuentes D, Gollakota S, Katabi D
Conference The first workshop on language support for privacy-enhancing technologies (PETShop'13) 2013 • Proceedings of the ACM Conference on Computer and Communications Security • 1485-1486 Franz M, Holzer A, Majumdar R, Parno B, Veith H
Conference Communication-Efficient Distributed Multiple Reference Pattern Matching for M2M Systems 2013 • Proceedings / IEEE International Conference on Data Mining. IEEE International Conference on Data Mining • 787-796 Wang J-P, Lu Y-C, Yeh M-Y, Lin S-D, Gibbons PB
Journal Article Android Apps: What are they doing with your precious Internet? 2013 • Adv. Math. Commun. • 2: Tang A, Rao A, Sherry J, Choffnes DR
Conference Model-Checking Signal Transduction Networks through Decreasing Reachability Sets 2013 • Lecture Notes in Computer Science • 8044:85-100 Claessen K, Fisher J, Ishtiaq S, Piterman N, Wang Q
Conference Trimming while Checking Clausal Proofs 2013 • 2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD) • 181-188 Heule MJH, Hunt WAJ, Wetzler N
Chapter Mechanical Verification of SAT Refutations with Extended Resolution 2013 • Lecture Notes in Computer Science • 7998:229-244 Wetzler N, Heule MJH, Hunt WAJ
Preprint Cops, Robbers, and Threatening Skeletons: Padded Decomposition for Minor-Free Graphs 2013 Abraham I, Gavoille C, Gupta A, Neiman O, Talwar K
Conference Ligra: A Lightweight Graph Processing Framework for Shared Memory 2013 • ACM Sigplan Notices • 48(8):135-146 Shun J, Blelloch GE
Conference Foreword 2013 • Annual ACM Symposium on Parallelism in Algorithms and Architectures Vöcking B, Blelloch G
Journal Article DETERMINISTIC ALGORITHMS FOR THE LOVASZ LOCAL LEMMA 2013 • SIAM journal on computing (Print) • 42(6):2132-2155 Chandrasekaran K, Goyal N, Haeupler B
Preprint Distributed k-Means and k-Median Clustering on General Topologies 2013 Balcan MF, Ehrlich S, Liang Y
Conference Packing Interdiction and Partial Covering Problems 2013 • Lecture Notes in Computer Science • 7801:157-168 Dinitz M, Gupta A
Preprint Contextually Supervised Source Separation with Application to Energy Disaggregation 2013 Wytock M, Kolter JZ
Conference Action translation in extensive-form games with large action spaces: Axioms, paradoxes, and the pseudo-harmonic mapping 2013 • IJCAI International Joint Conference on Artificial Intelligence • 120-128 Ganzfried S, Sandholm T
Journal Article Apoptosis Detection for Non-adherent Cells in Time-lapse Phase Contrast Microscopy 2013 • Lecture Notes in Computer Science • 8150:59-66 Huh S, Kanade T
Conference Scheduling Algorithms for MU-MIMO with Partial Current CSIT and Full Delayed CSIT 2013 • IEEE Vehicular Technology Conference • 1-7 Rawat AS, Bursalioglu OY, Papadopoulos HC
Conference Lowering the barriers to large-scale mobile crowdsensing 2013 1-6 Xiao Y, Simoens P, Pillai P, Ha K, Satyanarayanan M
Conference Cooperative empirical failure avoidance for multithreaded programs 2013 • ACM Sigplan Notices • 48(4):39-50 Lucia B, Ceze L
Journal Article Cooperative empirical failure avoidance for multithreaded programs 2013 • Computer architecture news • 41(1):39-50 Lucia B, Ceze L
Conference Developing a predictive model of quality of experience for internet video 2013 339-350 Balachandran A, Sekar V, Akella A, Seshan S, Stoica I, Zhang H
Conference Fractional Immunization in Networks 2013 659-667 Prakash BA, Adamic L, Iwashyna T, Tong H, Faloutsos C
Conference Standards for Graph Algorithm Primitives 2013 • 2013 IEEE CONFERENCE ON HIGH PERFORMANCE EXTREME COMPUTING (HPEC) Mattson T, Bader D, Berry J, Buluc A, Dongarra J, Faloutsos C, Feo J, Gilbert J, Gonzalez J, Hendrickson B, Kepner J, Leiserson C, Lumsdaine A, Padua D, Poole S, Reinhardt S, Stonebraker M, Wallach S, Yoo A
Conference Anomaly, event, and fraud detection in large network datasets 2013 773-774 Akoglu L, Faloutsos C
Journal Article Distributed κ-means and κ-median clustering on general topologies 2013 • Advances in Neural Information Processing Systems Balcan MF, Ehrlich S, Liang Y
Conference Explicit Subspace Designs 2013 • Annual Symposium on Foundations of Computer Science • 608-617 Guruswami V, Kopparty S
Chapter Related work and concepts 2013 • SpringerBriefs in Computer Science • 0(9781447148890):7-20 Cordeiro RLF, Faloutsos C, Traina Júnior C
Book Data Mining in Large Sets of Complex Data 2013 • SpringerBriefs in Computer Science Cordeiro RLF, Faloutsos C, Traina Júnior C
Conference ReDABLS: Revisiting Device Attestation with Bounded Leakage of Secrets (Transcript of Discussion) 2013 • Lecture Notes in Computer Science • 8263:115-122 Gligor V
Conference Shedding Light on the Structure of Internet Video Quality Problems in the Wild 2013 • PROCEEDINGS OF THE 2013 ACM INTERNATIONAL CONFERENCE ON EMERGING NETWORKING EXPERIMENTS AND TECHNOLOGIES (CONEXT '13) • 357-368 Jiang J, Sekar V, Stoica I, Zhang H
Conference Understanding internet video viewing behavior in the wild 2013 379-380 Balachandran A, Sekar V, Akella A, Seshan S
Conference Software Engineering for Self-Adaptive Systems: A Second Research Roadmap 2013 • Lecture Notes in Computer Science • 7475:1-32 Shaw M, and others
Conference Interruptable autonomy: Towards dialog-based robot task management 2013 • Aaai Workshop Technical Report • WS-13-10:92-97 Sun Y, Coltin B, Veloso M
Conference Fast Human Detection for Indoor Mobile Robots Using Depth Images 2013 • IEEE International Conference on Robotics and Automation • 1108-1113 Choi B, Mericli C, Biswas J, Veloso M
Journal Article Heterogeneous Context-Aware Robots Providing a Personalized Building Tour Regular Paper 2013 • International Journal of Advanced Robotic Systems • 10: Hristoskova A, Agueero CE, Veloso M, De Turck F
Journal Article Formal verification of synchronous data-flow program transformations toward certified compilers 2013 • Frontiers of Computer Science • 7(5):598-616 Ngo VC, Talpin J-P, Gautier T, Le Guernic P, Besnard L
Conference Low latency via redundancy. 2013 • CoNEXT • 283-294 Vulimiri A, Godfrey PB, Mittal R, Sherry J, Ratnasamy S, Shenker S
Conference Reducing contention through priority updates 2013 299-300 Shun J, Blelloch GE, Fineman JT, Gibbons PB
Conference Using Human Approach Paths to Improve Social Navigation 2013 • ACM/IEEE International Conference on Human-Robot Interaction • 73-74 Avrunin E, Simmons R
Conference A Stochastic Probing Problem with Applications 2013 • Lecture Notes in Computer Science • 7801:205-216 Gupta A, Nagarajan V