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 Synchronous subnanosecond clock and data recovery for optically switched data centres using clock phase caching Kari A. Clark, Daniel Cletheroe, Thomas Gerard, Istvan Haller, Krzysztof Jozwik, Kai Shi, Benn Thomsen, Hugh Williams, Georgios Zervas, Hitesh Ballani, Polina Bayvel, Paolo Costa, Zhixin Liu Nature Electronics | 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