Conference A cloud-optimized link layer for low-power wide-area networks 2020 247-259 Balanuta A, Pereira N, Kumar S, Rowe A
Conference Providing Architectural Support for Building Privacy-Sensitive Smart Home Applications 2020 • UBICOMP/ISWC '20 ADJUNCT: PROCEEDINGS OF THE 2020 ACM INTERNATIONAL JOINT CONFERENCE ON PERVASIVE AND UBIQUITOUS COMPUTING AND PROCEEDINGS OF THE 2020 ACM INTERNATIONAL SYMPOSIUM ON WEARABLE COMPUTERS • 212-217 Jin H, Kumar S, Hong J
Journal Article Optimal action sequence generation for assistive agents in fixed horizon tasks 2020 • Autonomous Agents and Multi-Agent Systems • 34(2): Baraka K, Melo FS, Couto M, Veloso M
Journal Article Near Optimal Linear Algebra in the Online and Sliding Window Models 2020 • Annual Symposium on Foundations of Computer Science • 517-528 Braverman V, Drineas P, Musco C, Musco C, Upadhyay J, Woodruff DP, Zhou S
Conference Near input sparsity time kernel embeddings via adaptive sampling 2020 • 37th International Conference on Machine Learning Icml 2020 • PartF168147-14:10255-10264 Woodruff DP, Zandieh A
Conference InfoGAN-CR and modelcentrality: Self-supervised model training and selection for disentangling gans 2020 • 37th International Conference on Machine Learning Icml 2020 • PartF168147-8:6083-6095 Lin Z, Thekumparampi KK, Fanti G, Oh S
Journal Article Streaming Data Reorganization at Scale with DeltaFS Indexed Massive Directories 2020 • ACM Transactions on Storage • 16(4): Zheng Q, Cranor CD, Jain A, Ganger GR, Gibson GA, Amvrosiadis G, Settlemyer BW, Grider G
Preprint Optimizing Graph Processing and Preprocessing with Hardware Assisted Propagation Blocking 2020 Balaji V, Lucia B
Journal Article Parallelism in Randomized Incremental Algorithms 2020 • Journal of the ACM • 67(5): Blelloch GE, Gu Y, Shun J, Sun Y
Preprint Tradeoff-Focused Contrastive Explanation for MDP Planning 2020 Sukkerd R, Simmons R, Garlan D
Journal Article Simple Near-Optimal Scheduling for the M/G/1 2020 • Performance Evaluation Review • 48(1):37-38 Scully Z, Harchol-Balter M, Scheller-Wolf A
Preprint Faster Algorithms for Optimal Ex-Ante Coordinated Collusive Strategies in Extensive-Form Zero-Sum Games 2020 Farina G, Celli A, Gatti N, Sandholm T
Preprint Why Spectral Normalization Stabilizes GANs: Analysis and Improvements 2020 Lin Z, Sekar V, Fanti G
Preprint Neural Network Virtual Sensors for Fuel Injection Quantities with Provable Performance Specifications 2020 Wong E, Schneider T, Schmitt J, Schmidt FR, Kolter JZ
Conference Chasing Convex Bodies with Linear Competitive Ratio 2020 • PROCEEDINGS OF THE THIRTY-FIRST ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS (SODA'20) • 1519-1524 Argue CJ, Gupta A, Guruganesh G, Tang Z
Conference Fooling Gaussian PTFs via local hyperconcentration 2020 • Annual ACM Symposium on Theory of Computing • 1170-1183 O'Donnell R, Servedio RA, Tan L-Y
Conference Stochastic regret minimization in extensive-form games 2020 • 37th International Conference on Machine Learning Icml 2020 • PartF168147-4:2999-3009 Farina G, Kroer C, Sandholm T
Conference Optical Non-Line-of-Sight Physics-based 3D Human Pose Estimation 2020 • Proceedings / CVPR, IEEE Computer Society Conference on Computer Vision and Pattern Recognition. IEEE Computer Society Conference on Computer Vision and Pattern Recognition • 7011-7020 Isogawa M, Yuan Y, O'Toole M, Kitani K
Journal Article OpenRTiST: End-to-End Benchmarking for Edge Computing 2020 • IEEE pervasive computing • 19(4):10-18 George S, Eiszler T, Iyengar R, Turki H, Feng Z, Wang J, Satyanarayanan M, Pillai P
Conference Mitigating Manipulation in Peer Review via Randomized Reviewer Assignments 2020 • Advances in Neural Information Processing Systems • 33: Jecmen S, Zhang H, Liu R, Shah NB, Conitzer V, Fang F
Conference Learning Context-aware Policies from Multiple Smart Homes via Federated Multi-Task Learning 2020 • 2020 ACM/IEEE FIFTH INTERNATIONAL CONFERENCE ON INTERNET OF THINGS DESIGN AND IMPLEMENTATION (IOTDI 2020) • 104-115 Yu T, Li T, Sun Y, Nanda S, Smith V, Sekar V, Seshan S
Conference Human-centered decision support for agenda scheduling 2020 • Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS • 2020-May:1161-1168 Rosenthal S, Hiatt LM
Conference Message from the Program Chairs 2020 • Proceedings 2020 IEEE Secure Development Secdev 2020 • 96-107 Kim T, Jia L
Conference Collective Multi-type Entity Alignment Between Knowledge Graphs 2020 • WEB CONFERENCE 2020: PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE (WWW 2020) • 2241-2252 Zhu Q, Wei H, Sisman B, Zheng D, Faloutsos C, Dong XL, Han J
Conference FraudFox: Adaptable Fraud Detection in the Real World 2020 • Communications in Computer and Information Science • 1271:47-65 Butler M, Fan Y, Faloutsos C
Conference AUTOAUDIT: Mining Accounting and Time-Evolving Graphs 2020 • 2020 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA) • 950-956 Lee M-C, Zhao Y, Wang A, Liang PJ, Akoglu L, Tseng VS, Faloutsos C
Conference Revisiting alphabet reduction in Dinur's PCP 2020 • Leibniz International Proceedings in Informatics • 176: Guruswami V, Opršal J, Sandeep S
Journal Article A focused solution to the avoidance problem 2020 • Journal of Functional Programming • 30: Crary K
Conference Modeling Task Effects on Meaning Representation in the Brain via Zero-Shot MEG Prediction 2020 • Advances in Neural Information Processing Systems • 33: Toneva M, Stretcu O, Poczos B, Wehbe L, Mitchell TM
Conference Pythons and Martians and Finches, Oh My! Lessons Learned from a Mandatory 8th Grade Python Class 2020 • SIGCSE 2020: PROCEEDINGS OF THE 51ST ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION • 811-817 Nanavati A, Owens A, Stehlik M
Conference All that GLITTERs: Low-Power Spoof-Resilient Optical Markers for Augmented Reality 2020 • 2020 19TH ACM/IEEE INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS (IPSN 2020) • 289-300 Sharma RA, Dongare A, Miller J, Wilkerson N, Cohen D, Sekar V, Dutta P, Rowe A
Conference Using GANs for Sharing Networked Time Series Data: Challenges, Initial Promise, and Open Questions 2020 • PROCEEDINGS OF THE 2020 ACM INTERNET MEASUREMENT CONFERENCE, IMC 2020 • 464-483 Lin Z, Jain A, Wang C, Fanti G, Sekar V
Conference Explanations for Human-on-the-loop: A Probabilistic Model Checking Approach 2020 • ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems • 181-187 Li N, Adepu S, Kang E, Garlan D
Conference Lightweight Preemptible Functions 2020 • PROCEEDINGS OF THE 2020 USENIX ANNUAL TECHNICAL CONFERENCE • 465-477 Boucher S, Kalia A, Andersen DG, Kaminsky M
Journal Article Using Pre-Computed Knowledge for Goal Allocation in Multi-Agent Planning 2020 • Journal of Intelligent and Robotic Systems: Theory and Applications • 98(1):165-190 Luis N, Pereira T, Fernandez S, Moreira A, Borrajo D, Veloso M
Conference Optimal Communication-Distortion Tradeoff in Voting 2020 795-813 Mandal D, Shah N, Woodruff DP
Conference Streaming complexity of SVMs 2020 • Leibniz International Proceedings in Informatics • 176: Andoni A, Burns C, Li Y, Mahabadi S, Woodruff DP
Conference Revisiting the sample complexity of sparse spectrum approximation of Gaussian processes 2020 • Advances in Neural Information Processing Systems • 2020-December: Hoang QM, Hoang TN, Pham H, Woodruff DP
Conference Distributed dynamic channel selection in chaotic wireless networks 2020 • Ew 2007 13th European Wireless Conference Enabling Technologies for Wireless Multimedia Communications Ihmig M, Steenkiste P
Conference Automatic Differentiation of Sketched Regression 2020 • Proceedings of Machine Learning Research • 108:4367-4376 Liao H, Pearlmutter BA, Potluru VK, Woodruff DP
Conference High Throughput Cryptocurrency Routing in Payment Channel Networks 2020 • PROCEEDINGS OF THE 17TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION • 777-796 Sivaraman V, Venkatakrishnan SB, Ruan K, Negi P, Yang L, Mittal R, Fanti G, Alizadeh M
Conference Caching with Delayed Hits 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 • 495-513 Atre N, Sherry J, Wang W, Berger DS
Journal Article The Case for Custom Storage Backends in Distributed Storage Systems 2020 • ACM Transactions on Storage • 16(2): Aghayev A, Weil S, Kuchnik M, Nelson M, Ganger GR, Amvrosiadis G
Conference More IOPS for less: Exploiting burstable storage in public clouds 2020 • Hotcloud 2020 12th Usenix Workshop on Hot Topics in Cloud Computing Co Located with Usenix Atc 2020 Park H, Ganger GR, Amvrosiadis G
Journal Article Simulating Strong Practical Proof Systems with Extended Resolution 2020 • Journal of Automated Reasoning • 64(7):1247-1267 Kiesl B, Rebola-Pardo A, Heule MJH, Biere A
Journal Article Tight bounds on <i>l</i><sub>1</sub> approximation and learning of self-bounding functions 2020 • Theoretical Computer Science • 808:86-98 Feldman V, Kothari P, Vondrak J
Preprint CPR: Understanding and Improving Failure Tolerant Training for Deep Learning Recommendation with Partial Recovery 2020 Maeng K, Bharuka S, Gao I, Jeffrey MC, Saraph V, Su B-Y, Trippel C, Yang J, Rabbat M, Lucia B, Wu C-J