Microsoft Research Cambridge

Adam Ścibior, Zoubin Ghahramani, Andy Gordon

Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell | September 2015

Advait Sarkar, Mateja Jamnik, Alan F Blackwell, Martin Spott

IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) | September 2015

Project

Olya Ohrimenko, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma

MSR-TR-2015-70 | September 2015

Published by Microsoft

Project

Neil Dalchau, Niall Murphy, Rasmus Petersen, Boyan Yordanov

International Conference on DNA Computing and Molecular Programming | August 2015, Vol 9211

Project Project

Miltos Allamanis, Daniel Tarlow, Andy Gordon, Yi Wei

International Conference on Machine Learning | August 2015

Project

Bhaskar Mitra

Proceedings of the 38th international ACM SIGIR conference on Research & development in information retrieval | August 2015

Richard Fitzgerald, Sean Rintel

Discursive psychology: Classic and contemporary studies, 12 | 2015 | 1 edition

ISBN: 9781315863054

Adrian Kim, Kyomin Jung, Yongsub Lim, Daniel Tarlow, Pushmeet Kohli

Uncertainty in Artificial Intelligence Proceedings of the Thirty-First Conference, 2015 | July 2015

ISBN: 978-0-9966431-0-8

Computer Aided Verification (CAV) | July 2015

Danfeng Zhang, Andrew C Myers, Dimitrios Vytiniotis, Simon Peyton Jones

Programming Languages Design and Implementation (PLDI’15) | June 2015

PLDI Distinguished Paper Award