Conference Contextual Parameter Generation for Knowledge Graph Link Prediction 2020 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 34:3000-3008 Stoica G, Stretcu O, Platanios EA, Mitchell TM, Poczos B
Chapter A Rest Stop on the Unending Road to Provable Security 2020 • Lecture Notes in Computer Science • 12287:223-232 Gligor VD
Conference Creating opportunities for transactive exchange for learning in performance-oriented team projects 2020 • Computer-Supported Collaborative Learning Conference, CSCL • 3:1719-1720 Sankaranarayanan S, Kandimalla SR, Hasan S, An H, Bogart C, Charles Murray R, Hilton M, Sakr M, Rosé C
Journal Article Efficient semidefinite-programming-based inference for binary and multi-class MRFs 2020 • Advances in Neural Information Processing Systems • 2020-December: Pabbaraju C, Wang PW, Kolter JZ
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
Preprint Geometry-Aware Gradient Algorithms for Neural Architecture Search 2020 Li L, Khodak M, Balcan M-F, Talwalkar A
Conference Simple Near-Optimal Scheduling for the M/G/1 2020 • Performance Evaluation Review • 37-38 Scully Z, Harchol-Balter M, Scheller-Wolf A
Journal Article RANDOM GRAPHS WITH A FIXED MAXIMUM DEGREE 2020 • SIAM Journal on Discrete Mathematics • 34(1):53-61 Frieze AM, Tkocz T
Journal Article Robust and accurate deconvolution of tumor populations uncovers evolutionary mechanisms of breast cancer metastasis 2020 • Bioinformatics • 36:407-416 Tao Y, Lei H, Fu X, Lee AV, Ma J, Schwartz R
Preprint Combining Differentiable PDE Solvers and Graph Neural Networks for Fluid Flow Prediction 2020 Belbute-Peres FDA, Economon TD, Kolter JZ
Conference Robust algorithms for the secretary problem 2020 • Leibniz International Proceedings in Informatics • 151: Bradac D, Gupta A, Singla S, Zuzic G
Journal Article Editorial from the New Editor-in-Chief 2020 • ACM Transactions on Computation Theory • 12(1):1-1 O'Donnell R
Preprint A Framework for Adversarially Robust Streaming Algorithms 2020 Ben-Eliezer O, Jayaram R, Woodruff DP, Yogev E
Journal Article Taurus: Lightweight Parallel Logging for In-Memory Database Management Systems 2020 • Proceedings of the VLDB Endowment • 14(2):189-201 Xia Y, Yu X, Pavlo A, Devadas S
Conference Small Nash Equilibrium Certificates in Very Large Games 2020 • Advances in Neural Information Processing Systems • 33: Zhang BH, Sandholm T
Conference Efficient non-line-of-sight imaging with computational single-photon imaging 2020 • Proceedings of SPIE • 11386:113860c-113860c-8 Lindell DB, O'Toole M, Wetzstein G
Journal Article Towards a Forma Foundation of Intermittent Computing 2020 • Proceedings of the ACM on Programming Languages • 4: Surbatovich M, Lucia B, Jia L
Conference On the Generation of Disassembly Ground Truth and the Evaluation of Disassemblers 2020 • PROCEEDINGS OF THE 2020 ACM WORKSHOP ON FORMING AN ECOSYSTEM AROUND SOFTWARE TRANSFORMATION, FEAST 2020 • 9-14 Li K, Woo M, Jia L
Conference Avoiding HeART attacks in storage clusters with disk-adaptive redundancy 2020 • PROCEEDINGS OF THE 14TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION (OSDI '20) • 369-385 Kadekodi S, Maturana F, Subramanya SJ, Yang J, Rashmi KV, Ganger GR
Journal Article Program Equivalence for Assisted Grading of Functional Programs 2020 • Proceedings of the ACM on Programming Languages • 4: Clune J, Ramamurthy V, Martins R, Acar UA
Journal Article Learning Fair Representations for Kernel Models 2020 • INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 108 • 108: Tan Z, Yeom S, Fredrikson M, Talwalkar A
Conference Learning Fair Representations for Kernel Models 2020 • Proceedings of Machine Learning Research • 108:155-166 Tan Z, Yeom S, Fredrikson M, Talwalkar A
Journal Article THE POWER OF THE COMBINED BASIC LINEAR PROGRAMMING AND AFFINE RELAXATION FOR PROMISE CONSTRAINT SATISFACTION PROBLEMS 2020 • SIAM journal on computing (Print) • 49(6):1232-1248 Brakensiek J, Guruswami V, Wrochna M, Zivny S
Conference Merging knowledge bases in different languages 2020 • Proceedings of Textgraphs@acl 2017 the 11th Workshop on Graph Based Methods for Natural Language Processing • 21-29 Hernández-González J, Hruschka ER, Mitchell TM
Journal Article When is deep learning the best approach to knowledge tracing? 2020 • Journal of Educational Data Mining • 12(3):31-54 Gervet T, Koedinger K, Schneider J, Mitchell T
Chapter A Rest Stop on the Unending Road to Provable Security (Transcript of Discussion) 2020 • Lecture Notes in Computer Science • 12287:233-241 Gligor VD
Journal Article Towards Bridging the Gap between Control and Self-Adaptive System Properties 2020 • ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems • 78-84 Camara J, Papadopoulos AV, Vogel T, Weyns D, Garlan D, Huang S, Tei K
Conference How do you Architect your Robots? State of the Practice and Guidelines for ROS-based Systems 2020 • Proceedings - International Conference on Software Engineering • 31-40 Malavolta I, Lewis G, Schmerl B, Lago P, Garlan D
Journal Article Deep archimedean copulas 2020 • Advances in Neural Information Processing Systems • 2020-December: Ling CK, Fang F, Kolter JZ
Conference Frequency Configuration for Low-Power Wide-Area Networks in a Heartbeat 2020 • PROCEEDINGS OF THE 17TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION • 339-352 Gadre A, Narayanan R, Luong A, Rowe A, Iannucci B, Kumar S
Conference Talek: Private Group Messaging with Hidden Access Patterns 2020 • Proceedings - Annual Computer Security Applications Conference, ACSAC • 84-99 Cheng R, Scott W, Masserova E, Zhang I, Goyal V, Anderson T, Krishnamurthy A, Parno B