Microsoft Research Lab - Cambridge

Cambridge, UK, was the clear choice for the first lab established outside of the United States, due to its rich history as a centre of higher learning and growing global impact as a leading high-tech hub. From a beginning of just three researchers in 1997, to over 130 researchers and engineers today, the lab has established itself as a highly credible academic partner and flowing pipeline of technology transfers into the Microsoft business.

The freedom of enquiry enabled by Microsoft’s approach to basic and applied research, coupled with the diversity of researchers and engineers in the Cambridge lab – ranging from sociologists, mathematicians, computer scientists, biological scientists and interaction designers – has produced contributions to some of Microsoft’s most successful products and services.

We are excited to be part of a company that is unreservedly committed to pushing the boundaries of what is possible, in order to create innovative solutions and break-through ideas that will empower every person and every organisation on the planet to achieve more.

Exploring the Design Space for Energy-Harvesting Situated Displays

Tobias Grosse-Puppendahl, Steve Hodges, Nicholas Chen, John Helmes, Stuart Taylor, James Scott, Josh Fromm, David Sweeney, ACM, October 16, 2016, View abstract

A Method to Identify and Analyze Biological Programs through Automated Reasoning

Boyan Yordanov, Sara-Jane Dunn, Hillel Kugler, Austin Smith, Graziano Martello, Stephen Emmott, July 7, 2016, View abstract

Combined Changes in Wnt Signalling Response and Contact Inhibition Induce Altered Proliferation in Radiation Treated Intestinal Crypts

Sara-Jane Dunn, James M. Osborne, Inke S. Nathke, April 6, 2016, View abstract

Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis

Peter Backeman, Sara-Jane Dunn, Boyan Yordanov, Christoph M. Wintersteiger, Sara-Jane Dunn, Boyan Yordanov, Christoph M. Wintersteiger, in SMT 2016, July 1, 2016, View abstract

How computational models contribute to our understanding of the germ line

Kathryn Atwell, Sara-Jane Dunn, James M. Osborne, Hillel Kugler, E. Jane Albert Hubbard, September 13, 2016, View abstract

BTR: training asynchronous Boolean models using single-cell expression data

Chee Yee Lim, Huange Wang, Steven Woodhouse, Nir Piterman, Lorenz Wernisch, Jasmin Fisher, Berthold Göttgens, September 6, 2016, View abstract

Experimental and causal view on information integration in autonomous agents

Philipp Geiger, Katja Hofmann, Bernhard Schölkopf, August 30, 2016, View abstract

ThermalSense: Determining Dynamic Thermal Comfort Preferences using Thermographic Imaging

Juhi Ranjan, James Scott, ACM, September 12, 2016, View abstract

Bodytracking in Healthcare

Kenton O'Hara, Abigail Sellen, Cecily Morrison, N. Berthouze, C. Craig, Morgan & Claypool, January 1, 2016, View abstract

Decoding the regulatory network of early blood development from single-cell gene expression measurements

Nature Publishing Group, February 9, 2016, View abstract

Synthesizing Signaling Pathways from Temporal Phosphoproteomic Data

Koksal A., Gitter A., Beck K., McKenna A., Srivastava S., Bodik R., Wolf-Yadlin A., Fraenkel E., Jasmin Fisher, in review, September 1, 2016, View abstract

Typed reflection in Haskell

Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis, in Proc Philip Wadler's 60th birthday Festschrift, Edinburgh, April 2016, April 1, 2016, View abstract

Desugaring Haskell’s do-notation Into Applicative Operations

Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov, in ICFP 2016, September 22, 2016, View abstract

Pattern Synonyms

Matthew Pickering, Gerg˝o Érdi, Simon Peyton Jones, Richard A. Eisenberg, in Haskell’16, September 22-23, 2016, September 22, 2016, View abstract

Time-Sensitive Bayesian Information Aggregation for Crowdsourcing Systems

John Guiver, Pushmeet Kohli, Matteo Venanzi, Nicholas R. Jennings, in Journal of Artificial Intelligence Research, AI Access Foundation, July 22, 2016, View abstract

Polylogarithmic-Time Leader Election in Population Protocols

Dan Alistarh, Rati Gelashvili, Springer, July 23, 2016, View abstract

Oblivious Multi-Party Machine Learning on Trusted Processors

Olya Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa, in The 25th USENIX Security Symposium 2016, USENIX, July 13, 2016, View abstract

The Malmo Platform for Artificial Intelligence Experimentation

Matthew Johnson, Katja Hofmann, Tm Hutton, David Bignell, in 25th International Joint Conference on Artificial Intelligence (IJCAI-16), AAAI - Association for the Advancement of Artificial Intelligence, July 12, 2016, View abstract

Inferring Perceived Demographics from User Emotional Tone and User-Environment Emotional Contrast

Svitlana Volkova, Yoram Bachrach, in ACL 2016, ACL, July 6, 2016, View abstract

Training Deep Neural Nets to Aggregate Crowdsourced Responses

Alex Gaunt, Diana Borsa, Yoram Bachrach, in UAI 2016, UAI, July 6, 2016, View abstract

Predicting Personal Traits from Facial Images using Convolutional Neural Networks Augmented with Facial Landmark Information

Yoad Lewenberg, Yoram Bachrach, Sukrit Shankar, Antonio Criminisi, July 6, 2016, View abstract

A Characterization of Voting Power for Discrete Weight Distributions

Yoram Bachrach, Yuval Filmus, Joel Oren, Yair Zick, in IJCAI 2016, IJCAI, July 6, 2016, View abstract

Misrepresentation in District Voting

Yoram Bachrach, Omer Lev, Yoad Lewenberg, Yair Zick, in IJCAI 2016, IJCAI, July 6, 2016, View abstract

Predicting Gaming Related Properties from Twitter Profiles

Alfredo Kalaitzis, Maria Ivanova Gorinova, Yoad Lewenberg, Yoram Bachrach, Michael Fagan, Dean Carignan, Nitin Gautam, in IEEE BigDataService 2016, IEEE, July 6, 2016, View abstract

