Microsoft Research Cambridge

Matthew Clarke, Steven Woodhouse, Nir Piterman, Benjamin Hall, Jasmin Fisher

Automated Reasoning for Systems Biology and Medicine, in press | October 2018

Carlo Spaccasassi, Matthew R. Lakin, Andrew Phillips

ACS Synthetic Biology | October 2018

Project Project

Advait Sarkar, Andy Gordon, Simon Peyton Jones, Neil Toronto

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

Project

Lee Stearns, Anja Thieme

ASSETS 2018 | October 2018

Project

Ian Kash, Greg O'Shea, Stavros Volos

2018 ACM Symposium on Cloud Computing | October 2018

Stavros Volos, Kapil Vaswani, Rordigo Bruno

13th USENIX Symposium on Operating Systems Design and Implementation | October 2018

Project

Steve Hodges, James Scott, Nicholas Chen, Stuart Taylor, John Helmes, Phil Wright, Laura Walker, Nick Trim, Tobias Grosse-Puppendahl, Pascal Knierim, Gavin Wood, Thomas Denney

UbiComp 2018: Extended Abstracts | October 2018

Video

John Helmes, Stuart Taylor, Steve Hodges, Chris Lovett

UbiComp 2018: Extended Abstracts | October 2018

Video

Hongyan Xia, Jonathan Woodruff, Hadrien Barral, Lawrence Esswood, Alexandre Joannou, Robert Kovacsics, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. Neumann, Alex Richardson, Simon W. Moore, Robert N. M. Watson

Proceedings of the 2018 IEEE 36th International Conference on Computer Design (ICCD) | October 2018

Project

Yiyu Xiang, Neil Dalchau, Baojun Wang

Natural Computing | October 2018

Project