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/Selected Publications
A complete list of publications can be found here.
- 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
- Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam and Aditya V. Nori, Bottom-up Shape Analysis using LISF, in TOPLAS: Transactions on Programming Languages and Systems, November 2011
- Nels E. Beckman and Aditya V. Nori, Probabilistic, Modular and Scalable Inference of Typestate Specifications, in PLDI '11: Programming Languages Design and Implementation, June 2011
- Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, and Sai Deep Tetali, Compositional May-Must Program Analysis: Unleashing the Power of Alternation, in POPL '10: Principles of Programming Languages, January 2010
- Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee, Merlin: Specification Inference for Explicit Information Flow Problems, in PLDI '09: Programming Language Design and Implementation, June 2009
- Kapil Vaswani, Aditya V. Nori, Trishul Chilimbi, Preferential Path Profiling: Compactly Numbering Interesting Paths, in POPL '07: Principles of Programming Languages, January 2007
- Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani, Synergy: A New Algorithm for Property Checking, in FSE '06: Foundations of Software Engineering (ACM SIGSOFT Distinguished Paper) , November 2006
Recent Talks
A complete list of talks can be found here.
- 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
Tools
- Yogi: a software property checking tool that systematically combines testing with static analysis
- Holmes: an adaptive profiling technique used for efficient statistical debugging
Activities
- Invited talks: WING 2012, 17th CREST workshop 2012
- Program Committees:
- 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
