Microsoft Research Lab – India

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

He Zhu, Aditya Nori, Suresh Jagannathan

International Conference on Functional Programming (ICFP) | August 2015

International Conference on Functional Programming (ICFP)

Bhanu Vattikonda, Santhosh Kodipaka, Hongyan Zhou, Vacha Dave, Saikat Guha, Alex C. Scoeren

Proceedings of the 21st ACM Conference on Knowledge Discovery and Data Mining (KDD) | August 2015

Proceedings of the 21st ACM Conference on Knowledge Discovery and Data Mining (KDD)

Ravi Mangal, Xin Zhang, Mayur Naik, Aditya Nori

Foundations of Software Engineering (FSE) | August 2015

Foundations of Software Engineering (FSE) – ACM SIGSOFT Distinguished Paper

ACM SIGSOFT Distinguished Paper

Purushottam Kar, Harikrishna Narasimhan, Prateek Jain

Proceedings of the 32nd International Conference on Machine Learning (ICML) | July 2015

Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das

Computer Aided Verification (CAV) | July 2015

Project Project