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 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 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 Excello: exploring spreadsheets for music composition Henry Mattinson, Advait Sarkar July 2020
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 Orchard: Exploring Multivariate Heterogeneous Networks on Mobile Phones Philipp Eichmann, Darren Edge, Nathan Evans, Bongshin Lee, Matthew Brehmer, Chris White Computer Graphics Forum | June 2020 Video Project
Publication A1: A Distributed In-Memory Graph Database Knut Magne Risvik, Paul Brett, Miguel Castro, Wonhee Cho, Nikolas Gloy, Karthik Kalyanaraman, Joshua Cowhig, Richendra Khanna, John Pao, Matthew Renzelmann, Alex Shamis, Timothy Tan, Shuheng Zheng 2020 ACM SIGMOD International Conference on Management of Data | 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
