Conference Interactive Task Learning from GUI-Grounded Natural Language Instructions and Demonstrations 2020 • Proceedings of the conference. Association for Computational Linguistics. Meeting • 215-223 Li TJ-J, Mitchell TM, Myers BA
Chapter Agent-in-the-Loop: Conversational Agent Support in Service of Reflection for Learning During Collaborative Programming 2020 • Lecture Notes in Computer Science • 12164:273-278 Sankaranarayanan S, Kandimalla SR, Hasan S, An H, Bogart C, Murray RC, Hilton M, Sakr M, Rose C
Conference Contention-Aware Performance Prediction For Virtualized Network Functions 2020 • SIGCOMM '20: PROCEEDINGS OF THE 2020 ANNUAL CONFERENCE OF THE ACM SPECIAL INTEREST GROUP ON DATA COMMUNICATION ON THE APPLICATIONS, TECHNOLOGIES, ARCHITECTURES, AND PROTOCOLS FOR COMPUTER COMMUNICATION • 270-282 Manousis A, Sharma RA, Sekar V, Sherry J
Conference Improving Approximate Nearest Neighbor Search through Learned Adaptive Early Termination 2020 • Proceedings / ACM-SIGMOD International Conference on Management of Data. ACM-Sigmod International Conference on Management of Data • 2539-2554 Li C, Zhang M, Andersen DG, He Y
Chapter A Retrospective on Developing Hybrid System Provers in the KeYmaera Family: A Tale of Three Provers 2020 • Lecture Notes in Computer Science • 12345 LNCS:21-64 Mitsch S, Platzer A
Conference Storage Systems are Distributed Systems (So Verify Them That Way!) 2020 • PROCEEDINGS OF THE 14TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION (OSDI '20) • 99-115 Hance T, Lattuada A, Hawblitzel C, Howell J, Johnson R, Parno B
Conference The communication complexity of optimization 2020 • Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms • 2020-January:1733-1752 Vempala SS, Wang R, Woodruff DP
Conference CloudSLAM: Edge Offloading of Stateful Vehicular Applications 2020 • 2020 IEEE/ACM SYMPOSIUM ON EDGE COMPUTING (SEC 2020) • 139-151 Wright K-L, Sivakumar A, Steenkiste P, Yu B, Bai F
Journal Article Mochi: Composing Data Services for High-Performance Computing Environments 2020 • Journal of Computer Science and Technology • 35(1):121-144 Ross RB, Amvrosiadis G, Carns P, Cranor CD, Dorier M, Harms K, Ganger G, Gibson G, Gutierrez SK, Latham R, Robey B, Robinson D, Settlemyer B, Shipman G, Snyder S, Soumagne J, Zheng Q
Chapter The Resolution of Keller's Conjecture 2020 • Lecture Notes in Computer Science • 12166:48-65 Brakensiek J, Heule M, Mackey J, Narvaez D
Preprint Order-Preserving Key Compression for In-Memory Search Trees 2020 Zhang H, Liu X, Andersen DG, Kaminsky M, Keeton K, Pavlo A
Preprint Refined bounds for algorithm configuration: The knife-edge of dual class approximability 2020 Balcan M-F, Sandholm T, Vitercik E
Journal Article Optimally Resilient Codes for List-Decoding from Insertions and Deletions 2020 • Annual ACM Symposium on Theory of Computing • 524-537 Guruswami V, Haeupler B, Shahrasbi A
Journal Article On random multi-dimensional assignment problems 2020 • Discrete Applied Mathematics • 287:1-9 Frieze A, Pegden W, Tkocz T
Preprint Vector-Matrix-Vector Queries for Solving Linear Algebra, Statistics, and Graph Problems 2020 Rashtchian C, Woodruff DP, Zhu H
Preprint Post-Quantum Multi-Party Computation 2020 Agarwal A, Bartusek J, Goyal V, Khurana D, Malavolta G
Journal Article Technical perspective: An answer to fair division's most enigmatic question 2020 • Communications of the ACM • 63(4):118-118 Procaccia AD
Journal Article A Power-Aware Heterogeneous Architecture Scaling Model for Energy-Harvesting Computers 2020 • IEEE Computer Architecture Letters • 19(1):68-71 Desai H, Lucia B
Journal Article Noninvasive methods of classification and staging of chronic hepatic diseases 2020 • International Journal of Imaging Systems and Technology • 30(2):358-366 Daniel VAA, Ravi R
Conference NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification 2020 • PROCEEDINGS OF THE 17TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION • 181-200 Yuan Y, Moon S-J, Uppal S, Jia L, Sekar V
Journal Article TurboLift: fast accuracy lifting for historical data recovery 2020 • The VLDB journal • 29(5):1129-1148 Yang F, Almutairi FM, Song HA, Faloutsos C, Sidiropoulos ND, Zadorozhny V
Journal Article Contextual and Granular Policy Enforcement in Database-backed Applications 2020 432-444 Bichhawat A, Fredrikson M, Yang J, Trehan A
Conference Smoothed Geometry for Robust Attribution 2020 • Advances in Neural Information Processing Systems • 33: Wang Z, Wang H, Ramkumar S, Fredrikson M, Mardziel P, Datta A
Conference d-To-1 hardness of coloring 3-colorable graphs with O(1) colors 2020 • Leibniz International Proceedings in Informatics • 168: Guruswami V, Sandeep S
Conference Multi-Modal Repairs of Conversational Breakdowns in Task-Oriented Dialogs 2020 • PROCEEDINGS OF THE 33RD ANNUAL ACM SYMPOSIUM ON USER INTERFACE SOFTWARE AND TECHNOLOGY, UIST 2020 • 1094-1107 Li TJ-J, Chen J, Xia H, Mitchell TM, Myers BA
Journal Article Unleashing In-network Computing on Scientific Workloads 2020 Kim D, Jain A, Liu Z, Amvrosiadis G, Hazen D, Settlemyer B, Sekar V
Journal Article Community detection using fast low-cardinality semidefinite programming 2020 • Advances in Neural Information Processing Systems • 2020-December: Wang PW, Kolter JZ
Journal Article Liquid Information Flow Control 2020 • Proceedings of the ACM on Programming Languages • 4: Polikarpova N, Stefan D, Yang J, Itzhaky S, Hance T, Solar-Lezama A
Conference Towards CPS Verification Engineering 2020 • 22ND INTERNATIONAL CONFERENCE ON INFORMATION INTEGRATION AND WEB-BASED APPLICATIONS & SERVICES (IIWAS2020) • 367-371 Mueller A, Mitsch S, Retschitzegger W, Schwinger W
Conference Quick (and Dirty) Aggregate Queries on Low-Power WANs 2020 • 2020 19TH ACM/IEEE INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS (IPSN 2020) • 277-288 Gadre A, Yi F, Rowe A, Iannucci B, Kumar S
Chapter Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language 2020 • Lecture Notes in Computer Science • 12549:106-123 Bosamiya J, Gibson S, Li Y, Parno B, Hawblitzel C
Journal Article Automated Design of Robotic Hands for In-Hand Manipulation Tasks 2020 • International Journal of Humanoid Robotics • 17(1): Hazard C, Pollard N, Coros S
Conference Tight Bounds for the Subspace Sketch Problem with Applications 2020 • PROCEEDINGS OF THE THIRTY-FIRST ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS (SODA'20) • 1655-1674 Li Y, Wang R, Woodruff DP
Conference Oblivious sketching of high-degree polynomial kernels 2020 • Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms • 2020-January:141-160 Ahle TD, Kapralov M, Knudsen JBT, Pagh R, Velingker A, Woodruff DP, Zandieh A
Journal Article Sage 2020 • Proceedings of the VLDB Endowment • 13(9):1598-1613 Dhulipala L, McGuffey C, Kang H, Gu Y, Blelloch GE, Gibbons PB, Shun J
Chapter Guaranteed Output Delivery Comes Free in Honest Majority MPC 2020 • Lecture Notes in Computer Science • 12171:618-646 Goyal V, Song Y, Zhu C
Conference Exertion-based billing for cloud storage access 2020 • 3rd USENIX Workshop on Hot Topics in Cloud Computing, HotCloud 2011 Wachs M, Xu L, Kanevsky A, Ganger GR
Chapter Mycielski Graphs and PR Proofs 2020 • Lecture Notes in Computer Science • 12178:201-217 Yolcu E, Wu X, Heule MJH
Conference Randomized Incremental Convex Hull is Highly Parallel 2020 • PROCEEDINGS OF THE 32ND ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES (SPAA '20) • 103-115 Blelloch GE, Gu Y, Shun J, Sun Y
Preprint Pollux: Co-adaptive Cluster Scheduling for Goodput-Optimized Deep Learning 2020 Qiao A, Choe SK, Subramanya SJ, Neiswanger W, Ho Q, Zhang H, Ganger GR, Xing EP
Preprint heSRPT: Parallel Scheduling to Minimize Mean Slowdown 2020 Berg B, Vesilo R, Harchol-Balter M
Preprint First-order Gradual Information Flow Types with Gradual Guarantees 2020 Bichhawat A, McCall M, Jia L