Publication Machine Learning in Mental Health: A Systematic Review of the HCI Literature to Support Effective ML System Design Anja Thieme, Danielle Belgrave, Gavin Doherty ACM Transactions on Computer-Human Interaction (TOCHI) | August 2020, Vol 27(5) Project
Publication Diagnostic Questions: The NeurIPS 2020 Education Challenge Zichao Wang, Angus Lamb, Evgeny Saveliev, Pashmina Cameron, Yordan Zaykov, Jose Miguel Hernandez Lobato, Richard Turner, Richard Baraniuk, Craig Barton, Simon Peyton Jones, Simon Woodhead, Cheng Zhang July 2020 July 2020 Project
Publication Understanding and Inferring Units in Spreadsheets Jack Williams, Carina Negreanu, Andy Gordon, Advait Sarkar IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) | July 2020 Project
Publication Could cloud storage be disrupted in the next decade? Andromachi Chatzieleftheriou, Ioan Stefanovici, Dushyanth Narayanan, Benn Thomsen, Ant Rowstron 12th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 20) | July 2020 Project Project
Publication Excello: exploring spreadsheets for music composition Henry Mattinson, Advait Sarkar July 2020 advait.org | July 2020
Publication Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel 12th Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) | July 2020 Project
Publication Alleviating Privacy Attacks via Causal Learning Shruti Tople, Amit Sharma, Aditya V. Nori International Conference on Machine Learning (ICML) | July 2020 Github Project Project
Publication A Machine Learning Approach to Understanding Patterns of Engagement With Internet-Delivered Mental Health Interventions. Isabel Chien, Angel Enrique, Jorge Palacios, Tim Regan, Dessie Keegan, David Carter, Sebastian Tschiatschek, Aditya Nori, Anja Thieme, Derek Richards, Gavin Doherty, Danielle Belgrave JAMA Network | June 2020, Vol 3(7) Project
Publication Typilus: Neural Type Hints Miltos Allamanis, Earl T. Barr, Soline Ducousso, Zheng Gao 2020 Programming Language Design and Implementation | June 2020 Project
Publication Domain-specific programming languages for computational nucleic acid systems Matthew R. Lakin, Andrew Phillips ACS Synthetic Biology | June 2020, Vol 9(7): pp. 1499-1513 Project Project
Research
Research