Microsoft Research Cambridge

Ian A. Kash, Michael Sullins, Katja Hofmann

2020 Adaptive Agents and Multi-Agents Systems | May 2020

Project

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

Caitlin Lustig, Sean Rintel, Liane Scult, Siddharth Suri

CSCW2020 | May 2020

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

Don Syme

May 2020

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

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

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

Mining Software Repositories | April 2020

Project

Rushil Khurana, Steve Hodges

CHI 2020 | April 2020

Best paper

Video Project

Yogesh Kumar Meena, Niels Henze, Xing-Dong Yang, Steve Hodges, Markus Löchtefeld, Matt Jones, Matt Carnie, Nivedita Arora, Gregory D. Abowd

CHI 2020 | April 2020