Publication HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms) Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin ACM Conference on Computer and Communications Security (CCS) | November 2020 Access Project
Publication Challenging the Stateless Quo of Programmable Switches Nadeen Gebara, Alberto Lerner, Mingran Yang, Minlan Yu, Paolo Costa, Manya Ghobadi ACM Workshop on Hot Topics in Networks (HotNets) | November 2020
Publication Designing AI Systems that make Organizational Knowledge Actionable Denise Wilkins, Siân Lindley, Max Meijer, Richard Banks, Britta Burlin Interactions | November 2020, Vol 27(6): pp. 72-75 Project
Publication Interpretation of morphogen gradients by a synthetic bistable circuit Paul Grant, Grisha Szep, Om Patange, Jacob Halatek, Valerie Coppard, Attila Csikasz-Nagy, Jim Haseloff, James C. W. Locke, Neil Dalchau, Andrew Phillips Nature Communications | November 2020, Vol 11(5545) Project Project
Publication Methodology and Participation for 2020 Diary Study of Microsoft Employees Experiences in Remote Meetings During COVID-19 Sean Rintel, Priscilla Wong, Advait Sarkar, Abigail Sellen 2020-10-FOW-SIM1 | October 2020 Published by Microsoft Research Project Project Project
Publication Turing Patterning in Stratified Domains Andrew L. Krause, Vaclav Klika, Jacob Halatek, Paul Grant, Thomas L. Woolley, Neil Dalchau, Eamonn A. Gaffney Bulletin of Mathematical Biology | October 2020, Vol 82(136) Project Project
Publication Wiki2row – the In’s and Out’s or Row Suggestion with a Large Scale Knowledge Base Alperen Karaoglu, Carina Negreanu, Shuang Chen, Jack Williams, Dany Fabian, Andy Gordon, Chin-Yew Lin October 2020 October 2020 Project
Publication The Role of Context in the Prediction of Acute Hypotension in Critical Care Niranjani Prasad, Konstantina Palla SAIL: Symposium on Artificial Intelligence for Learning Health Systems, 2020 | October 2020 Project
Publication “It’s Unwieldy and It Takes a Lot of Time.” Challenges and Opportunities for Creating Agents in Commercial Games Mikhail Jacob, Sam Devlin, Katja Hofmann 16th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment | October 2020 AIIDE 2020 BEST PAPER AWARD Best paper award winner. Project
Publication Everyday time travel: Temporal mobility and multitemporality with smartphones Roxana Morosanu Firth, Sean Rintel, Abigail Sellen Making Time for Digital Lives: Beyond Chronotopia, 6 | Published by Rowman & Littlefield | 2020 | 1 edition ISBN: 9781786612977
Research