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

2011

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

William R. Harris, Akash Lal, Aditya V. Nori and Sriram K. Rajamani, Alternation for Termination, in SAS '10: Static Analysis Symposium, September 2010
Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, and Sriram K. Rajamani, Refining Abstract Interpretations, in Information Processing Letters, May 2010
Aditya V. Nori and Sriram K. Rajamani, An Empirical Study of Optimizations in Yogi, in ICSE '10: International Conference on Software Engineering, May 2010
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, Sai Deep Tetali, and Aditya V. Thakur, Proofs from Tests, in IEEE Transactions on Software Engineering: Special Issue on the ISSTA 2008 Best Papers, March 2010
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

Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori, Bottom-up Shape Analysis, in SAS '09: Static Analysis Symposium, August 2009
Michael C. Tschantz, Aditya V. Nori, Measuring the Loss of Privacy from Statistics, in QA '09: Workshop on Quantitative Analysis of Software (with CAV '09), June 2009
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
Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya V. Nori, Kapil Vaswani, Holmes: Effective Statistical Debugging via Efficient Path Profiling, in ICSE '09: International Conference on Software Engineering, May 2009
Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur, The Yogi Project: Software Property Checking via Static Analysis and Testing, in TACAS '09: Tools and Algorithms for the Construction and Analysis of Systems, March 2009

Patrice Godefroid, Peli de Halleux, Michael Y. Levin, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Automated Software Testing Using Program Analysis, in IEEE Software: Special Issue on Software Development Tools, October 2008
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, Proofs from Tests, in ISSTA '08: International Symposium on Software Testing and Analysis, July 2008
Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani, Automatically Refining Abstract Interpretations, in TACAS '08: Tools and Algorithms for the Construction and Analysis of Systems, March 2008

Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani, Quantifying the Effectiveness of Testing via Efficient Residual Path Profiling, in FSE '07: Foundations of Software Engineering, September 2007
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
Aditya V. Nori, Priti Shankar, Unifying Views of Tail-Biting Constructions for Linear Block Codes, in IEEE Transactions on Information Theory, October 2006

Aditya V. Nori, Priti Shankar, A Coset Construction for Tail-Biting Trellises, in ISITA '04: International Symposium on Information Theory and its Applications, October 2004

Aditya V. Nori, Priti Shankar, Tail-Biting Trellises for Linear Codes and their Duals, in Allerton '03: Forty-First Annual Allerton Conference on Communication, Control and Computing, October 2003
Aditya V. Nori, Priti Shankar, A BCJR-like Labeling Algorithm for Tail-Biting Trellises, in ISIT '03: International Symposium on Information Theory, July 2003

Aditya V. Nori, P Ashok Sreenivas, A Technique for Model-Based Testing of Classes, in SETT '01: Software Engineering Tools and Techniques, 2001

Aditya V. Nori, Unifying Views of Tail-Biting Trellises for Linear Block Codes, PhD thesis, Indian Institute of Science, Bangalore, November 2005
Priti Shankar, Madhu A. S., Aditya V. Nori, Exact And Approximate Algorithms for ML Decoding on Tail-Biting Trellises, Technical Report IISc-CSA-TR-2005-3, IISc, March 2005
Madhu A. S., Aditya V. Nori, Decoding Codes on Graphs: Probabilistic Decoding, in Resonance: Journal of Science Education, Indian Academy of Sciences, February 2004
Helmut Seidl, Aditya V. Nori, On the Expressiveness of Tree Set Operators, Technical Report 02-17, University of Trier, July 2002
Aditya V. Nori, Priti Shankar, Helmut Seidl, Using Hardcoded Hedge Automata for Compressing Structured Documents, Technical Report IISc-CSA-TR-2002-1, IISc, July 2002
Aditya V. Nori, Ashok Sreenivas, Yantra- A Software testing framework, Technical Report, TRDDC, 2000
Aditya V. Nori, The Complexity of Complementation, M.E. thesis, Indian Institute of Science, Bangalore, January 1998