Share this page
Share this page E-mail this page Print this page RSS feeds
Home > People > Aditya Nori
Aditya Nori

I am a member of the Rigorous Software Engineering group at Microsoft Research India. My research interests include algorithms for the analysis of programs 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.

Projects

  • Yogi: a software property checking tool that systematically combines testing with static analysis
  • Merlin: a specification inference engine for explicit information flow problems
  • Holmes: an adaptive profiling technique used for efficient statistical debugging
  • Preferential Path Profiling (PPP): an efficient profiling algorithm for control flow path segments in programs

Activities

Contact 

Address: "Scientia", 196/36, 2nd Main, Sadashivnagar, Bangalore 560 080                                     Email: adityan AT microsoft.com

Phone: 91-80 -66586000

Fax: 91-80-23614657