Microsoft Research
Microsoft Translator |
Aditya Nori

Aditya Nori
RESEARCHER
.

I am a member of the PLATO and MLO areas at Microsoft Research India. 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. I obtained my PhD from the Indian Institute of Science, Bangalore and Priti Shankar was my advisor

Recent Publications

A complete list of publications can be found here.

  • Arun T. Chaganty, Akash Lal, Aditya V. Nori, and Sriram K. Rajamani. Combining Relational Learning with SMT Solvers using CEGAR. In CAV '13: Computer Aided Verification, July 2013
  • Sivakant Gopi, Praneeth Netrapalli, Prateek Jain, and Aditya V. Nori. One-bit Compressed Sensing. In ICML '13: International Conference on Machine Learning, June 2013
  • Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken and Aditya V. Nori. Verification as Learning Geometric Concepts. In SAS '13: Static Analysis Symposium, June 2013
  • Arun T. Chaganty, Aditya V. Nori, and Sriram K. Rajamani. Efficiently Sampling Probabilistic Programs via Program Analysis. In AISTATS '13: Artificial Intelligence and Statistics, April 2013
  • Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, and Aditya V. Nori. A Data Driven Approach for Algebraic Loop Invariants. In ESOP '13: European Symposium on Programming, March 2013
  • Andrew D. Gordon, Aditya V. Nori, and Sriram K. Rajamani. Probabilistic Inference using Program Analysis. In OBT '13: Off the Beaten Track Workshop, January 2013
  • Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, and Claudio Russo. A Model-Learner Pattern for Bayesian Reasoning. In POPL '13: Principles of Programming Languages, January 2013
  • Arun T. Chaganty, Aditya V. Nori, and Sriram K. Rajamani. Efficiently Sampling Probabilistic Programs via Program Analysis. In NIPS workshop on Probabilistic Programming, December 2012
  • Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, and Claudio Russo. A Model-Learner Pattern for Bayesian Reasoning. In NIPS workshop on Probabilistic Programming, December 2012
  • Rahul Sharma, Aditya V. Nori, and Alex Aiken. Interpolants as Classifiers. In CAV '12: Computer Aided Verification, July 2012
  • Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, and Sriram K. Rajamani. Parallelizing Top-down Interprocedural Analyses. In PLDI '12: Programming Languages Design and Implementation, June 2012

Recent Talks

A complete list of talks can be found here.

    • Program verification via machine learning. Formal Methods Workshop, Chennai Mathematical Institute, January 2013
    • Interpolants as Classifiers. IMPECS CSA Workshop on Program Analysis, September 2012
    • Program Analysis using Support Vector Machines. Mysore Workshop on Machine Learning, August 2012
    • Invariant Generation: A Machine Learning Perspective. Georgia Institute of Technology, April 2012
    • Invariant Generation: A Machine Learning Perspective. Purdue University, April 2012
    • The Yogi Project: Software property checking via verification and testing. 17th CREST Open Workshop, London, January 2012

Activities

Interns

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 related to static/dynamic/statistical analysis of programs.

Contact 

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

Email: adityan AT microsoft.com

Phone: 91-80-66586000

Fax: 91-80-23614657