Microsoft Research Cambridge

Jiuxi Meng, Nadeen Gebara, Ho-Cheung Ng, Paolo Costa, Wayne Luk

IEEE 30th International Conference on Application-specific Systems, Architectures and Processors (ASAP) | July 2019

Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma

Computer Aided Verification (CAV) | July 2019

Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro

International Conference on Management of Data (SIGMOD ’19) | June 2019

Best Paper Honorable Mention

Project

David Chisnall, Sylvan Clebsch, Sophia Drossopoulou, Juliana Vicente Franco, Paul Lietar, Matthew J. Parkinson, Alex Shamis, Christoph M. Wintersteiger

ISSM | June 2019, pp. 122-135

Project

Chao Ma, Sebastian Tschiatschek, Konstantina Palla, Jose Miguel Hernandez Lobato, Sebastian Nowozin, Cheng Zhang

International Conference on Machine Learning | June 2019

Project

Sebastian Tschiatschek, Ahana Ghosh, Luis Haug, Rati Devidze, Adish Singla

arXiv:1906.00429 | June 2019

Published by arXiv

Project Project

Ruibo Tu, Kun Zhang, Bo Christer Bertilson, Hedvig Kjellström, Cheng Zhang

June 2019

https://arxiv.org/abs/1906.01732 | June 2019

Project

Sara Zannone, Jose Miguel Hernandez Lobato, Cheng Zhang, Konstantina Palla

Real-world Sequential Decision Making Workshop, ICML | June 2019

Geoffrey Roeder, Paul Grant, Andrew Phillips, Neil Dalchau, Ted Meeds

ICML 2019 | June 2019

Project Project Project

Cheng Zhang, Yingzhen Li

June 2019

ICML Workshop on Understanding and Improving Generalization in Deep Learning | June 2019

Project