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 Message from the Program Chairs 2018 • IEEE Symposium on Security and Privacy: Proceedings • 2018-May:xvii Parno B, Kruegel C
Conference Control of Tendon-Driven Soft Foam Robot Hands 2018 • IEEE-RAS International Conference on Humanoid Robots • 1100-1106 Schlagenhauf C, Bauer D, Chang K-H, King JP, Moro D, Coros S, Pollard N
Conference On Low-Risk heavy hitters and sparse recovery schemes 2018 • Leibniz International Proceedings in Informatics • 116: Li Y, Nakos V, Woodruff DP
Conference Distributed Statistical Estimation of Matrix Products with Applications 2018 • Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems • 383-394 Woodruff DP, Zhang Q
Conference A Case for Richer Cross-layer Abstractions: Bridging the Semantic Gap with Expressive Memory 2018 • Proceedings / Annual International Symposium on Computer Architecture. International Symposium on Computer Architecture • 207-220 Vijaykumar N, Jain A, Majumdar D, Hsieh K, Pekhimenko G, Ebrahimi E, Hajinazar N, Gibbons PB, Mutlu O
Conference Scaling Embedded In-Situ Indexing with DeltaFS 2018 • PROCEEDINGS OF THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE, AND ANALYSIS (SC'18) Zheng Q, Cranor CD, Guo D, Ganger GR, Amvrosiadis G, Gibson GA, Settlemyer BW, Grider G, Guo F
Chapter Promise Zero Knowledge and Its Applications to Round Optimal MPC 2018 • Lecture Notes in Computer Science • 10992:459-487 Badrinarayanan S, Goyal V, Jain A, Kalai YT, Khurana D, Sahai A
Chapter Non-malleable Secret Sharing for General Access Structures 2018 • Lecture Notes in Computer Science • 10991:501-530 Goyal V, Kumar A
Journal Article DIFFUSION LIMITED AGGREGATION ON THE BOOLEAN LATTICE 2018 • The Annals of Applied Probability • 28(6):3528-3557 Frieze A, Pegden W
Journal Article Constant-Rate Coding for Multiparty Interactive Communication Is Impossible 2018 • Journal of the ACM • 65(1): Braverman M, Efremenko K, Gelles R, Haeupler B
Journal Article Deconvolution and phylogeny inference of structural variations in tumor genomic samples 2018 • Bioinformatics • 34(13):357-365 Eaton J, Wang J, Schwartz R
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 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
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