Mining User Interests to Predict Perceived Psycho-Demographic Traits on Twitter

Svitlana Volkova, Benjamin Van Durme, in IEEE Big Data Service 2016, IEEE, July 6, 2016, View abstract

Svitlana Volkova, Benjamin Van Durme, in IEEE BigDataService 2016, IEEE, July 6, 2016, View abstract

A Proposal for Evaluating Answer Distillation from Web Data

Bhaskar Mitra, Grady Simon, Jianfeng Gao, Nick Craswell, Li Deng, in 2016, Proceedings of the Second WebQA Workshop (SIGIR 2016), July 5, 2016, View abstract

Fusion4D: Real-time Performance Capture of Challenging Scenes

Yury Degtyarev, Philip Davidson, Sean Fanello, Adarsh Kowdle, Sergio Orts Escolano, Christoph Rhemann, David Kim, Jonathan Taylor, Mingsong Dou, Sameh Khamis, Pushmeet Kohli, Vladimir Tankovich, Shahram Izadi, SIGGRAPH, July 1, 2016, View abstract

IQ-Hopping: Distributed Oblivious Channel Selection for Wireless Networks

Apurv Bhartia, Deeparnab Chakrabarty, Krishna Kant Chintalapudi, Lili Qiu, Bozidar Radunovic, Ramachandran Ramjee, Krishna Chintalapudi, ACM – Association for Computing Machinery, July 1, 2016, View abstract

Predicting Personal Traits from Facial Images using Convolutional Neural Networks Augmented with Facial Landmark Information

Y. Lewenberg, Y. Bachrach, S. Shankar, A. Criminisi, Antonio Criminisi, in Intl Joint Conference on Artifical Intelligence (IJCAI), July 1, 2016, View abstract

The Malmo Platform for Artificial Intelligence Experimentation

Katja Hofmann, Tim Hutton, David Bignell, Matthew Johnson, in 25th International Joint Conference on Artificial Intelligence (IJCAI-16), AAAI - Association for the Advancement of Artificial Intelligence, July 1, 2016, View abstract

Fits Like a Glove: Rapid and Reliable Hand Shape Personalization

David Joseph Tan, Tom Cashman, Jonathan Taylor, Andrew Fitzgibbon, Daniel Tarlow, Sameh Khamis, Shahram Izadi, Jamie Shotton, in IEEE Conference on Computer Vision and Pattern Recognition, June 23, 2016, View abstract

Online Evaluation for Information Retrieval

Katja Hofmann, Lihong Li, Filip Radlinski, in Foundations and Trends® in Information Retrieval, Now Publishers, June 22, 2016, View abstract

Machine Learning for Medical Image Analysis

Antonio Criminisi, in Medical Image Analysis (MedIA) - 20th anniversary special edition, Elsevier, June 22, 2016, View abstract

Subversive-C: Abusing and Protecting Dynamic Message Dispatch

Julian Lettner, Benjamin Kollenda, Andrei Homescu, Per Larsen, Felix Schuster, Lucas Davi, Ahmad-Reza Sadeghi, Thorsten Holz, Michael Franz, in 2016 USENIX Annual Technical Conference (USENIX ATC 16), USENIX Association, June 22, 2016, View abstract

Feeding the Pelican: Using Archival Hard Drives for Cold Storage Racks

Richard Black, Austin Donnelly, Dave Harper, Aaron Ogus, Antony "Ant" Rowstron, in 8th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 16), USENIX Association, June 20, 2016, View abstract

Bayesian Time-of-Flight for Realtime Shape, Illumination, and Albedo

Amit Adam, Christoph Dann, Omer Yair, Shai Mazor, Sebastian Nowozin, in Transactions on Pattern Analysis and Machine Intelligence (TPAMI), IEEE – Institute of Electrical and Electronics Engineers, June 19, 2016, View abstract

Cardinalities and Universal Quantiﬁers for Verifying Parameterized Systems

Klaus v. Gleissenthall , Nikolaj Bjorner, Andrey Rybalchenko, in PLDI, ACM, June 10, 2016, View abstract

Towards Conversational Recommender Systems

Konstantina Christakopoulou, Filip Radlinski, Katja Hofmann, in 22nd ACM SigKDD Conference on Knowledge Discovery and Data Mining, ACM – Association for Computing Machinery, June 9, 2016, View abstract

Platypus – Indoor Localization and Identification through Sensing Electric Potential Changes in Human Bodies

Tobias Grosse-Puppendahl, Christian Hatzfeld, Biying Fu, Mario Kupnik, Arjan Kuijper, Matthias Hastall, James Scott, Marco Gruteser, in 2016, ACM, June 9, 2016, View abstract

ESTIMA: Extrapolating ScalabiliTy of In-Memory Applications

Georgios Chatzopoulos, Aleksandar Dragojevic, Rachid Guerraoui, in Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ACM, June 9, 2016, View abstract

Subversive-C: Abusing and Protecting Dynamic Message Dispatch

Filo: consolidated consensus as a cloud service

Parisa Jalili Marandi, Christos Gkantsidis, Flavio Junqueira, Dushyanth Narayanan, in USENIX ATC 2016, June 8, 2016, View abstract

Query Expansion with Locally-Trained Word Embeddings

Fernando Diaz, Bhaskar Mitra, Nick Craswell, in Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, ACL – Association for Computational Linguistics, June 4, 2016, View abstract

Deep Neural Decision Forests

Peter Kontschieder, Madalina Fiterau, Antonio Criminisi, Samuel Rota Bulò , in Intl Joint Conference on Artifical Intelligence (IJCAI), June 1, 2016, View abstract

Composable Scheduler Activations for Haskell

KC Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones, in Journal of Functional Programming, June 1, 2016, View abstract

Platypus – Indoor Localization and Identification through Sensing Electric Potential Changes in Human Bodies

Tobias Grosse-Puppendahl, Xavier Dellangnol, Christian Hatzfeld, Biying Fu, Mario Kupnik, Arjan Kuijper, Matthias R. Hastall, James Scott, Marco Gruteser, in Proceedings of the 14th Annual International Conference on Mobile Systems, Applications, and Services, ACM, June 1, 2016, View abstract

