Microsoft Research Cambridge

Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson

July 2017

Sooraj Bhat, Johannes Borgström, Andy Gordon, Claudio Russo

Logical Methods in Computer Science | July 2017, Vol 13(2)

Piyus Kedia, Manuel Costa, Dimitrios Vytiniotis, Matthew J. Parkinson, Kapil Vaswani, Aaron Blankstein

Proceedings of the Conference on Programming Langauges Design and Implementation (PLDI) | June 2017

Luke Maurer, Zena Ariola, Paul Downen, Simon Peyton Jones

ACM Conference on Programming Languages Design and Implementation (PLDI’17) | June 2017

Jan Kučera, James Scott, Nicholas Chen, Patrick Olivier, Steve Hodges

Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | June 2017

Bhaskar Mitra, Nick Craswell

May 2017

Video

Christopher Theisen, Kim Herzig, Brendan Murphy, Laurie Williams

2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP) | May 2017

Vitaly Kurin, Sebastian Nowozin, Katja Hofmann, Lucas Beyer, Bastian Leibe

MSR-TR-2017-61 | May 2017

Published by Microsoft

Katja Kevic, Brendan Murphy, Laurie Williams, Jennifer Beckmann

2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP) | May 2017

Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson

ACM Transactions on Programming Languages and Systems | May 2017, Vol 39(3)