Microsoft Research Lab – India

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

He Zhu, Aditya Nori, Suresh Jagannathan

International Conference on Functional Programming (ICFP) | August 2015

International Conference on Functional Programming (ICFP)

, 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

Purushottam Kar, Harikrishna Narasimhan, Prateek Jain

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

Prateek Jain, Praneeth Netrapalli, Praneeth Netrapalli

Proceedings of The 28th Conference on Learning Theory (COLT) | June 2015

Project

Akash Lal, Pantazis Deligiannis, Alastair Donaldson, Paul Thomson, Jeroen Ketema

Programming Language Design and Implementation (PLDI) | June 2015

Project Project

Akash Lal, Shaz Qadeer

Programming Language Design and Implementation (PLDI) | June 2015

Project

Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, G. Ramalingam

Programming Language Design and Implementation, PLDI 2015 | June 2015