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 End-to-End Continual Rare-Class Recognition with Emerging Novel Subclasses 2020 • ACM Transactions on Knowledge Discovery from Data • 14(5): Hung N, Wang X, Akoglu L
Conference OSPREY: A mmWave Approach to Tire Wear Sensing 2020 • GetMobile • 24(4):28-32 Prabhakara A, Singh V, Kumar S, Rowe AG
Conference Non-adaptive Adaptive Sampling on Turnstile Streams 2020 • Annual ACM Symposium on Theory of Computing • 1251-1264 Mahabadi S, Razenshteyn I, Woodruff DP, Zhou S
Conference Vector-matrix-vector queries for solving linear algebra, statistics, and graph problems 2020 • Leibniz International Proceedings in Informatics • 176: Rashtchian C, Woodruff DP, Zhu H
Conference WOR and p’s: Sketches for l<inf>p</inf>-sampling without replacement 2020 • Advances in Neural Information Processing Systems • 2020-December: Cohen E, Pagh R, Woodruff DP
Conference Pseudo-deterministic streaming 2020 • Leibniz International Proceedings in Informatics • 151: Goldwasser S, Grossman O, Mohanty S, 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
Preprint Towards Bridging the Gap between Control and Self-Adaptive System Properties 2020 Cámara J, Papadopoulos AV, Vogel T, Weyns D, Garlan D, Huang S, Tei K
Preprint Batteries, camera, action! Learning a semantic control space for expressive robot cinematography 2020 Bonatti R, Bucker A, Scherer S, Mukadam M, Hodgins J
Journal Article Rate-Distance Trade-offs for List-Decodable Insertion-Deletion Codes 2020 Haeupler B, Shahrasbi A
Preprint We Don't Speak the Same Language: Interpreting Polarization through Machine Translation 2020 KhudaBukhsh AR, Sarkar R, Kamlet MS, Mitchell TM
Preprint Sketchy With a Chance of Adoption: Can Sketch-Based Telemetry Be Ready for Prime Time? 2020 Liu Z, Namkung H, Agarwal A, Manousis A, Steenkiste P, Seshan S, Sekar V
Journal Article Simple Near-Optimal Scheduling for the M/G/1 2020 • Proceedings of the ACM on Measurement and Analysis of Computing Systems • 4(1): Scully Z, Harchol-Balter M, Scheller-Wolf A
Journal Article Hamilton cycles in random graphs with minimum degree at least 3: An improved analysis 2020 • Random structures & algorithms (Print) • 57(4):865-878 Anastos M, Frieze A
Preprint Finding and Certifying (Near-)Optimal Strategies in Black-Box Extensive-Form Games 2020 Zhang BH, Sandholm T
Conference Stochastic Makespan Minimization in Structured Set Systems (Extended Abstract) 2020 • Lecture Notes in Computer Science • 12125:158-170 Gupta A, Kumar A, Nagarajan V, Shen X
Conference Explicit near-Ramanujan graphs of every degree 2020 • Annual ACM Symposium on Theory of Computing • 510-523 Mohanty S, O'Donnell R, Paredes P
Preprint Approximation Algorithms for Sparse Principal Component Analysis 2020 Chowdhury A, Drineas P, Woodruff DP, Zhou S
Journal Article ALFAA: Active Learning Fingerprint based Anti-Aliasing for correcting developer identity errors in version control systems 2020 • Empirical Software Engineering • 25(2):1136-1167 Amreen S, Mockus A, Zaretzki R, Bogart C, Zhang Y
Conference Polynomial-time computation of optimal correlated equilibria in two-player extensive-form games with public chance moves and beyond 2020 • Advances in Neural Information Processing Systems • 2020-December: Farina G, Sandholm T
Conference Analyzing Student Strategies In Blended Courses Using Clickstream Data 2020 • Proceedings of the 13th International Conference on Educational Data Mining, EDM 2020 • 6-17 Akpinar NJ, Ramdas A, Acar U
Preprint Logical Relations as Types: Proof-Relevant Parametricity for Program Modules 2020 Sterling J, Harper R
Conference The case for energy-oriented partial desktop migration 2020 • 2nd USENIX Workshop on Hot Topics in Cloud Computing, HotCloud 2010 Satyanarayanan M
Conference Computational time-resolved imaging, single-photon sensing, and non-line-of-sight imaging 2020 1-119 Lindell DB, O'Toole M, Narasimhan S, Raskar R
Journal Article Automating Compositional Analysis of Authentication Protocols 2020 • 2020 Formal Methods in Computer Aided Design (FMCAD) • 00:113-118 Zhang Z, de Amorim AA, Jia L, Păsăreanu CS
Conference LEARNING TO LINK 2020 • 8th International Conference on Learning Representations, ICLR 2020 Balcan MF, Dick T, Lang M
Conference Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models 2020 • Proceedings of the conference. Association for Computational Linguistics. Meeting • 4748-4757 Lu K, Mardziel P, Leino K, Fredrikson M, Datta A
Journal Article An Improved Bound on the Zero-Error List-Decoding Capacity of the 4/3 Channel 2020 • IEEE Transactions on Information Theory • 66(2):749-756 Dalai M, Guruswami V, Radhakrishnan J
Journal Article AC-DC: Amplification Curve Diagnostics for Covid-19 Group Testing 2020 Gabrys R, Pattabiraman S, Rana V, Ribeiro J, Cheraghchi M, Guruswami V, Milenkovic O
Conference CMU CS Academy: A Browser-based, Text-based Introduction to Programming through Graphics and Animations in Python 2020 1420-1420 Stehlik M, Cawley E, Kosbie D
Conference Analyzing Third Party Service Dependencies in Modern Web Services: Have We Learned from the Mirai-Dyn Incident? 2020 • PROCEEDINGS OF THE 2020 ACM INTERNET MEASUREMENT CONFERENCE, IMC 2020 • 634-647 Kashaf A, Sekar V, Agarwal Y
Conference Model-Based Analysis of Microservice Resiliency Patterns 2020 • IEEE 17TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2020) • 114-124 Mendonca NC, Aderaldo CM, Camara J, Garlan D
Conference Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems 2020 • 2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS (ACSOS 2020) • 195-204 Li N, Camara J, Garlan D, Schmerl B
Journal Article Myths and mythconceptions: what does it mean to be a programming language, anyhow? 2020 • Proceedings of the ACM on Programming Languages • 4(HOPL):1-44 Shaw M
Conference Fast Software Cache Design for Network Appliances 2020 • PROCEEDINGS OF THE 2020 USENIX ANNUAL TECHNICAL CONFERENCE • 657-671 Zhou D, Yu H, Kaminsky M, Andersen DG
Conference Open cirrus<sup>TM</sup> cloud computing testbed: Federated data centers for open source systems and services research 2020 • Workshop on Hot Topics in Cloud Computing, HotCloud 2009 Campbell R, Gupta I, Heath M, Ko SY, Kozuch M, Kunze M, Kwan T, Lai K, Lee HY, Lyons M, Milojicic D, O'Hallaron D, Soh YC
Conference Beyond homophily in graph neural networks: Current limitations and effective designs 2020 • Advances in Neural Information Processing Systems • 2020-December: Zhu J, Yan Y, Zhao L, Heimann M, Akoglu L, Koutra D
Conference Playing games in the dark: An approach for cross-modality transfer in reinforcement learning 2020 • Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS • 2020-May:1260-1268 Silva R, Vasco M, Melo FS, Paiva A, Veloso M