Efficient and Precise Interactive Hand Tracking through Joint, Continuous Optimization of Pose and Correspondences

Jonathan Taylor, Lucas Bordeaux, Thomas Cashman, Bob Corish, Cem Keskin, Eduardo Soto, David Sweeney, Julien Valentin, Benjamin Luff, Arran Topalian, Erroll Wood, Sameh Khamis, Pushmeet Kohli, Toby Sharp, Shahram Izadi, Richard Banks, Andrew Fitzgibbon, Jamie Shotton, in ACM SIGGRAPH Conference on Computer Graphics and Interactive Techniques, June 1, 2016, View abstract

A Design and Verification Methodology for Secure Isolated Regions

Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani, in Programming Languages Design and Implementation (PLDI), ACM – Association for Computing Machinery, June 1, 2016, View abstract

Refining Architectures of Deep Convolutional Neural Networks

Sukrit Shankar, Duncan Robertson, Yani Ioannou, Antonio Criminisi, Roberto Cipolla, in Inlt Conf on Computer Vision and Pattern Recognition (CVPR), June 1, 2016, View abstract

Lower Runtime Bounds for Integer Programs

F. Frohn, M. Naaf, J. Hensel, Marc Brockschmidt, J. Giesi, in Proceedings of IJCAR'16, Springer, June 1, 2016, View abstract

Downgrade Resilience in Key-Exchange Protocols

Karthikeyan Bhargavan, Christina Brzuska, Cédric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella-Beguelin, in 2016 IEEE Symposium on Security and Privacy, IEEE Computer Society, May 23, 2016, View abstract

Pre-Touch Sensing for Mobile Interaction

Ken Hinckley, Seongkook Heo, Michel Pahud, Christian Holz, Hrvoje Benko, Abigail Sellen, Richard Banks, Kenton O'Hara, Gavin Smyth, Bill Buxton, ACM – Association for Computing Machinery, May 1, 2016, View abstract

Measuring Neural Net Robustness with Constraints

Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, Antonio Criminisi, arXiv, May 1, 2016, View abstract

Finding Email in a Multi-Account, Multi-Device World

Marta E. Cecchinato, Abigail Sellen, Milad Shokouhi, Gavin Smyth, in Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI2016) (Best Paper Award), ACM – Association for Computing Machinery, May 1, 2016, View abstract

Interactivity: Using Expressy to Demonstrate Expressiveness in Touch-based Interactions

Gerard Wilkinson, Gavin Wood, Jonathan Hook, Tom Nappey, Ahmed Kharuffa, Bradley Pursglove, Hendrik Haeuser, Nils Hammerla, Steve Hodges, Patrick Olivier, ACM – Association for Computing Machinery, May 1, 2016, View abstract

Pre-Touch Sensing for Mobile Interaction

Deep Roots: Improving CNN Efficiency with Hierarchical Filter Groups

Antonio Criminisi, arXiv, May 1, 2016, View abstract

Microsoft Touch Develop and the BBC micro:bit

Tom Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Peli de Halleux, Michael Braun, Steve Hodges, Clare Riley, in ICSE 2016 Companion, ACM – Association for Computing Machinery, May 1, 2016, View abstract

Filo: consolidated consensus as a cloud service

Parisa Jalili Marandi, Christos Gkantsidis, Flavio Junqueira, Dushyanth Narayanan, in Usenix ATC 2016, May 1, 2016, View abstract

The Tyranny of the Everyday in Mobile Video Messaging

Sean Rintel, Richard Harper, Kenton O'Hara, ACM – Association for Computing Machinery, May 1, 2016, View abstract

Generalisability of Image Quality Transfer: Can we approximate in-vivo human brains from dead monkey brains?

A. Ghosh, V. Wottschel, E. Kaden, H. Zhang, S. N. Sotiropoulos, D. Zikic, T. B. Dyrby, Antonio Criminisi, D. C. Alexander, in Intl Society for Magnetic Resonance in Medicine (ISMRM), May 1, 2016, View abstract

Training Convolutional Neural Networks with Low-rank Filters for Efficient Image Classification

Y. Ioannou, D. Robertson, Jamie Shotton, Antonio Criminisi, R. Cipolla, in arXiv:1511.06744v2 and Int Conf. on Learning Representations (ICLR), May 1, 2016, View abstract

Automated Synthesis and Analysis of Switching Gene Regulatory Networks

Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Frederick J. Livesey, Hillel Kugler, in Biosystems, Elsevier, May 1, 2016, View abstract

Office Social: Presentation Interactivity for Nearby Devices

Debaleena Chattopadhyay, Kenton O'Hara, Sean Rintel, , ACM – Association for Computing Machinery, May 1, 2016, View abstract

Things We Own Together: Sharing Possessions at Home

Jane Gruning, Siân Lindley, in Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, ACM – Association for Computing Machinery, May 1, 2016, View abstract

Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation

Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno, in Proceedings of the IEEE Symposium on Security and Privacy, IEEE – Institute of Electrical and Electronics Engineers, May 1, 2016, View abstract

Office Social: Presentation Interactivity for Nearby Devices

Debaleena Chattopadhyay, Kenton O'Hara, , Sean Rintel, ACM – Association for Computing Machinery, May 1, 2016, View abstract

An Effective DRAM Cache Architecture for Scale-Out Servers

Stavros Volos, Djordje Jevdjic, Babak Falsafi, Boris Grot, April 28, 2016, View abstract

Ethical Encounters in Human-Computer Interaction

Jenny Waycott, Cosmin Munteanu , Hilary Davis, Anja Thieme, Wendy Moncur, Roisin McNaney, John Vines, Stacy Branham, in CHI '16 Extended Abstracts of the 2016 CHI Conference on Human Factors in Computing Systems, ACM, April 26, 2016, View abstract

Syrian Refugees and Digital Health in Lebanon: Opportunities for Improving Antenatal Health

