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
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 Variational Integrator Networks for Physically Meaningful Embeddings Steindór Sæmundsson, Alexander Terenin, Katja Hofmann, Marc Peter Deisenroth Twenty-Third International Conference on Artificial Intelligence and Statistics (AISTATS) | June 2020 Project
