Journal Article Efficient Low-Redundancy Codes for Correcting Multiple Deletions 2018 • IEEE Transactions on Information Theory • 64(5):3403-3410 Brakensiek J, Guruswami V, Zbarsky S
Conference APPINITE: A Multi-Modal Interface for Specifying Data Descriptions in Programming by Demonstration Using Natural Language Instructions 2018 • Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC • 105-114 Li TJ-J, Labutov I, Li XN, Zhang X, Shi W, Ding W, Mitchell TM, Myers BA
Conference A Trace Query Language for Rule-Based Models 2018 • Lecture Notes in Computer Science • 11095:220-237 Laurent J, Medina-Abarca HF, Boutillier P, Yang J, Fontana W
Conference ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving 2018 • EPiC series in computing • 54:110-191 Mitsch S, Sogokon A, Tan YK, Platzer A, Zhao H, Jin X, Wang S, Zhan N
Conference Interpretability of a Service Robot: Enabling User Questions and Checkable Answers 2018 • EPiC series in computing • 55:176-163 Perera V, Veloso M
Conference Automated Design of Manipulators for In-Hand Tasks 2018 • IEEE-RAS International Conference on Humanoid Robots • 00:1-8 Hazard C, Pollard N, Coros S
Conference Sublinear time low-rank approximation of distance matrices 2018 • Advances in Neural Information Processing Systems • 2018-December:3782-3792 Bakshi A, Woodruff DP
Conference Variance-Reduced Stochastic Gradient Descent on Streaming Data 2018 • Advances in Neural Information Processing Systems • 31: Jothimurugesan E, Tahmasbi A, Gibbons PB, Tirthapura S
Journal Article Algorithmic building blocks for asymmetric memories 2018 • Leibniz International Proceedings in Informatics • 112: Gu Y, Sun Y, Blelloch GE
Journal Article Constraining the clustering transition for colorings of sparse random graphs 2018 • Electronic Journal of Combinatorics • 25(1): Anastos M, Frieze A, Pegden W
Journal Article Minor Excluded Network Families Admit Fast Distributed Algorithms 2018 • Proceedings of the Annual ACM Symposium on Principles of Distributed Computing • 465-474 Haeupler B, Li J, Zuzic G
Conference Towards Optimality in Parallel Job Scheduling 2018 • Performance Evaluation Review • 116-118 Berg B, Dorsman J-P, Harchol-Balter M
Journal Article Meaning explanations at higher dimension 2018 • Indagationes Mathematicae • 29(1):135-149 Angiuli C, Harper R
Preprint A Continuous-Time View of Early Stopping for Least Squares 2018 Ali A, Kolter JZ, Tibshirani RJ
Conference Maximizing profit with convex costs in the random-order model 2018 • Leibniz International Proceedings in Informatics • 107: Gupta A, Mehta R, Molinaro M
Conference On Closeness to k-wise uniformity 2018 • Leibniz International Proceedings in Informatics • 116: O'Donnell R, Zhao Y
Conference A unified framework for extensive-form game abstraction with bounds 2018 • Advances in Neural Information Processing Systems • 2018-December:615-626 Kroer C, Sandholm T
Journal Article Optimal Cone Singularities for Conformal Flattening 2018 • ACM Transactions on Graphics • 37(4): Soliman Y, Slepcev D, Crane K
Journal Article Variational Surface Cutting 2018 • ACM Transactions on Graphics • 37(4): Sharp N, Crane K
Conference Ares: Automatic Disaggregation of Historical Data 2018 • Proceedings - International Conference on Data Engineering • 65-76 Yang F, Song HA, Liu Z, Faloutsos C, Zadorozhny V, Sidiropoulos N
Conference LinkNBed: Multi-Graph Representation Learning with Entity Linkage 2018 252-262 Trivedi R, Sisman B, Dong XL, Faloutsos C, Ma J, Zha H
Journal Article Hunting for Discriminatory Proxies in Linear Regression Models 2018 • Advances in Neural Information Processing Systems • 31: Yeom S, Datta A, Fredrikson M
Chapter Fraud Detection Using Social Network Analysis: A Case Study 2018 856-861 Chau DH, Faloutsos C
Conference Lossless Dimension Expanders via Linearized Polynomials and Subspace Designs 2018 • Leibniz International Proceedings in Informatics • 102: Guruswami V, Resch N, Xing C
Conference Uncertainty Reduction in Self-Adaptive Systems 2018 • Proceedings - International Conference on Software Engineering • 51-57 Moreno GA, Camara J, Garlan D, Klein M
Conference Active Learning in Systems Courses 2018 • SIGCSE'18: PROCEEDINGS OF THE 49TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION • 1067-1067 Railing BP, Taylor C, Garcia S
Conference Counterfactual Resimulation for Causal Analysis of Rule-Based Models 2018 • IJCAI International Joint Conference on Artificial Intelligence • 1882-1890 Laurent J, Yang J, Fontana W
Conference Calypso for Cozmo: Robotic AI for Everyone 2018 • SIGCSE'18: PROCEEDINGS OF THE 49TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION • 1110-1110 Touretzky DS, Gardner-McCune C
Conference Revisiting Software Defined Radios in the IoT Era 2018 • HOTNETS-XVII: PROCEEDINGS OF THE 2018 ACM WORKSHOP ON HOT TOPICS IN NETWORKS • 43-49 Narayanan R, Kumar S
Journal Article The grand challenges of <i>Science Robotics</i> 2018 • Science Robotics • 3(14): Yang G-Z, Bellingham J, Dupont PE, Fischer P, Floridi L, Full R, Jacobstein N, Kumar V, McNutt M, Merrifield R, Nelson BJ, Scassellati B, Taddeo M, Taylor R, Veloso M, Wang ZL, Wood R
Conference A Rationale-Driven Team Plan Representation for Autonomous Intra-Robot Replanning 2018 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 2389-2394 Cooksey P, Veloso M
Conference Classifier-Based Evaluation of Image Feature Importance 2018 • EPiC series in computing • 55:162-147 Pandi Selvaraj SP, Veloso M, Rosenthal S
Conference Strong Coresets for k-Median and Subspace Approximation: Goodbye Dimension 2018 • Annual Symposium on Foundations of Computer Science • 802-813 Sohler C, Woodruff DP
Conference Elastic Scaling of Stateful Network Functions 2018 • PROCEEDINGS OF THE 15TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION (NSDI'18) • 299-312 Woo S, Sherry J, Han S, Moon S, Ratnasamy S, Shenker S
Journal Article FoldSketch: Enriching Garments with Physically Reproducible Folds 2018 • ACM Transactions on Graphics • 37(4): Li M, Sheffer A, Grinspun E, Vining N
Preprint Verifying and Synthesizing Constant-Resource Implementations with Types 2018 Ngo VC, Dehesa-Azuara M, Fredrikson M, Hoffmann J
Journal Article Faster distributed shortest path approximations via shortcuts 2018 • Leibniz International Proceedings in Informatics • 121: Haeupler B, Li J
Preprint Decoupling GPU Programming Models from Resource Management for Enhanced Programming Ease, Portability, and Performance 2018 Vijaykumar N, Hsieh K, Pekhimenko G, Khan S, Shrestha A, Ghose S, Jog A, Gibbons PB, Mutlu O
Conference Practical Bounds on Optimal Caching with Variable Object Sizes 2018 • Performance Evaluation Review • 24-26 Berger DS, Beckmann N, Harchol-Balter M
Journal Article On the trace of random walks on random graphs 2018 • Proceedings of the London Mathematical Society • 116:847-877 Frieze A, Krivelevich M, Michaeli P, Peled R
Preprint Debugging Framework Applications: Benefits and Challenges 2018 Coker Z, Widder DG, Goues CL, Bogart C, Sunshine J
Journal Article The Fluid Mechanics of Liquid Democracy 2018 • Lecture Notes in Computer Science • 11316:188-202 Gölz P, Kahng A, Mackenzie S, Procaccia AD
Conference Practical exact algorithm for trembling-hand equilibrium refinements in games 2018 • Advances in Neural Information Processing Systems • 31: Farina G, Gatti N, Sandholm T
Journal Article Mobius Registration 2018 • Computer Graphics Forum • 37(5):211-220 Baden A, Crane K, Kazhdan M
