Conference Explicit near-fully X-Ramanujan graphs 2020 • Annual Symposium on Foundations of Computer Science • 1045-1056 O'Donnell R, Wu X
Preprint Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems 2020 Bayani D, Mitsch S
Preprint A wireless signal-based sensing framework for robotics 2020 Jadhav N, Wang W, Zhang D, Khatib O, Kumar S, Gil S
Conference An Extensible Multi-Sensor Fusion Framework for 3D Imaging 2020 • Conference on Computer Vision and Pattern Recognition Workshops IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Workshops • 4344-4353 Siddiqui TA, Madhok R, O'Toole M
Journal Article Monte Carlo Geometry Processing: A Grid-Free Approach to PDE-Based Methods on Volumetric Domains 2020 • ACM Transactions on Graphics • 39(4): Sawhney R, Crane K
Journal Article <i>k</i>-center Clustering under Perturbation Resilience 2020 • ACM Transactions on Algorithms (TALG) • 16(2): Balcan M-F, Haghtalab N, White C
Conference J-RECS: Principled and Scalable Recommendation Justification 2020 • Proceedings / IEEE International Conference on Data Mining. IEEE International Conference on Data Mining • 1208-1213 Park N, Kan A, Faloutsos C, Dong XL
Conference Arikan Meets Shannon: Polar Codes with Near-Optimal Convergence to Channel Capacity 2020 • Annual ACM Symposium on Theory of Computing • 552-564 Guruswami V, Riazanov A, Ye M
Conference Tradeoff-Focused Contrastive Explanation for MDP Planning 2020 • 2020 29TH IEEE INTERNATIONAL CONFERENCE ON ROBOT AND HUMAN INTERACTIVE COMMUNICATION (RO-MAN) • 1041-1048 Sukkerd R, Simmons R, Garlan D
Conference Full Duplex Radios: Are we there yet? 2020 • PROCEEDINGS OF THE 19TH ACM WORKSHOP ON HOT TOPICS IN NETWORKS, HOTNETS 2020 • 117-124 Singh V, Gadre A, Kumar S
Conference EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider 2020 • IEEE Symposium on Security and Privacy: Proceedings • 983-1002 Protzenko J, Parno B, Fromherz A, Hawblitzel C, Polubelova M, Bhargavan K, Beurdouche B, Choi J, Delignat-Lavaud A, Fournet C, Kulatova N, Ramananandro T, Rastogi A, Swamy N, Wintersteiger CM, Zanella-Beguelin S
Journal Article Introduction to the Special Issue on SODA’18 2020 • ACM Transactions on Algorithms (TALG) • 16(1):1-2 Woodruff D
Conference Optimal Deterministic Coresets for Ridge Regression 2020 • INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 108 • 108:4141-4149 Kacham P, Woodruff DP
Journal Article Approval Voting and Incentives in Crowdsourcing 2020 • ACM Transactions on Economics and Computation • 8(3):1-40 Shah NB, Zhou D
Book Preface 2020 • Lecture Notes in Computer Science • 12078 LNCS:vii-ix Biere A, Parker D, Heule M, Howar F, Beyer D, Hartmanns A, Seidl M
Journal Article IQ-MPM: An Interface Quadrature Material Point Method for Non-sticky Strongly Two-Way Coupled Nonlinear Solids and Fluids 2020 • ACM Transactions on Graphics • 39(4): Fang Y, Qu Z, Li M, Zhang X, Zhu Y, Aanjaneya M, Jiang C
Preprint Bridging Physics-based and Data-driven modeling for Learning Dynamical Systems 2020 Wang R, Maddix D, Faloutsos C, Wang Y, Yu R
Journal Article Sage: Parallel Semi-Asymmetric Graph Algorithms for NVRAMs 2020 • Proceedings of the VLDB Endowment • 13(9):1598-1613 Dhulipala L, McGuffey C, Kang H, Gu Y, Blelloch GE, Gibbons PB, Shun J
Preprint Stability for Two-class Multiserver-job Systems 2020 Grosof I, Harchol-Balter M, Scheller-Wolf A
Preprint Learning Compositional Radiance Fields of Dynamic Human Heads 2020 Wang Z, Bagautdinov T, Lombardi S, Simon T, Saragih J, Hodgins J, Zollhöfer M
Preprint Interpreting Interpretations: Organizing Attribution Methods by Criteria 2020 Wang Z, Mardziel P, Datta A, Fredrikson M
Preprint Conversational Neuro-Symbolic Commonsense Reasoning 2020 Arabshahi F, Lee J, Gawarecki M, Mazaitis K, Azaria A, Mitchell T
Journal Article Modelling cancer progression using Mutual Hazard Networks 2020 • Bioinformatics • 36(1):241-249 Schill R, Solbrig S, Wettig T, Spang R
Chapter A Note on Randomly Colored Matchings in Random Bipartite Graphs 2020 • Springer Optimization and Its Applications • 165:199-205 Frieze A
Preprint Certified Robustness to Label-Flipping Attacks via Randomized Smoothing 2020 Rosenfeld E, Winston E, Ravikumar P, Kolter JZ
Preprint Pegasus: Sound Continuous Invariant Generation 2020 Sogokon A, Mitsch S, Tan YK, Cordwell K, Platzer A
Journal Article A scalable approach to control diverse behaviors for physically simulated characters 2020 • ACM Transactions on Graphics • 39(4):33:1-33:12 Won J, Gopinath D, Hodgins J
Conference The case for energy-oriented partial desktop migration 2020 • 2nd USENIX Workshop on Hot Topics in Cloud Computing, HotCloud 2010 Bila N, de Lara E, Hiltunen M, Joshi K, Andrés Lagar-Cavilla H, Satyanarayanan M
Journal Article A Laplacian for Nonmanifold Triangle Meshes 2020 • Computer Graphics Forum • 39(5):69-80 Sharp N, Crane K
Conference Large-scale incremental data processing with change propagation 2020 • 3rd USENIX Workshop on Hot Topics in Cloud Computing, HotCloud 2011 Bhatotia P, Wieder A, Akkuş IE, Rodrigues R, Acar UA
Conference Learning piecewise Lipschitz functions in changing environments 2020 • INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 108 • 108: Balcan M-F, Dick T, Sharma D
Journal Article Temporal locality-aware sampling for accurate triangle counting in real graph streams 2020 • The VLDB journal • 29(6):1501-1525 Lee D, Shin K, Faloutsos C
Conference Autonomous Graph Mining Algorithm Search with Best Speed/Accuracy Trade-off 2020 • Proceedings / IEEE International Conference on Data Mining. IEEE International Conference on Data Mining • 751-760 Yoon M, Gervet T, Hooi B, Faloutsos C
Journal Article RAINBOW COLORING HARDNESS VIA LOW SENSITIVITY POLYMORPHISMS 2020 • SIAM Journal on Discrete Mathematics • 34(1):520-537 Guruswami V, Sandeep S
Conference A Behavioral Notion of Robustness for Software Systems 2020 • PROCEEDINGS OF THE 28TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '20) • 1-12 Zhang C, Garlan D, Kang E
Conference FAST IS BETTER THAN FREE: REVISITING ADVERSARIAL TRAINING 2020 • 8th International Conference on Learning Representations, ICLR 2020 Wong E, Rice L, Kolter JZ
Conference Learning-based Memory Allocation for C plus plus Server Workloads 2020 • International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS • 541-556 Maas M, Andersen DG, Isard M, Javanmard MM, McKinley KS, Raffel C
Journal Article Localization and Force-Feedback with Soft Magnetic Stickers for Precise Robot Manipulation 2020 • Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems • 8867-8874 Hellebrekers T, Zhang K, Veloso M, Kroemer O, Majidi C
Conference Armada: Low-Effort Verification of High-Performance Concurrent Programs 2020 • Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) • 197-210 Lorch JR, Chen Y, Kapritsos M, Parno B, Qadeer S, Sharma U, Wilcox JR, Zhao X
Conference Semi-axiomatic sequent calculus 2020 • Leibniz International Proceedings in Informatics • 167: DeYoung H, Pfenning F, Pruiksma K
Journal Article PacGAN: The Power of Two Samples in Generative Adversarial Networks 2020 • IEEE Journal on Selected Areas in Information Theory • 1(1):324-335 Lin Z, Khetan A, Fanti G, Oh S
Conference Two-Sample Testing on Pairwise Comparison Data and the Role of Modeling Assumptions 2020 • IEEE International Symposium on Information Theory - Proceedings • 1271-1276 Rastogi C, Balakrishnan S, Shah N, Singh A
Conference Extractors for Adversarial Sources via Extremal Hypergraphs 2020 • Annual ACM Symposium on Theory of Computing • 1184-1197 Chattopadhyay E, Goodman J, Goyal V, Li X
Conference Primal-dual 2-approximation algorithm for the monotonic multiple depot heterogeneous traveling salesman problem 2020 • Leibniz International Proceedings in Informatics • 162: Rathinam S, Ravi R, Bae J, Sundar K
Journal Article AnisoMPM: Animating Anisotropic Damage Mechanics 2020 • ACM Transactions on Graphics • 39(4): Wolper J, Chen Y, Li M, Fang Y, Qu Z, Lu J, Cheng M, Jiang C
Preprint J-Recs: Principled and Scalable Recommendation Justification 2020 Park N, Kan A, Faloutsos C, Dong XL
