Microsoft Research Lab – India

Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy,

Programming Language Design and Implementation (PLDI) | June 2015

Project

Meghana Marathe, Jacki O'Neill, Paromita Pain, William Thies, Bill Thies

May 2015

Aditya Vashistha, Ed Cutrell, Gaetano Borriello, Bill Thies

May 2015

Best of CHI Award

Indrani Medhi Thies

Foundations and Trends in Human-Computer Interaction | April 2015

Ankush Desai, Shaz Qadeer, Sriram Rajamani, Sanjit Seshia,

MSR-TR-2015-28 | March 2015

Neeraj Kayal, Chandan Saha

Symposium on Theoretical Aspects of Computer Science (STACS) | March 2015

Symposium on Theoretical Aspects of Computer Science (STACS)

Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric

Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2015

Project

Aditya Vashistha, Ed Cutrell, Bill Thies,

March 2015

Indrani Medhi Thies, Pedro Ferreira, Nakull Gupta, Jacki O'Neill, Ed Cutrell

ACM Conference on Computer-Supported Cooperative Work | March 2015

Best of CSCW honorable mention

Project

Indrani Medhi Thies, Pedro Ferreira, Nakull Gupta, Jacki O'Neill, Ed Cutrell

March 2015

Best of CSCW honorable mention

Project