Conference A Calculus for Relaxed Memory 2015 • ACM Sigplan Notices • 50(1):623-636 Crary K, Sullivan MJ
Journal Article DDA: Cross-Session Throughput Prediction with Applications to Video Bitrate Selection 2015 Jiang J, Sekar V, Sun Y
Journal Article A Case-Based Approach to Mobile Push-Manipulation 2015 • Journal of Intelligent and Robotic Systems: Theory and Applications • 80:S189-S203 Mericli T, Veloso M, Akin HL
Conference Using Active Learning Techniques in Mixed Undergraduate / Graduate Courses (Abstract Only) 2015 720-720 Railing BP
Conference Global Localization by Soft Object Recognition from 3D Partial Views 2015 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 3709-3714 Ribeiro F, Brandao S, Costeira JP, Veloso M
Conference The Communication Complexity of Distributed Set-Joins with Applications to Matrix Multiplication 2015 199-212 Van Gucht D, Williams R, Woodruff DP, Zhang Q
Conference Bandwidth-Efficient Distributed <i>k</i>-Nearest-Neighbor Search with Dynamic Time Warping 2015 • PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON BIG DATA • 551-560 Hsu C-C, Kung P-H, Yeh M-Y, Lin S-D, Gibbons PB
Conference Personalized ad recommendation systems for life-time value optimization with guarantees 2015 • IJCAI International Joint Conference on Artificial Intelligence • 2015-January:1806-1812 Theocharous G, Thomas PS, Ghavamzadeh M
Conference ITERATIVE ROUNDING APPROXIMATION ALGORITHMS FOR DEGREE-BOUNDED NODE-CONNECTIVITY NETWORK DESIGN 2015 • SIAM journal on computing (Print) • 44(5):1202-1229 Fukunaga T, Nutov Z, Ravi R
Conference Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference Austin, TX, USA, September 24-27, 2015 Proceedings 2015 • Lecture Notes in Computer Science • 9340: Heule M, Weaver S
Journal Article Random triangle removal 2015 • Advances in Mathematics • 280:379-438 Bohman T, Frieze A, Lubetzky E
Journal Article LONG PATHS IN RANDOM APOLLONIAN NETWORKS 2015 • Internet Mathematics • 11(4-5):308-318 Cooper C, Frieze A
Journal Article Network Coding Based Information Spreading in Dynamic Networks With Correlated Data 2015 • IEEE Journal on Selected Areas in Communications • 33(2):213-224 Cohen A, Haeupler B, Avin C, Medard M
Preprint Convex programming with fast proximal and linear operators 2015 Wytock M, Wang P-W, Kolter JZ
Conference Using an Interactive Animated Avatar's Facial Expressiveness to Increase Persuasiveness and Socialness 2015 • CHI 2015: PROCEEDINGS OF THE 33RD ANNUAL CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS • 1719-1728 Hyde J, Carter EJ, Kiesler S, Hodgins JK
Journal Article Assessment of Movement Patterns during Intubation between Novice and Experienced Providers Using Mobile Sensors: A Preliminary, Proof of Concept Study 2015 • BioMed Research International • 2015: Carlson JN, Das S, Spring S, Frisch A, De la Torre F, Hodgins J
Conference Steering evolution strategically: Computational game theory and opponent exploitation for treatment planning, drug design, and synthetic biology 2015 • Proceedings of the National Conference on Artificial Intelligence • 6:4057-4061 Sandholm T
Conference A Perceptual Control Space for Garment Simulation 2015 • ACM Transactions on Graphics • 34(4): Sigal L, Mahler M, Diaz S, McIntosh K, Carter E, Richards T, Hodgins J
Conference Voting Rules As Error-Correcting Codes 2015 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 1000-1006 Procaccia AD, Shah N, Zick Y
Preprint Non-Malleable Extractors and Codes, with their Many Tampered Extensions 2015 Chattopadhyay E, Goyal V, Li X
Conference When it breaks, it breaks How ecosystem developers reason about the stability of dependencies 2015 • 2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOP (ASEW) • 86-89 Bogart C, Kaestner C, Herbsleb J
Conference Abstraction for solving large incomplete-information games 2015 • Proceedings of the National Conference on Artificial Intelligence • 6:4127-4131 Sandholm T
Journal Article Energy-Oriented Partial Desktop Virtual Machine Migration 2015 • ACM Transactions on Computer Systems • 33(1): Bila N, Wright EJ, De Lara E, Joshi K, Lagar-Cavilla HA, Park E, Goel A, Hiltunen M, Satyanarayanan M
Journal Article An Open Ecosystem for Mobile-Cloud Convergence 2015 • IEEE Communications Magazine • 53(3):63-70 Satyanarayanan M, Schuster R, Ebling M, Fettweis G, Flinck H, Joshi K, Sabnani K
Conference Panoptic Studio: A Massively Multiview System for Social Motion Capture 2015 • Proceedings / IEEE International Conference on Computer Vision. IEEE International Conference on Computer Vision • 3334-3342 Joo H, Liu H, Tan L, Gui L, Nabbe B, Matthews I, Kanade T, Nobuhara S, Sheikh Y
Conference A PCIe DMA Engine to Support the Virtualization of 40 Gbps FPGA-Accelerated Network Appliances 2015 1-6 Zazo JF, Lopez-Buedo S, Audzevich Y, Moore AW
Conference ABC-Center: Approximate-Center Election in Modular Robots 2015 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 2951-2957 Naz A, Piranda B, Goldstein SC, Bourgeois J
Conference Retweeting Activity on Twitter: Signs of Deception 2015 • Lecture Notes in Computer Science • 9077:122-134 Giatsoglou M, Chatzakou D, Shah N, Faloutsos C, Vakali A
Journal Article The Performances Analysis of Fast Efficient Lossless Satellite Image Compression and Decompression for Wavelet Based Algorithm 2015 • Wireless Personal Communications • 81(2):839-859 Muthukumaran N, Ravi R
Conference Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits 2015 • Proceedings of the ACM Conference on Computer and Communications Security • 1130-1143 Chowdhury O, Garg D, Jia L, Datta A
Conference Refinement Types for Incremental Computational Complexity 2015 • Lecture Notes in Computer Science • 9032:406-431 Cicek E, Garg D, Acar U
Journal Article Deletion codes in the high-noise and high-rate regimes 2015 • Leibniz International Proceedings in Informatics • 40:867-880 Guruswami V, Wang C
Journal Article Monotone Increasing Properties and Their Phase Transitions in Uniform Random Intersection Graphs 2015 Zhao J, Yağan O, Gligor V
Conference Petuum: A New Platform for Distributed Machine Learning on Big Data 2015 • Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining • 1335-1344 Xing EP, Ho Q, Dai W, Kim JK, Wei J, Lee S, Zheng X, Xie P, Kumar A, Yu Y
Conference Program-Adaptive Mutational Fuzzing 2015 • IEEE Symposium on Security and Privacy: Proceedings • 725-741 Cha SK, Woo M, Brumley D
Conference Reasoning about Human Participation in Self-Adaptive Systems 2015 • 2015 IEEE/ACM 10TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS • 145-155 Camara J, Moreno GA, Garlan D
Conference Hierarchical modeling of systems with similar components 2015 • 12th International Conference on Applications of Statistics and Probability in Civil Engineering Icasp 2015 Memarzadeh M, Pozzi M, Kolter JZ
Conference Learning Context-based Outcomes for Mobile Robots in Unstructured Indoor Environments 2015 • 2015 IEEE 14TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA) • 703-706 Parashar P, Fisher R, Simmons R, Veloso M, Biswas J
Journal Article Probabilistic cost enforcement of security policies 2015 • Journal of Computer Security • 23(6):759-787 Mallios Y, Bauer L, Kaynar D, Martinelli F, Morisset C
Journal Article Reports on the 2015 AAAI Workshop Series 2015 • AI Magazine • 36(2):90-101 Veloso M, and others
Conference Sub-Nanosecond Time of Flight on Commercial Wi-Fi Cards 2015 • Computer Communication Review • 121-122 Vasisht D, Kumar S, Katabi D
Conference Securing Passive Replication Through Verification 2015 • Proceedings of the Symposium on Reliable Distributed Systems • 176-181 Vavala B, Neves N, Steenkiste P
Conference Online Updates on Data Warehouses via Judicious Use of Solid-State Storage 2015 • ACM Transactions on Database Systems • 40(1):1-42 Athanassoulis M, Chen S, Ailamaki A, Gibbons PB, Stoica R
Conference Spy vs. Spy 2015 • Performance Evaluation Review • 43(1):271-284 Fanti G, Kairouz P, Oh S, Viswanath P