Reem Talhouk, Sandra Mesmar, Anja Thieme, Madeline Balaam, Patrick Olivier, Chaza Akik, Hala Ghattas, in CHI '16 Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, ACM, April 26, 2016, View abstract

Challenges for Designing new Technology for Health and Wellbeing in a Complex Mental Healthcare Context

Anja Thieme, John McCarthy, Paula Johnson, Stephanie Phillips, Jayne Wallace, Siân Lindley, Karim Ladha, Daniel Jackson, Diana Nowacka, Ashur Rafiev, Cassim Ladha, Thomas Nappey, Mathew Kipling, Peter Wright, Thomas D. Meyer, Patrick Olivier, in CHI '16 Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, ACM, April 26, 2016, View abstract

Sequent calculus as a compiler intermediate language

Paul Downen, Luke Maurer, Zena Ariola, Simon Peyton Jones, in International Conference on Functional Programming (ICFP'16), ACM, September 18, 2016, View abstract

Improving Document Ranking with Dual Word Embeddings

Eric Nalisnick, Bhaskar Mitra, Nick Craswell, Rich Caruana, in WWW'16, WWW – World Wide Web Consortium (W3C), April 11, 2016, View abstract

Learning to Verify the Heap

Marc Brockschmidt, Yuxin Chen, Byron Cook, Pushmeet Kohli, Siddharth Krishna, Daniel Tarlow, He Zhu, April 1, 2016, View abstract

Mechanism Design for Mixed Bidders

Yoram Bachrach, Sofia Ceppi, Ian A. Kash, Peter Key, Mohammad Reza Khani, in WWW '16: 25th International World Wide Web Conference, WWW – World Wide Web Consortium (W3C), April 1, 2016, View abstract

Where Can I Buy a Boulder? Searching for Offline Retail Locations

Sandro Bauer, Filip Radlinski, Ryen White, in Proceedings of the 25th International World Wide Web Conference (WWW) (to appear), WWW – World Wide Web Consortium (W3C), April 1, 2016, View abstract

Visual Storytelling

Ting-Hao (Kenneth) Huang, Francis Ferraro, Nasrin Mostafazadeh, Ishan Misra, Aishwarya Agrawal, Jacob Devlin, Ross Girshick, Xiaodong He, Pushmeet Kohli, Dhruv Batra, C. Lawrence Zitnick, Devi Parikh, Lucy Vanderwende, Michel Galley, Margaret Mitchell, in Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, ACL – Association for Computational Linguistics, April 1, 2016, View abstract

Accuracy of depth-sensing recordings in classifying Expanded Disability Status Scale subscores of motor dysfunction in patients with multiple sclerosis

Marcus D'Souza, Jessica Burggraaff, Saskia Steinheimer, Peter Kontschieder, Cecily Morrison, Jonas Dorn, Samuel Rota Bulo, Prejass Tewarie, Kristina Miciunaite, Abigail Sellen, Antonio Criminisi, Frank Dahlke, Christian Kamm, Bernard Uitdehaag, Ludwig Kappos, Microsoft Research, April 1, 2016, View abstract

Analyzing Runtime and Size Complexity of Integer Programs

Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jurgen Giesl, in TOPLAS, ACM – Association for Computing Machinery, April 1, 2016, View abstract

Did You Say U2 or Youtube? Inferring Implicit Transcripts from Voice Search Logs

Milad Shokouhi, Umut Ozertem, Nick Craswell, in Proceedings of the 25th International World Wide Web Conference (WWW2016), ACM – Association for Computing Machinery, April 1, 2016, View abstract

XFabric: A Reconfigurable In-Rack Network for Rack-Scale Computers

Sergey Legtchenko, Nicholas Chen, Daniel Cletheroe, Antony "Ant" Rowstron, Hugh Williams, Xiaohan Zhao, in 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16), USENIX Association, March 16, 2016, View abstract

Backpack to work: towards practical mixin linking for Haskell

Simon Peyton Jones, Edward Yang, Scott Kilpatrick, Derek Dreyer, in In submission, March 1, 2016, View abstract

Non-recursive Make Considered Harmful

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow, September 22, 2016, View abstract

Decision Forests, Convolutional Networks and the Models In-Between

Yani Ioannou, Duncan Robertson, Darko Zikic, Peter Kontschieder, Jamie Shotton, Matthew Brown, Antonio Criminisi, in arXiv:1603.01250, March 1, 2016, View abstract

Flamingo: Enabling Evolvable HDD-based Near-Line Storage

Sergey Legtchenko, Xiaozhou Li, Antony "Ant" Rowstron, Austin Donnelly, Richard Black, in 14th USENIX Conference on File and Storage Technologies (FAST 16), USENIX Association, February 22, 2016, View abstract

Collective Noise Contrastive Estimation for Policy Transfer Learning

Weinan Zhang, Ulrich Paquet, Katja Hofmann, in Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), AAAI - Association for the Advancement of Artificial Intelligence, February 21, 2016, View abstract

Learning Step Size Controllers for Robust Neural Network Training

Christian Daniel, Jonathan Taylor, Sebastian Nowozin, AAAI - Association for the Advancement of Artificial Intelligence, February 12, 2016, View abstract

A Dual Embedding Space Model for Document Ranking

Bhaskar Mitra, Eric Nalisnick, Nick Craswell, Rich Caruana, arXiv preprint arXiv:1602.01137, February 4, 2016, View abstract

Parameter Estimation for Generalized Thurstone Choice Models

Milan Vojnovic, Se-Young Yun, Microsoft Research, February 1, 2016, View abstract

Scaling Relational Inference Using Proofs and Refutations

Ravi Mangal, Xin Zhang, Aditya Nori, Mayur Naik, Aditya Kamath, AAAI - Association for the Advancement of Artificial Intelligence, February 1, 2016, View abstract

On the Team Selection Problem

Milan Vojnovic, Se-Young Yun, Microsoft Research, February 1, 2016, View abstract

sRoute: Treating the Storage Stack Like a Network.

Ioan Stefanovici, Bianca Schroeder, Greg O'Shea, Eno Thereska, USENIX – Advanced Computing Systems Association, February 1, 2016, View abstract

