Microsoft Research Cambridge

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

Varun Jampani, Sebastian Nowozin, Matthew Loper, Peter V. Gehler

Computer Vision and Image Understanding | June 2015, Vol 136: pp. 32-44

Eric Koskinen, Matthew J. Parkinson

ACM SIGPLAN Notices | June 2015, Vol 50(6): pp. 186-195

Cecily Morrison, Marcus D'Souza, Kit Huckvale, Jonas F Dorn, Jessica Burggraaff, Christian Philipp Kamm, Saskia Marie Steinheimer, Peter Kontschieder, Antonio Criminisi, Bernard Uitdehaag, Frank Dahlke, Ludwig Kappos, Abigail Sellen

JMIR Hum Factors | June 2015

Edwin Simpson, Matteo Venanzi, Steven Reece, Pushmeet Kohli, John Guiver, Stephen J. Roberts, Nicholas R. Jennings

WWW ’15 Proceedings of the 24th International Conference on World Wide Web | May 2015

ISBN: 978-1-4503-3469-3

Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich

36th IEEE Symposium on Security and Privacy | May 2015

Project

Cecily Morrison, Marcus D'Souza, Kit Huckvale, Jonas F Dorn, Jessica Burggraaff, Christian Philipp Kamm, Saskia Marie Steinheimer, Peter Kontschieder, Antonio Criminisi, Bernard Uitdehaag, Frank Dahlke, Ludwig Kappos, Abigail Sellen

Journal of Medical Internet Research (Human Factors) | May 2015

Project

Rebecca D. Watkins, Abigail Sellen, Siân Lindley

33rd Annual ACM Conference on Human Factors in Computing Systems | April 2015

Project Project

Helena Mentis, Kenton O'Hara, Gerardo Gonzalez, Abigail Sellen, Robert Corish, Antonio Criminisi, Rikin Trivedi, Pierre Theodore

2015 Human Factors in Computing Systems | April 2015