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

• Invited talks: WING 2012, 17th CREST workshop 2012
• Program Committees:
  • ICSE SRC 2014 (co-chair), ISEC 2014, POPL 2014
  • Past: PASTE 2013, VSTTE 2013, ICSE Tutorials 2013 (co-chair), PLDI 2013 (ERC), ACM SIGSOFT Doctoral Dissertation Committee 2013, ICST 2013 MP, ATVA 2012, FTfJP 2012, ICSE SRC 2012, ISSTA 2012, POPL 2012 (ERC), FSE 2012, ISSTA 2011, ICSE SRC 2011, TOOLS Europe 2011, ICST 2011, SAVCBS 2010, APLAS 2010, ICST 2010, ISSRE 2009, SSS 2009, FSTTCS 2009, SAS 2009, ISSTA 2009, ISSRE 2008
  • Teaching: Program Analysis & Verification, Indian Institute of Science, Fall 2008, Fall 2007 (with Deepak D'Souza and Sriram Rajamani)

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