Microsoft Research Lab – India

Kai Zhong, Prateek Jain, Inderjit S. Dhillon

Proceedings of 26th International Conference on Algorithmic Learning Theory (ALT) | October 2015

Project

Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia, Kapil Vaswani

The ACM Conference on Computer and Communications Security (CCS) | October 2015

Bhanu Vattikonda, Vacha Dave, Saikat Guha, Alex C. Scoeren

Proceedings of the 2015 Internet Measurement Conference (IMC) | October 2015

Praneeth Netrapalli, Prateek Jain, Sujay Sanghavi

IEEE Transactions on Signal Processing 2015. An extended abstract appeared in 27th Annual Conference on Neural Information Processing Systems 2013. | October 2015

Project

Aditya Vashistha, Ed Cutrell, Nicola Dell, Richard Anderson

October 2015

Best Student Paper

Vageesh D C, Abhijnan Chakraborty, Vishnu Navda, Saikat Guha, Venkat Padmanabhan, Ramachandran Ramjee

TRIOS Workshop held in conjunction with the SIGOPS SOSP 2015 | September 2015

Henry Corrigan-Gibbs, Nakull Gupta, Curtis Northcutt, Ed Cutrell, Bill Thies

ACM Trans. Comput.-Hum. Interact. (TOCHI) | September 2015

Rajan Vaish, Edward Cutrell, William Thies, Bill Thies, Ed Cutrell

September 2015

Ravi Mangal, Xin Zhang, Mayur Naik, Aditya Nori

SAT ’15: International Conference on Theory and Applications of Satisfiability Testing | September 2015

Manuel Costa, Sriram Rajamani, Mark Russinovich, Kapil Vaswani, Orion Hodson, Marcus Peinado

MSR-TR-2015-67 | August 2015

Published by Microsoft