Noise Reduction in Complex Biological Switches

Attila Csikasz-Nagy, Neil Dalchau, Mirco Tribastone, Max Tschaikowski, Luca Cardelli, in Scientific Reports, Nature Publishing Group, February 8, 2016, View abstract

Orthogonal intercellular signaling for programmed spatial behavior

Paul Grant, Neil Dalchau, James R Brown, Fernan Federici, Timothy J Rudge, Boyan Yordanov, Om Patange, Andrew Phillips, Jim Haseloff, in Molecular Systems Biology, January 26, 2016, View abstract

T2 : Temporal Property Verification

Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman, in Proceedings of TACAS'16, Springer, January 1, 2016, View abstract

Query-guided Maximum Satisfiability

Xin Zhang, Ravi Mangal, Aditya Nori, Mayur Naik, in Principles of Programming Languages (POPL), ACM – Association for Computing Machinery, January 1, 2016, View abstract

Deciding Bit-Vector Formulas with mcSAT

Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rummer, Springer, January 1, 2016, View abstract

Reorienting categories as a members’ phenomena

Richard Fitzgerald, Sean Rintel, in C. Tileagă & E. Stokoe (Eds.). Discursive psychology: Classic and contemporary studies. (Pp. 181-193). London: Routledge., Routledge, January 1, 2016, View abstract

Scalable and efficient whole-exome data processing using workflows on the cloud

Yan Xu, Kenji Takeda, in Future Generation Computer Systems, Elsevier, January 1, 2016, View abstract

Assessing Multiple Sclerosis with Kinect: Designing Computer Vision Systems for Real-World Use

Cecily Morrison, Kit Huckvale, Bob Corish, Jonas Dorn, Peter Kontschieder, Kenton O'Hara, ASSESS MS Team, Antonio Criminisi, Abigail Sellen, in Human-Computer Interaction, January 1, 2016, View abstract

Toyota’s Ken Laberteaux Talks about the Road Ahead

K. Venkatesh Prasad, Steve Hodges, Brian Noble, in Pervasive Computing, IEEE – Institute of Electrical and Electronics Engineers, January 1, 2016, View abstract

Synthesising Executable Gene Regulatory Networks from Single-cell Gene Expression Data

in Computer Aided Verification (CAV), Springer, July 1, 2015, View abstract

Processing, visualising and reconstructing network models from single cell data

Nature Publishing Group, November 18, 2015, View abstract

Diagnosing type errors with class

Danfeng Zhang, Andrew C Myers, Dimitrios Vytiniotis, Simon Peyton Jones, ACN, June 13, 2015, View abstract

Synthesizing and tuning chemical reaction networks with specified behaviours

Neil Dalchau, Niall Murphy, Rasmus Petersen, Boyan Yordanov, in International Conference on DNA Computing and Molecular Programming, Springer, August 17, 2015, View abstract

Towards More Realistic Projections of Soil Carbon Dynamics by Earth System Models

Yiqi Luo, Anders Ahlstrom, Steven D. Allison, Niels H. Batjes, Victor Brovkin, Nuno Carvalhais, Adrian Chappell, Philippe Ciais, Eric A. Davidson, Adien Finzi, Katerina Georgiou, Bertrand Guenet, Oleksandra Hararuk, Jennifer W. Harden, Yujie He, Francesca Hopkins, Lifen Jiang, Charlie Koven, Robert B. Jackson, Chris Jones, Mark J. Lara, Junyi Liang, A. David McGuire, William Parton, Changhui Peng, James T. Randerson, Alejandro Salazar, Carlos A. Sierra, Matthew Smith, Hanqin Tian, Katherine E. O. Todd-Brown, Margaret Torn, Kees Jan van Groenigen, Ying Ping Wang, Tristan O. West, Yaxing Wei, William R. Wieder, Jianyang Xia, Xia Xu, Xiaofeng Xu, Tao Zhou, in Global Biogeochemical Cycles, December 17, 2015, View abstract

Secrets of Matrix Factorization: Approximations, Numerics, Manifold Optimization and Random Restarts

, Andrew Fitzgibbon, IEEE – Institute of Electrical and Electronics Engineers, December 15, 2015, View abstract

Towards Pointless Structure from Motion: 3D reconstruction and camera parameters from general 3D curves

Irina Nurutdinova, Andrew Fitzgibbon, IEEE – Institute of Electrical and Electronics Engineers, December 12, 2015, View abstract

Variability of projected terrestrial biosphere responses to elevated levels of atmospheric CO2 due to uncertainty in biological nitrogen fixation

J. Meyerholt, S. Zaehle, M. J. Smith, Matthew Smith, in Biogeosciences Discussions, December 9, 2015, View abstract

Improving Indoor Mobility of the Visually Impaired with Depth-Based Spatial Sound

Simon Blessenohl, Antonio Criminisi, Jamie Shotton, Cecily Morrison, in ICCV-ACVR workshop, December 1, 2015, View abstract

Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice

David Adrian, Karthikeyan Bhargavan, Zakir Durumeric, Pierrick Gaudry, Matthew Green, J. Alex Halderman, Nadia Heninger, Drew Springall, Emmanuel Thomé, Luke Valenta, Benjamin VanderSloot, Eric Wustrow, Santiago Zanella-Beguelin, Paul Zimmermann, in 22nd ACM Conference on Computer and Communications Security, CSS 2015, ACM, December 1, 2015, View abstract

Opening the Black Box: Hierarchical Sampling Optimization for Estimating Human Hand Pose

Danhang Tang, Jonathan Taylor, Pushmeet Kohli, Cem Keskin, Tae-Kyun Kim, Jamie Shotton, in Proc. ICCV, IEEE – Institute of Electrical and Electronics Engineers, December 1, 2015, View abstract

Depth-based hand pose estimation: data, methods, and challenges

James Steven Supančič III, Grégory Rogez, Yi Yang, Jamie Shotton, Deva Ramanan, in Proc. ICCV, IEEE – Institute of Electrical and Electronics Engineers, December 1, 2015, View abstract

