Aditya Nori

Aditya Nori

I am a member of the Programming Languages and Tools area at Microsoft Research. I am also an adjunct professor at IIT Hyderabad. My research interests include algorithms for the analysis of programs and machine learning with special focus on tools for improving software reliability and programmer productivity.

Recent Publications

A complete list of publications can be found here.

  • He Zhu, Aditya V. Nori, and Suresh Jagannathan. Dependent Array Type Inference from Tests. In VMCAI '15: Verification, Model Checking and Abstract Interpretation, January 2015
  • Venkatesh Vinayakarao, Rahul Purandare, and Aditya V. Nori. Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources. In PEPM '15: Partial Evaluation and Program Manipulation, January 2015
  • Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, and Selva Samuel. R2: An Efficient MCMC Sampler for Probabilistic Programs, In AAAI '14: AAAI Conference on Artificial Intelligence, July 2014
  • Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, and Selva Samuel. Slicing Probabilistic Programs. In PLDI '14: Programming Language Design and Implementation, June 2014
  • Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, and Aditya V. Nori. MUX: Algorithm Selection for Software Model Checkers. In MSR '14: Mining Software Repositories, May 2014
  • Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, and Sriram K. Rajamani. Probabilistic Programming. In ICSE '14: International Conference on Software Engineering (FOSE track), May 2014
  • Rahul Sharma, Aditya V. Nori and Alex Aiken. Bias-Variance Tradeoffs in Program Analysis. In POPL '14: Principles of Programming Languages, January 2014



Here is a list of interns and students I have advised in the past. Internships at MSR India are open throughout the year. Please email me if you are interested in working on problems \in (PL \cap ML).


Microsoft Research India, "Vigyan", #9 Lavelle Road, Bangalore 560 025, India

Email: adityan AT

Phone: 91-80-66586000

Fax: 91-80-23614657