Microsoft Research Cambridge

Steindór Sæmundsson, Alexander Terenin, Katja Hofmann, Marc Peter Deisenroth

Twenty-Third International Conference on Artificial Intelligence and Statistics (AISTATS) | June 2020

Project

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

Ian A. Kash, Michael Sullins, Katja Hofmann

2020 Adaptive Agents and Multi-Agents Systems | May 2020

Project

Caitlin Lustig, Sean Rintel, Liane Scult, Siddharth Suri

CSCW2020 | May 2020

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin

IEEE Symposium on Security and Privacy | May 2020

Video Access Github Project

Jens Emil Grønbæk, Mille Skovhus Knudsen, Kenton O'Hara, Peter Gall Krogh, Jo Vermeulen, Marianne Graves Petersen

CHI 2020 | May 2020

Aristide Tossou, Christos Dimitrakakis, Jaroslaw Rzepecki, Katja Hofmann

International Conference on Autonomous Agents and Multiagent Systems (AAMAS) | May 2020

Project

Nathaniel Filardo, Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin, David Chisnall, Jessica Clarke, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Alfredo Mazzinghi, Robert Norton, Michael Roe, Peter Sewell, Stacey Son, Timothy M. Jones, Simon Moore, Peter G. Neumann, Robert N. M. Watson

IEEE Symposium on Security and Privacy | May 2020

Project

Don Syme

May 2020

The F# Language is a co-operation between the F# Community including contributors from Microsoft, Microsoft Research and Github.

Alexey Svyatkovskiy, Sebastian Lee, Anna Hadjitofi, Maik Riechert, Juliana Vicente Franco, Miltos Allamanis

Mining Software Repositories | April 2020

Project