A Provably Correct Sampler for Probabilistic Programs

Chung-Kil Hur, Aditya Nori, Sriram Rajamani, , in Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Leibniz International Proceedings in Informatics, December 1, 2015, View abstract

Deep Neural Decision Forests [Winner of the David Marr Prize 2015]

Peter Kontschieder, Madalina Fiterau, Antonio Criminisi, Samuel Rota Bulò, in Intl. Conf. on Computer Vision (ICCV), Santiago, Chile, December 1, 2015, View abstract

Pricing the Cloud

Ian Kash, Peter Key, in IEEE Internet Computing, IEEE – Institute of Electrical and Electronics Engineers, December 1, 2015, View abstract

Entropy-based Latent Structured Output Prediction

Diane Bouchacourt, Sebastian Nowozin, M. Pawan Kumar, IEEE – Institute of Electrical and Electronics Engineers, December 1, 2015, View abstract

Pick Up and Play: Understanding Tangibility for Cloud Media

Donald McMillan, Barry Brown, Abigail Sellen, Siân Lindley, Roy Martens, in Proceedings of the 14th International Conference on Mobile and Ubiquitous Multimedia, ACM – Association for Computing Machinery, December 1, 2015, View abstract

Ripples of mediatization: Social media and the exposure of the pool interview

journal homepage: www.elsevier.com/locate/dcm, Sean Rintel, Daniel Angus, Richard Fitzgerald, in Discourse, Context, and Media, Elsevier, November 17, 2015, View abstract

Terrestrial carbon storage dynamics: Chasing a moving target

Yiqi Luo, Zheng Shi, Lifen Jiang, Jianyang Xia, Ying Wang, Manoj Kc, Junyi Liang, Xingjie Lu, Shuli Niu, Anders Ahlstrom, Oleksandra Hararuk, Alan Hastings, Forrest Hoffman, Belinda E. Medlyn, Martin Rasmussen, Matthew Smith, Kathe E. Todd-Brown, Yingping Wang, American Geophysical Union, November 5, 2015, View abstract

Patterns of IgE responses to multiple allergen components and clinical symptoms at age 11 years

Angela Simpson, Nevena Lazic, Danielle C. M. Belgrave, Phil Johnson, Christopher Bishop, Clare Mills, Adnan Custovic, in Journal of Allergy and Clinical Immunology, Elsevier Inc., November 1, 2015, View abstract

Processing, visualising and reconstructing network models from single cell data

Woodhouse S.J., Moignard V., Gottgens B., FIsher J., Jasmin Fisher, in Immunology and Cell Biology, Nature Publishing Group, November 1, 2015, View abstract

Singly-Bordered Block-Diagonal Form for Minimal Problem Solvers

Martin Bujnak, Jan Heller, Tomas Pajdla, in Computer Vision – ACCV 2014, Springer, November 1, 2015, View abstract

Ad hoc adaptability in video-calling

Sean Rintel, Kenton O'Hara, Behnaz Rostami Yehaneh, , ACM ITS'2015 - Workshop on Interacting with Multi-Device Ecologies in the Wild, November 1, 2015, View abstract

Gated Graph Sequence Neural Networks

Yujia Li, Richard Zemel, Marc Brockschmidt, Daniel Tarlow, in arXiv preprint, arXiv, November 1, 2015, View abstract

A Comparative Study of Modern Inference Techniques for Structured Discrete Energy Minimization Problems

Jörg H. Kappes, Bjoern Andres, Fred A. Hamprecht, Christoph Schnörr, Sebastian Nowozin, Dhruv Batra, Sungwoong Kim, Bernhard X. Kausler, Thorben Kröger, Jan Lellmann, Nikos Komodakis, Bogdan Savchynskyy, Carsten Rother, in International Journal of Computer Vision, Springer, November 1, 2015, View abstract

Selector function of MHC I molecules is determined by protein plasticity

Alistair Bailey, Neil Dalchau, Rachel Carter, Stephen Emmott, Andrew Phillips, Jörn M. Werner, Tim Elliott, in Scientific Reports, Nature Publishing Group, October 20, 2015, View abstract

The effect of using the plant functional type paradigm on a data-constrained global phenology model

S. Caldararu, D. W. Purves, M. J. Smith, Drew Purves, Matthew Smith, in Biogeosciences Discussions, October 19, 2015, View abstract

Inferred support for disturbance-recovery hypothesis of North Atlantic phytoplankton blooms

Matthew Smith, Derek P. Tittensor, Vassily Lyutsarev, Eugene Murphy, in Journal of Geophysical Research - Oceans, AGU Publishing, October 6, 2015, View abstract

Exposing variation in climate change risk assessment

Matthew Smith, Drew Purves, Lucas Joppa, Stephen Emmott, Vassily Lyutsarev, Christopher Bishop, Paul I. Palmer, Ben Calderhead, Mark Vanderwel, AGU, October 6, 2015, View abstract

Enabling joined-up decision making with geotemporal information

Matthew Smith, Sadia Ahmed, , Drew Purves, Stephen Emmott, Lucas Joppa, Silvia Caldararu, , Tim Newbold, AGU, October 6, 2015, View abstract

Different representations of biological nitrogen fixation cause major variation in projected terrestrial biosphere responses to elevated levels of atmospheric CO2

Johannes Meyerholt, Soenke Zaehle, Matthew Smith, AGU, October 6, 2015, View abstract

No compromises: distributed transactions with consistency, availability, and performance

