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
Journal Article Design and Control of Foam Hands for Dexterous Manipulation 2020 • International Journal of Humanoid Robotics • 17(1): Bauer D, Bauer C, King JP, Moro D, Chang K-H, Coros S, Pollard NS
Conference The Coin Problem with Applications to Data Streams 2020 • Annual Symposium on Foundations of Computer Science • 00:318-329 Braverman M, Garg S, Woodruff DP
Chapter Round Optimal Secure Multiparty Computation from Minimal Assumptions 2020 • Lecture Notes in Computer Science • 12551:291-319 Choudhuri AR, Ciampi M, Goyal V, Jain A, Ostrovsky R
Conference Automated diagnosis without predictability is a recipe for failure 2020 • 4th USENIX Workshop on Hot Topics in Cloud Computing, HotCloud 2012 Sambasivan RR, Ganger GR
Conference Automated diagnosis without predictability is a recipe for failure 2020 • 4th USENIX Workshop on Hot Topics in Cloud Computing, HotCloud 2012 Sambasivan RR, Ganger GR
Journal Article Constructing Minimal Perfect Hash Functions Using SAT Technology 2020 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 34:1668-1675 Weaver SA, Heule MJH
Journal Article Optimal Parallel Algorithms in the Binary-Forking Model 2020 • PROCEEDINGS OF THE 32ND ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES (SPAA '20) • 89-102 Blelloch GE, Fineman JT, Gu Y, Sun Y
Conference The Graph Based Benchmark Suite (GBBS) 2020 1-8 Dhulipala L, Shi J, Tseng T, Blelloch GE, Shun J
Preprint TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling 2020 Mendes P, Casimiro M, Romano P, Garlan D
Preprint Session Types with Arithmetic Refinements and Their Application to Work Analysis 2020 Das A, Pfenning F
Conference Optimal Resource Allocation for Elastic and Inelastic Jobs 2020 • PROCEEDINGS OF THE 32ND ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES (SPAA '20) • 75-87 Berg B, Harchol-Balter M, Moseley B, Wang W, Whitehouse J
Journal Article Separating Effect FromSignificance in Markov Chain Tests 2020 • Statistics and Public Policy • 7(1):101-114 Chikina M, Frieze A, Mattingly JC, Pegden W
Journal Article A note on spanning Kr-cycles in random graphs 2020 • AIMS Mathematics • 5(5):4849-4852 Frieze A
Preprint Improving Policy-Constrained Kidney Exchange via Pre-Screening 2020 McElfresh DC, Curry M, Sandholm T, Dickerson JP
Conference Predicting Drug Sensitivity of Cancer Cell Lines via Collaborative Filtering with Contextual Attention 2020 • MACHINE LEARNING FOR HEALTHCARE CONFERENCE, VOL 126 • 126:660-683 Taoy Y, Ren S, Ding MQ, Schwartz R, Lu X
Conference The Online Submodular Cover Problem 2020 • PROCEEDINGS OF THE THIRTY-FIRST ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS (SODA'20) • 1525-1537 Gupta A, Levin R
Conference X-Ramanujan graphs 2020 • Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms • 2020-January:1226-1243 Mohanty S, O'Donnell R
Preprint LSF-Join: Locality Sensitive Filtering for Distributed All-Pairs Set Similarity Under Skew 2020 Rashtchian C, Sharma A, Woodruff DP
Journal Article Mainlining Databases: Supporting Fast Transactional Workloads on Universal Columnar Data File Formats 2020 • Proceedings of the VLDB Endowment • 14(4):534-546 Li T, Butrovich M, Ngom A, Lim WS, McKinney W, Pavlo A
Preprint World of Code: Enabling a Research Workflow for Mining and Analyzing the Universe of Open Source VCS data 2020 Ma Y, Dey T, Bogart C, Amreen S, Valiev M, Tutko A, Kennard D, Zaretzki R, Mockus A
Journal Article Fair Division with Binary Valuations: One Rule to Rule Them All 2020 • Lecture Notes in Computer Science • 12495:370-383 Halpern D, Procaccia AD, Psomas A, Shah N
Conference Sparsified linear programming for zero-sum equilibrium finding 2020 • 37th International Conference on Machine Learning Icml 2020 • PartF168147-15:11192-11203 Zhang BH, Sandholm T
Journal Article Online Convex Optimization Perspective for Learning from Dynamically Revealed Preferences. 2020 • CoRR • abs/2008.10460: Chen VX, Kilinç-Karzan F
Journal Article Edge Computing for Legacy Applications 2020 • IEEE pervasive computing • 19(4):19-28 Satyanarayanan M, Eiszler T, Harkes J, Turki H, Feng Z
Journal Article First-order Gradual Information Flow Types with Gradual Guarantees 2020 Bichhawat A, McCall M, Jia L
Conference Higher-Order Label Homogeneity and Spreading in Graphs 2020 • WEB CONFERENCE 2020: PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE (WWW 2020) • 2493-2499 Eswaran D, Kumar S, Faloutsos C
Conference P-Companion: A Principled Framework for Diversified Complementary Product Recommendation 2020 • CIKM '20: PROCEEDINGS OF THE 29TH ACM INTERNATIONAL CONFERENCE ON INFORMATION & KNOWLEDGE MANAGEMENT • 2517-2524 Hao J, Zhao T, Li J, Dong XL, Faloutsos C, Sun Y, Wang W
Conference JELLY BEAN WORLD: A TESTBED FOR NEVER-ENDING LEARNING 2020 • 8th International Conference on Learning Representations Iclr 2020 Platanios EA, Saparov A, Mitchell T
Conference TARDISTM: Incremental Repair for Transactional Memory 2020 • PROCEEDINGS OF THE ELEVENTH INTERNATIONAL WORKSHOP ON PROGRAMMING MODELS AND APPLICATIONS FOR MULTICORES AND MANYCORES, PMAM 2020 • 21-30 Chen DD, Gibbons PB, Mowry TC
Conference Towards an architecture for trusted edge IoT security gateways 2020 • Hotedge 2020 3rd Usenix Workshop on Hot Topics in Edge Computing McCormack M, Vasudevan A, Liu G, Echeverría S, O'Meara K, Lewis G, Sekar V
Conference Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots 2020 • ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems • 125-136 Camara J, Schmerl B, Garlan D