Aleksandar Dragojevic, Dushyanth Narayanan, Ed Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro, in Symposium on Operating Systems Principles (SOSP'15), ACM – Association for Computing Machinery, October 5, 2015, View abstract

Characterization of intrinsic properties of promoters

Timothy J. Rudge, James R. Brown, Fernan Federici, Neil Dalchau, Andrew Phillips, James W Ajioka, Jim Haseloff, in ACS Synthetic Biology, October 5, 2015, View abstract

Software Defined Batteries

Anirudh Badam, Ranveer Chandra, Jon Dutra, Anthony Ferrese, Steve Hodges, Pan Hu, Julia Meinershagen, Thomas Moscibroda, Bodhi Priyantha, Evangelia Skiani, in Symposium on Operating Systems Principles (SOSP'15), ACM – Association for Computing Machinery, October 5, 2015, View abstract

Model-Based Tracking at 300Hz using Raw Time-of-Flight Observations

Jan Stuhmer, Sebastian Nowozin, Andrew Fitzgibbon, Rick Szeliski, Travis Perry, Sunil Acharya, Daniel Cremers, Jamie Shotton, in ICCV 2015 - International Conference on Computer Vision, IEEE – Institute of Electrical and Electronics Engineers, October 1, 2015, View abstract

Object Proposal Estimation in Depth Images using Compact 3D Shape Manifolds

Shuai Zheng, Victor Adrian Prisacariu, Melinos Averkiou, Ming-Ming Cheng, Niloy J. Mitra, Jamie Shotton, Philip H. S. Torr, Carsten Rother, in GCPR, October 1, 2015, View abstract

Explicitly representing soil microbial processes in Earth system models

William R. Weider, Steven D. Allison, Eric A. Davidson, Katerina Georgiou, Oleksandra Hararuk, Yujie He, Francesca Hopkins, Matthew Smith, Benjamin Sulman, Katherine Todd-Brown, Ying-Ping Wang, Jianyang Xia, Xiaofeng Xu, in Global Biogeochemical Cycles, AGU Publications, October 1, 2015, View abstract

Prediction of expanded disability status scale subscores of motor dysfunction in multiple sclerosis using depth-sensing computer vision

M. D'Souza, J. Burggraaff, P. Kontschieder, J. Dorn, C.P. Kamm, S. Seinheimer, P. Tewarie, C. Morrison, Abigail Sellen, Antonio Criminisi, F. Dahlke, B Uitdehaag, L. Kappos, in Congress of the European Committee for Treatment and Research in Multiple Sclerosis (ECTRIMS), October 1, 2015, View abstract

RichReview: Blending Ink, Speech, and Gesture to Support Collaborative Document Review

Dongwook Yoon, Nicholas Chen, François Guimbretière, Abigail Sellen, ACM – Association for Computing Machinery, October 1, 2015, View abstract

Single cell analyses of regulatory network perturbations using enhancer targeting TAL Effectors suggest novel roles for PU.1 during haematopoietic specification

The Company of Biologists, August 18, 2014, View abstract

Transcriptional Hierarchies Regulating Early Blood Cell Development

Elsevier, December 31, 2013, View abstract

Practical aspects of evidence-based compilation in System FC

Dimitrios Vytiniotis, Simon Peyton Jones, March 24, 2011, View abstract

Haskell and transactional memory

Simon Peyton Jones, March 24, 2011, View abstract

The neuroepithelial basement membrane serves as a boundary and a substrate for neuron migration in the zebrafish hindbrain

Paul Grant, Cecilia Moens, BioMedCentral, March 29, 2010, View abstract

Scrap your boilerplate with class: extensible generic functions

Ralf Laemmel, Simon Peyton Jones, in ACM SIGPLAN International Conference on Functional Programming (ICFP'05), September 26, 2005, View abstract

Pattern Guards and Transformational Patterns

Martin Erwig, Simon Peyton Jones, in Haskell Workshop 2000, September 6, 2000, View abstract

Simple Usage Polymorphism

Keith Wansbrough, Simon Peyton Jones, in 3rd ACM SIGPLAN Workshop on Types in Compilation, September 21, 2000, View abstract

Efficient Queue Management for Cluster Scheduling

Jeff Rasley, Konstantinos Karanasos, Srikanth Kandula, Rodrigo Fonseca, Sriram Rao, Milan Vojnovic, in European Conference on Computer Systems (EuroSys), September 27, 2016, View abstract

Microsoft Research Cambridge Student Experience Day 2016

June 26, 2016

How Microsoft and Novartis created Assess MS

February 8, 2016

Cambridge Lab Overview with Chris Bishop, Lab Director

December 17, 2015

Speakers

Chris Bishop

Why I work at Microsoft Research Cambridge

December 17, 2015

Why I work at Microsoft Research Cambridge – Richard Banks, Principal Design Manager

December 17, 2015

Speakers

Richard Banks

Affiliation

Microsoft Research Cambridge

Why I work at Microsoft Research Cambridge – Austin Donnelly, Principal RSDE

December 17, 2015

Speakers

Austin Donnelly

Why I work at Microsoft Research Cambridge – Sara-Jane Dunn, Scientist

December 17, 2015

Speakers

Sara-Jane Dunn

Affiliation

Microsoft Research Cambridge

Why I work at Microsoft Research Cambridge – Jasmin Fisher, Senior Researcher

December 17, 2015

Speakers

Jasmin Fisher

Affiliation

Microsoft Research Cambridge

Why I work at Microsoft Research Cambridge – Andrew Fitzgibbon, Principal Researcher

December 17, 2015

Speakers

Andrew Fitzgibbon

Why I work at Microsoft Research Cambridge – Steve Hodges, Research Manager / Principal Researcher

December 17, 2015

Speakers

Steve Hodges

Affiliation

Microsoft Research Cambridge

Why I work at Microsoft Research Cambridge – Christos Gkantsidis, Researcher

December 17, 2015

Speakers

Christos Gkantsidis

Why I work at Microsoft Research Cambridge – Thomas Karagiannis, Senior Researcher

December 17, 2015

Speakers

Thomas Karagiannis

Why I work at Microsoft Research Cambridge – Simon Peyton Jones, Principal Researcher

December 17, 2015

Speakers

Simon Peyton-Jones

Affiliation

Microsoft Research Cambridge

Why I work at Microsoft Research Cambridge – Yordan Zaykov, Software Development Engineer

December 17, 2015

Speakers

Yordan Zaykov

Why I work at Microsoft Research Cambridge – John Hong, Research Intern

December 17, 2015

Think Computer Science 2015

December 17, 2015

/Guard: Keeping Windows users more secure

June 1, 2015

Speakers

Manuel Costa, Austin Donnelly, Richard Black

Affiliation

Microsoft Research Cambridge

Implementing WiFi on Software Radios with Ziria

June 1, 2015

Speakers

Dimitrios Vytiniotis, Bozidar Radunovic

Affiliation

Microsoft Research Cambridge

BMA: Bio Model Analyzer

February 1, 2015

Speakers

Jasmin Fisher, Alex Taylor

Affiliation

Microsoft Research Cambridge

Biological Computation

Established: October 1, 2007

Our group is conducting research to uncover fundamental principles of biological computation: what biological systems compute, and how this computation is performed. We are also developing methods for programming computation in biological systems. Our research currently focuses on fundamentals of…

Human Experience & Design

Established: June 10, 2005

We've moved! We have a brand new website showcasing the work, publications and people in HXD. You can find it at out new address, which is hxd.research.microsoft.com.

Sensors and Devices

Established: June 10, 2005

The Sensors and Devices Group invents and builds new interactive devices and experiences for users, leveraging recent developments across a broad range of technologies such as sensors, displays, wireless communications and device fabrication. We aim to seed new devices and…

Programming Principles and Tools

Established: March 27, 2000

The Programming Principles and Tools group devises formal techniques and models for understanding programs, programming abstractions and languages, and develops related implementation technology. Programming Principles and Tools is part of Microsoft Research Cambridge. Our work can be grouped into four…

Machine Intelligence and Perception

Established: March 27, 2000

The Machine Intelligence & Perception group comprises world-class scientists, engineers, entrepreneurs, and visionaries. We share a dream of a brighter future: a future where machines understand and interact naturally with people, where computers enhance human creativity, where intelligent systems navigate…

Cambridge Systems and Networking

Established: July 1, 1997

The systems and networking group is composed of approximately 20 researchers and post-docs. The group has existed since the lab opened, and over the last decade and a half we have covered a broad range of topics including systems, operating…

Microsoft Research Cambridge Student Experience Day

Microsoft Research Cambridge | June 2016

A one-day exclusive experience for a few selected students, nominated by their teachers, to join us at Microsoft Research Cambridge for a day in June 2016

PhD Summer School 2016

Cambridge, UK | July 2016

The PhD Summer School is an annual event that is organized at Microsoft Research Cambridge in relation to the Microsoft Research PhD Scholarship Programme. The eleventh Microsoft Research Summer School will take place at Microsoft Research in Cambridge, UK, from 4 July to 8 July 2016. It will include a series of talks of academic interest, transferable skills talks, and poster sessions that provided invited students the opportunity to present their work to Microsoft researchers. Invited students included PhD students in their first or second year from universities and research institutions with which Microsoft Research partners, as well as all Microsoft Research PhD Scholars. In addition, lectures and posters sessions were open to all research staff and students from the University of Cambridge.

Summer School on Internet of Things 2016

Kazan, Russia | July 2016

The Microsoft Summer School on the Internet of Things will take place in Kazan, Russia, from July 17 to 23, 2016. Our summer schools provide a unique opportunity for students to learn about fundamental and state-of-the-art results and to mingle with world leaders in the field. The 2016 Microsoft Research summer school will approach the broad field of the Internet of Things (IoT) by considering the models and concepts surrounding distributed computations, ubiquitous computing, architectures for sensor networks, infrastructure support for smart real-world objects, interaction in smart environments, and privacy and security concepts. We will look at flexible platforms for experimental research that connect devices in homes and beyond. There will be ample time for practical experiments with sensor-based devices, which will be provided for each student.

FaRM

Established: June 8, 2016

FaRM is a new main memory distributed computing platform that exploits RDMA communication to improve both latency and throughput by an order of magnitude relative to state of the art main memory systems that use TCP/IP. FaRM exposes the memory…

Project Malmo

Established: June 1, 2015

How can we develop artificial intelligence that learns to make sense of complex environments? That learns from others, including humans, how to interact with the world? That learns transferable skills throughout its existence, and applies them to solve new, challenging…

Trusted Cloud

Established: August 31, 2015

The Trusted Cloud project at Microsoft Research aims to provide customers of cloud computing complete control over their data: no one should be able to access the data without the customer’s permission. Even if there are malicious employees…

Fully Articulated Hand Tracking

Established: October 2, 2014

We present a new real-time articulated hand tracker which can enable new possibilities for human-computer interaction (HCI). Our system accurately reconstructs complex hand poses across a variety of subjects using only a single depth camera. It also allows for a…

Rack-scale Computing

Established: January 1, 2013

New hardware technology such as systems- and networks-on-chip (SOCs and NOCs), switchless network fabrics, silicon photonics, and RDMA, are redefining the landscape of data center computing, enabling interconnecting thousands of cores at high speed at the scale of today's…

Genetic Engineering of Living Cells

Established: February 7, 2009

Synthetic biology aims at producing novel biological systems to carry out some desired and well-defined functions. An ultimate dream is to design these systems at a high level of abstraction using engineering-based tools and programming languages, press a button, and…

InnerEye – medical image analysis

Established: October 7, 2008

InnerEye is a research project that uses state of the art artificial intelligence to build innovative image analysis tools to help doctors treat diseases such as cancer in a more targeted and effective way. "...We are pursuing AI so that…

Below you will find useful information about visiting Microsoft Research in Cambridge, for enquiries please email msrcenq@microsoft.com.

Please note that there is no visitor parking available on-site. The lab is almost next to Cambridge Rail Station, so we recommend travel to the lab by train, where possible.

Train Travel Information

For train times and fares, visit the National Rail Enquiries web site or use the National Rail app for Windows Phone.

Taxi and Transfer Information

Taxi travel within Cambridge and surrounding areas: Panther Taxis +44 (0) 1223 715 715

Airport/longer distance transfers: Executive Car Services +44 (0) 1223 212 122

Air Travel Information

Cambridge is close to three international airports in addition to three regional airports. London Stansted is the closest airport.

Parking

There is no visitor parking available on site.

Cycle Travel Information

There are cycle stands available outside the lab.

Coach Travel Information