Partner Research Manager
Melanie Bernhardt, Daniel Coelho de Castro, Ryutaro Tanno, Anton Schwaighofer, Kerem C. Tezcan, Miguel Monteiro, Shruthi Bannur, Matthew P. Lungren, Aditya Nori, Ben Glocker, Javier Alvarez-Valle, Ozan Oktay
Nature Communications | March 2022, Vol 13(1161): pp. 1-11
Shruthi Bannur, Ozan Oktay, Melanie Bernhardt, Anton Schwaighofer, Rajesh Jena, Besmira Nushi, Sharan Wadhwani, Aditya Nori, Kal Natarajan, Shazad Ashraf, Javier Alvarez-Valle, Daniel Coelho de Castro
ICML 2021 Workshop on Interpretable Machine Learning in Healthcare | July 2021
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
Ozan Oktay, Jay Nanavati, Anton Schwaighofer, David Carter, Melissa Bristow, Ryutaro Tanno, Gill Barnett, David Noble, Yvonne Rimmer, Rajesh Jena, Ben Glocker, Kenton O'Hara, Christopher Bishop, Javier Alvarez-Valle, Aditya Nori
JAMA | November 2020
Goutham Ramakrishnan, Aditya Nori, Hannah Murfet, Pashmina Cameron
November 2020
Shruti Tople, Amit Sharma, Aditya V. Nori
International Conference on Machine Learning (ICML) | July 2020
Isabel Chien, Angel Enrique, Jorge Palacios, Tim Regan, Dessie Keegan, David Carter, Sebastian Tschiatschek, Aditya Nori, Anja Thieme, Derek Richards, Gavin Doherty, Danielle Belgrave
JAMA Network | June 2020, Vol 3(7)
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Computer Aided Verification (CAV) | July 2019
Meghan W Macomber, Mark Phillips, Ivan Tarapov, Rajesh Jena, Aditya Nori, David Carter, Loic Le Folgoc, Antonio Criminisi, Matthew J Nyflot
Physics in Medicine & Biology | November 2018, Vol 63(23)
Yao Qin, Konstantinos Kamnitsas, Siddharth Ancha, Jay Nanavati, Garrison Cottrell, Antonio Criminisi, Aditya Nori
International Conference on Medical Image Computing & Computer Assisted Intervention (MICCAI) | September 2018
Ryutaro Tanno, Kai Arulkumaran, Daniel C. Alexander, Antonio Criminisi, Aditya Nori
2018 International Conference on Machine Learning | July 2018
Konstantinos Kamnitsas, Daniel Coelho De Castro, Loic Le Folgoc, Ian Walker, Ryutaro Tanno, Daniel Rueckert, Ben Glocker, Antonio Criminisi, Aditya Nori
International Conference on Machine Learning (ICML) | July 2018
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori
OOPSLA '17: OO Programming, Systems, Languages, and Applications | October 2017
Loic Le Folgoc, Aditya Nori, Antonio Criminisi
Information Processing in Medical Imaging (IPMI) | June 2017
Konstantinos Kamnitsas, Christian Baumgartner, Christian Ledig, Virginia F.J. Newcombe, Joanna P. Simpson, Andrew D. Kane, David K. Menon, Aditya Nori, Antonio Criminisi, Daniel Rueckert, Ben Glocker
Information Processing in Medical Imaging (IPMI) | June 2017
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori
Fairness, Accountability, and Transparency in Machine Learning (FATML) | November 2016
Konstantinos Kamnitsas, Enzo Ferrante, Sarah Parisot, Christian Ledig, Aditya Nori, Antonio Criminisi, Daniel Rueckert, Ben Glocker
MICCAI Brain Lesion Workshop | October 2016
Loic Le Folgoc, Aditya Nori, Siddharth Ancha, Antonio Criminisi
MICCAI Brain Lesion Workshop | October 2016
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, Antonio Criminisi
Neural Information Processing Systems (NIPS) | May 2016
Aleksandar Chakarov, Aditya Nori, Sriram Rajamani, Shayak Sen, Deepak Vijaykeerthy
MSR-TR-2016-1135 | March 2016
Chung-Kil Hur, Aditya Nori, Sriram Rajamani
Foundations of Software Technology and Theoretical Computer Science (FSTTCS) | December 2015
Ravi Mangal, Xin Zhang, Mayur Naik, Aditya Nori
SAT '15: International Conference on Theory and Applications of Satisfiability Testing | September 2015
Ravi Mangal, Xin Zhang, Mayur Naik, Aditya Nori
Foundations of Software Engineering (FSE) | August 2015
Foundations of Software Engineering (FSE) - ACM SIGSOFT Distinguished Paper
ACM SIGSOFT Distinguished Paper
He Zhu, Aditya Nori, Suresh Jagannathan
International Conference on Functional Programming (ICFP) | August 2015
International Conference on Functional Programming (ICFP)
Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy,
Programming Language Design and Implementation (PLDI) | June 2015
He Zhu, Aditya Nori, Suresh Jagannathan
VMCAI '15: Verification, Model Checking and Abstract Interpretation | January 2015
Venkatesh Vinayakarao, Rahul Purandare, Aditya Nori
Partial Evaluation and Program Manipulation (PEPM) | January 2015
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
AAAI Conference on Artificial Intelligence (AAAI) | July 2014
Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel
Programming Language Design and Implementation (PLDI) | June 2014
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya Nori
Mining Software Repositories (MSR) | May 2014
Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani
International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014
Alex Aiken, Aditya Nori, Rahul Sharma
Principles of Programming Languages (POPL) | January 2014
Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
MSR-TR-2013-109 | October 2013
Guillaume Claret, Sriram Rajamani, Aditya Nori, Andy Gordon, Johannes Borgström
ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering | August 2013
Aditya Nori, Rahul Sharma
Foundations of Software Engineering (FSE) | August 2013
Arun Chaganty, Akash Lal, Aditya Nori, Sriram Rajamani
Computer Aided Verification (CAV) | July 2013
Sivakant Gopi, Praneeth Netrapalli, Prateek Jain, Aditya Nori
International Conference on Machine Learning (ICML) | June 2013
International Conference on Machine Learning (ICML)
, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya Nori
Static Analysis Symposium (SAS) | June 2013
Static Analysis Symposium (SAS)
Arun T. Chaganty, Aditya Nori, Sriram Rajamani
Artificial Intelligence and Statistics (AISTATS) | April 2013
, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya Nori
European Symposium on Programming (ESOP) | March 2013
Andrew D. Gordon, Mihhail Aizatulin, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani, Claudio Russo, Johannes Borgstroem, Andy Gordon
MSR-TR-2013-1 | January 2013
Published by Microsoft
Andy Gordon, Aditya Nori, Sriram Rajamani
January 2013
Aditya Nori, Alex Aiken
Computer Aided Verification | July 2012
Computer Aided Verification
Aws Albarghouthi, Rahul Kumar, Aditya Nori, Sriram Rajamani
Programming Languages Design and Implementation (PLDI) | June 2012
Rahul Sharma, Aditya Nori, Alex Aiken,
MSR-TR-2012-13 | January 2012
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori, G. Ramalingam
November 2011
Nels E. Beckman, Aditya Nori
PLDI '11: Programming Languages Design and Implementation | June 2011
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
SAS '10: Static Analysis Symposium | September 2010
International Conference on Software Engineering (ICSE) | May 2010
Nels E. Beckman, Aditya Nori, Sriram Rajamani, Robert J. Simmons, Sai Deep Tetali, Aditya V. Thakur
IEEE Transactions on Software Engineering (special issue on the ISSTA 2008 best papers) | March 2010
ISSTA 2008 best papers
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori
SAS '09: Static Analysis Symposium | August 2009
Michael C. Tschantz, Aditya Nori
Workshop on Quantitative Analysis of Software | June 2009
Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009
Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya Nori, Kapil Vaswani
Proceedings of the International Conference on Software Engineering (ICSE) | May 2009
Aditya Nori, Sriram Rajamani, Sai Deep Tetali, Aditya V. Thakur,
TACAS '09: Tools and Algorithms for the Construction and Analysis of Systems | March 2009
Patrice Godefroid, Peli de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
IEEE Software, Special Issue on Software Development Tools | October 2008
Bhargav Gulavani, Supratik Chakraborty, Aditya Nori, Sriram Rajamani
Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2008
Trishul Chilimbi, Aditya Nori, Kapil Vaswani
Proceedings of the Symposium on Foundations of Software Engineering (FSE) | September 2007
Kapil Vaswani, Aditya Nori, Trishul Chilimbi
Proceedings of the Symposium on Principles of Programming Languages (POPL) | January 2007
Aditya Nori, Priti Shankar
IEEE Transactions on Information Theory | October 2006
Bhargav Gulavani, Thomas Henzinger, Yamini Kannan, Aditya Nori, Sriram Rajamani
MSR-TR-2006-76 | April 2006
Priti Shankar, Madhu A. S, Aditya Nori
March 2005
January 2005
January 2005
Aditya Nori, Priti Shankar
Proceedings of the International Symposium on Information Theory and its Applications (ISITA) | October 2004
Proceedings of the International Symposium on Information Theory and its Applications (ISITA)
Madhu A. S, Aditya Nori
Resonance: Journal of Science Education, Indian Academy of Sciences | February 2004
Resonance: Journal of Science Education, Indian Academy of Sciences
Aditya Nori, Priti Shankar
Proceedings of the Forty-First Annual Allerton Conference on Communication, Control and Computing (Allerton) | October 2003
Resonance: Journal of Science Education, Indian Academy of Sciences | September 2003
Aditya Nori, Priti Shankar
Proceedings of the IEEE International Symposium on Information Theory (ISIT) | July 2003
Aditya Nori, Ashok Sreenivas
Proceedings of the Second International Workshop on Software Engineering Tools and Techniques | January 2001
Melanie Bernhardt, Daniel Coelho de Castro, Ryutaro Tanno, Anton Schwaighofer, Kerem C. Tezcan, Miguel Monteiro, Shruthi Bannur, Matthew P. Lungren, Aditya Nori, Ben Glocker, Javier Alvarez-Valle, Ozan Oktay
Nature Communications | March 2022, Vol 13(1161): pp. 1-11
Shruthi Bannur, Ozan Oktay, Melanie Bernhardt, Anton Schwaighofer, Rajesh Jena, Besmira Nushi, Sharan Wadhwani, Aditya Nori, Kal Natarajan, Shazad Ashraf, Javier Alvarez-Valle, Daniel Coelho de Castro
ICML 2021 Workshop on Interpretable Machine Learning in Healthcare | July 2021
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
Ozan Oktay, Jay Nanavati, Anton Schwaighofer, David Carter, Melissa Bristow, Ryutaro Tanno, Gill Barnett, David Noble, Yvonne Rimmer, Rajesh Jena, Ben Glocker, Kenton O'Hara, Christopher Bishop, Javier Alvarez-Valle, Aditya Nori
JAMA | November 2020
Goutham Ramakrishnan, Aditya Nori, Hannah Murfet, Pashmina Cameron
November 2020
Shruti Tople, Amit Sharma, Aditya V. Nori
International Conference on Machine Learning (ICML) | July 2020
Isabel Chien, Angel Enrique, Jorge Palacios, Tim Regan, Dessie Keegan, David Carter, Sebastian Tschiatschek, Aditya Nori, Anja Thieme, Derek Richards, Gavin Doherty, Danielle Belgrave
JAMA Network | June 2020, Vol 3(7)
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Computer Aided Verification (CAV) | July 2019
Yao Qin, Konstantinos Kamnitsas, Siddharth Ancha, Jay Nanavati, Garrison Cottrell, Antonio Criminisi, Aditya Nori
International Conference on Medical Image Computing & Computer Assisted Intervention (MICCAI) | September 2018
Ryutaro Tanno, Kai Arulkumaran, Daniel C. Alexander, Antonio Criminisi, Aditya Nori
2018 International Conference on Machine Learning | July 2018
Konstantinos Kamnitsas, Daniel Coelho De Castro, Loic Le Folgoc, Ian Walker, Ryutaro Tanno, Daniel Rueckert, Ben Glocker, Antonio Criminisi, Aditya Nori
International Conference on Machine Learning (ICML) | July 2018
Loic Le Folgoc, Aditya Nori, Antonio Criminisi
Information Processing in Medical Imaging (IPMI) | June 2017
Konstantinos Kamnitsas, Christian Baumgartner, Christian Ledig, Virginia F.J. Newcombe, Joanna P. Simpson, Andrew D. Kane, David K. Menon, Aditya Nori, Antonio Criminisi, Daniel Rueckert, Ben Glocker
Information Processing in Medical Imaging (IPMI) | June 2017
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori
Fairness, Accountability, and Transparency in Machine Learning (FATML) | November 2016
Loic Le Folgoc, Aditya Nori, Siddharth Ancha, Antonio Criminisi
MICCAI Brain Lesion Workshop | October 2016
Konstantinos Kamnitsas, Enzo Ferrante, Sarah Parisot, Christian Ledig, Aditya Nori, Antonio Criminisi, Daniel Rueckert, Ben Glocker
MICCAI Brain Lesion Workshop | October 2016
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, Antonio Criminisi
Neural Information Processing Systems (NIPS) | May 2016
Aleksandar Chakarov, Aditya Nori, Sriram Rajamani, Shayak Sen, Deepak Vijaykeerthy
MSR-TR-2016-1135 | March 2016
Chung-Kil Hur, Aditya Nori, Sriram Rajamani
Foundations of Software Technology and Theoretical Computer Science (FSTTCS) | December 2015
Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy,
Programming Language Design and Implementation (PLDI) | June 2015
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
AAAI Conference on Artificial Intelligence (AAAI) | July 2014
Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel
Programming Language Design and Implementation (PLDI) | June 2014
Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani
International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya Nori
Mining Software Repositories (MSR) | May 2014
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
MSR-TR-2013-109 | October 2013
Guillaume Claret, Sriram Rajamani, Aditya Nori, Andy Gordon, Johannes Borgström
ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering | August 2013
Aditya Nori, Rahul Sharma
Foundations of Software Engineering (FSE) | August 2013
Sivakant Gopi, Praneeth Netrapalli, Prateek Jain, Aditya Nori
International Conference on Machine Learning (ICML) | June 2013
International Conference on Machine Learning (ICML)
Arun T. Chaganty, Aditya Nori, Sriram Rajamani
Artificial Intelligence and Statistics (AISTATS) | April 2013
Andrew D. Gordon, Mihhail Aizatulin, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani, Claudio Russo, Johannes Borgstroem, Andy Gordon
MSR-TR-2013-1 | January 2013
Published by Microsoft
Andy Gordon, Aditya Nori, Sriram Rajamani
January 2013
Aditya Nori, Alex Aiken
Computer Aided Verification | July 2012
Computer Aided Verification
Rahul Sharma, Aditya Nori, Alex Aiken,
MSR-TR-2012-13 | January 2012
Nels E. Beckman, Aditya Nori
PLDI '11: Programming Languages Design and Implementation | June 2011
Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009
Michael C. Tschantz, Aditya Nori
Workshop on Quantitative Analysis of Software | June 2009
Melanie Bernhardt, Daniel Coelho de Castro, Ryutaro Tanno, Anton Schwaighofer, Kerem C. Tezcan, Miguel Monteiro, Shruthi Bannur, Matthew P. Lungren, Aditya Nori, Ben Glocker, Javier Alvarez-Valle, Ozan Oktay
Nature Communications | March 2022, Vol 13(1161): pp. 1-11
Shruthi Bannur, Ozan Oktay, Melanie Bernhardt, Anton Schwaighofer, Rajesh Jena, Besmira Nushi, Sharan Wadhwani, Aditya Nori, Kal Natarajan, Shazad Ashraf, Javier Alvarez-Valle, Daniel Coelho de Castro
ICML 2021 Workshop on Interpretable Machine Learning in Healthcare | July 2021
Ryutaro Tanno, Kai Arulkumaran, Daniel C. Alexander, Antonio Criminisi, Aditya Nori
2018 International Conference on Machine Learning | July 2018
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, Antonio Criminisi
Neural Information Processing Systems (NIPS) | May 2016
Melanie Bernhardt, Daniel Coelho de Castro, Ryutaro Tanno, Anton Schwaighofer, Kerem C. Tezcan, Miguel Monteiro, Shruthi Bannur, Matthew P. Lungren, Aditya Nori, Ben Glocker, Javier Alvarez-Valle, Ozan Oktay
Nature Communications | March 2022, Vol 13(1161): pp. 1-11
Shruthi Bannur, Ozan Oktay, Melanie Bernhardt, Anton Schwaighofer, Rajesh Jena, Besmira Nushi, Sharan Wadhwani, Aditya Nori, Kal Natarajan, Shazad Ashraf, Javier Alvarez-Valle, Daniel Coelho de Castro
ICML 2021 Workshop on Interpretable Machine Learning in Healthcare | July 2021
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
Ozan Oktay, Jay Nanavati, Anton Schwaighofer, David Carter, Melissa Bristow, Ryutaro Tanno, Gill Barnett, David Noble, Yvonne Rimmer, Rajesh Jena, Ben Glocker, Kenton O'Hara, Christopher Bishop, Javier Alvarez-Valle, Aditya Nori
JAMA | November 2020
Goutham Ramakrishnan, Aditya Nori, Hannah Murfet, Pashmina Cameron
November 2020
Isabel Chien, Angel Enrique, Jorge Palacios, Tim Regan, Dessie Keegan, David Carter, Sebastian Tschiatschek, Aditya Nori, Anja Thieme, Derek Richards, Gavin Doherty, Danielle Belgrave
JAMA Network | June 2020, Vol 3(7)
Meghan W Macomber, Mark Phillips, Ivan Tarapov, Rajesh Jena, Aditya Nori, David Carter, Loic Le Folgoc, Antonio Criminisi, Matthew J Nyflot
Physics in Medicine & Biology | November 2018, Vol 63(23)
Ryutaro Tanno, Kai Arulkumaran, Daniel C. Alexander, Antonio Criminisi, Aditya Nori
2018 International Conference on Machine Learning | July 2018
Loic Le Folgoc, Aditya Nori, Antonio Criminisi
Information Processing in Medical Imaging (IPMI) | June 2017
Konstantinos Kamnitsas, Christian Baumgartner, Christian Ledig, Virginia F.J. Newcombe, Joanna P. Simpson, Andrew D. Kane, David K. Menon, Aditya Nori, Antonio Criminisi, Daniel Rueckert, Ben Glocker
Information Processing in Medical Imaging (IPMI) | June 2017
Loic Le Folgoc, Aditya Nori, Siddharth Ancha, Antonio Criminisi
MICCAI Brain Lesion Workshop | October 2016
Konstantinos Kamnitsas, Enzo Ferrante, Sarah Parisot, Christian Ledig, Aditya Nori, Antonio Criminisi, Daniel Rueckert, Ben Glocker
MICCAI Brain Lesion Workshop | October 2016
Aditya Nori, Ashok Sreenivas
Proceedings of the Second International Workshop on Software Engineering Tools and Techniques | January 2001
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Computer Aided Verification (CAV) | July 2019
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori
OOPSLA '17: OO Programming, Systems, Languages, and Applications | October 2017
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori
Fairness, Accountability, and Transparency in Machine Learning (FATML) | November 2016
Aleksandar Chakarov, Aditya Nori, Sriram Rajamani, Shayak Sen, Deepak Vijaykeerthy
MSR-TR-2016-1135 | March 2016
Chung-Kil Hur, Aditya Nori, Sriram Rajamani
Foundations of Software Technology and Theoretical Computer Science (FSTTCS) | December 2015
Ravi Mangal, Xin Zhang, Mayur Naik, Aditya Nori
SAT '15: International Conference on Theory and Applications of Satisfiability Testing | September 2015
He Zhu, Aditya Nori, Suresh Jagannathan
International Conference on Functional Programming (ICFP) | August 2015
International Conference on Functional Programming (ICFP)
Ravi Mangal, Xin Zhang, Mayur Naik, Aditya Nori
Foundations of Software Engineering (FSE) | August 2015
Foundations of Software Engineering (FSE) - ACM SIGSOFT Distinguished Paper
ACM SIGSOFT Distinguished Paper
Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy,
Programming Language Design and Implementation (PLDI) | June 2015
He Zhu, Aditya Nori, Suresh Jagannathan
VMCAI '15: Verification, Model Checking and Abstract Interpretation | January 2015
Venkatesh Vinayakarao, Rahul Purandare, Aditya Nori
Partial Evaluation and Program Manipulation (PEPM) | January 2015
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
AAAI Conference on Artificial Intelligence (AAAI) | July 2014
Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel
Programming Language Design and Implementation (PLDI) | June 2014
Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani
International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya Nori
Mining Software Repositories (MSR) | May 2014
Alex Aiken, Aditya Nori, Rahul Sharma
Principles of Programming Languages (POPL) | January 2014
Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
MSR-TR-2013-109 | October 2013
Guillaume Claret, Sriram Rajamani, Aditya Nori, Andy Gordon, Johannes Borgström
ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering | August 2013
Aditya Nori, Rahul Sharma
Foundations of Software Engineering (FSE) | August 2013
Arun Chaganty, Akash Lal, Aditya Nori, Sriram Rajamani
Computer Aided Verification (CAV) | July 2013
, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya Nori
Static Analysis Symposium (SAS) | June 2013
Static Analysis Symposium (SAS)
Arun T. Chaganty, Aditya Nori, Sriram Rajamani
Artificial Intelligence and Statistics (AISTATS) | April 2013
, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya Nori
European Symposium on Programming (ESOP) | March 2013
Andy Gordon, Aditya Nori, Sriram Rajamani
January 2013
Andrew D. Gordon, Mihhail Aizatulin, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani, Claudio Russo, Johannes Borgstroem, Andy Gordon
MSR-TR-2013-1 | January 2013
Published by Microsoft
Aditya Nori, Alex Aiken
Computer Aided Verification | July 2012
Computer Aided Verification
Aws Albarghouthi, Rahul Kumar, Aditya Nori, Sriram Rajamani
Programming Languages Design and Implementation (PLDI) | June 2012
Rahul Sharma, Aditya Nori, Alex Aiken,
MSR-TR-2012-13 | January 2012
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori, G. Ramalingam
November 2011
Nels E. Beckman, Aditya Nori
PLDI '11: Programming Languages Design and Implementation | June 2011
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
SAS '10: Static Analysis Symposium | September 2010
International Conference on Software Engineering (ICSE) | May 2010
Nels E. Beckman, Aditya Nori, Sriram Rajamani, Robert J. Simmons, Sai Deep Tetali, Aditya V. Thakur
IEEE Transactions on Software Engineering (special issue on the ISSTA 2008 best papers) | March 2010
ISSTA 2008 best papers
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori
SAS '09: Static Analysis Symposium | August 2009
Michael C. Tschantz, Aditya Nori
Workshop on Quantitative Analysis of Software | June 2009
Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009
Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya Nori, Kapil Vaswani
Proceedings of the International Conference on Software Engineering (ICSE) | May 2009
Aditya Nori, Sriram Rajamani, Sai Deep Tetali, Aditya V. Thakur,
TACAS '09: Tools and Algorithms for the Construction and Analysis of Systems | March 2009
Patrice Godefroid, Peli de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
IEEE Software, Special Issue on Software Development Tools | October 2008
Bhargav Gulavani, Supratik Chakraborty, Aditya Nori, Sriram Rajamani
Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2008
Trishul Chilimbi, Aditya Nori, Kapil Vaswani
Proceedings of the Symposium on Foundations of Software Engineering (FSE) | September 2007
Aditya Nori, Priti Shankar
Proceedings of the International Symposium on Information Theory and its Applications (ISITA) | October 2004
Proceedings of the International Symposium on Information Theory and its Applications (ISITA)
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
Shruti Tople, Amit Sharma, Aditya V. Nori
International Conference on Machine Learning (ICML) | July 2020
Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009
Michael C. Tschantz, Aditya Nori
Workshop on Quantitative Analysis of Software | June 2009
Isabel Chien, Angel Enrique, Jorge Palacios, Tim Regan, Dessie Keegan, David Carter, Sebastian Tschiatschek, Aditya Nori, Anja Thieme, Derek Richards, Gavin Doherty, Danielle Belgrave
JAMA Network | June 2020, Vol 3(7)
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori
SAS '09: Static Analysis Symposium | August 2009
Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009
Bhargav Gulavani, Thomas Henzinger, Yamini Kannan, Aditya Nori, Sriram Rajamani
MSR-TR-2006-76 | April 2006
Priti Shankar, Madhu A. S, Aditya Nori
March 2005
Madhu A. S, Aditya Nori
Resonance: Journal of Science Education, Indian Academy of Sciences | February 2004
Resonance: Journal of Science Education, Indian Academy of Sciences
Aditya Nori, Priti Shankar
Proceedings of the Forty-First Annual Allerton Conference on Communication, Control and Computing (Allerton) | October 2003
Aditya Nori, Priti Shankar
Proceedings of the IEEE International Symposium on Information Theory (ISIT) | July 2003
Kapil Vaswani, Aditya Nori, Trishul Chilimbi
Proceedings of the Symposium on Principles of Programming Languages (POPL) | January 2007
Aditya Nori, Priti Shankar
IEEE Transactions on Information Theory | October 2006
January 2005
January 2005
Resonance: Journal of Science Education, Indian Academy of Sciences | September 2003
Melanie Bernhardt, Daniel Coelho de Castro, Ryutaro Tanno, Anton Schwaighofer, Kerem C. Tezcan, Miguel Monteiro, Shruthi Bannur, Matthew P. Lungren, Aditya Nori, Ben Glocker, Javier Alvarez-Valle, Ozan Oktay
Nature Communications | March 2022, Vol 13(1161): pp. 1-11
Ozan Oktay, Jay Nanavati, Anton Schwaighofer, David Carter, Melissa Bristow, Ryutaro Tanno, Gill Barnett, David Noble, Yvonne Rimmer, Rajesh Jena, Ben Glocker, Kenton O'Hara, Christopher Bishop, Javier Alvarez-Valle, Aditya Nori
JAMA | November 2020
Isabel Chien, Angel Enrique, Jorge Palacios, Tim Regan, Dessie Keegan, David Carter, Sebastian Tschiatschek, Aditya Nori, Anja Thieme, Derek Richards, Gavin Doherty, Danielle Belgrave
JAMA Network | June 2020, Vol 3(7)
Meghan W Macomber, Mark Phillips, Ivan Tarapov, Rajesh Jena, Aditya Nori, David Carter, Loic Le Folgoc, Antonio Criminisi, Matthew J Nyflot
Physics in Medicine & Biology | November 2018, Vol 63(23)
Patrice Godefroid, Peli de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
IEEE Software, Special Issue on Software Development Tools | October 2008
Resonance: Journal of Science Education, Indian Academy of Sciences | September 2003
Aditya Nori, Ashok Sreenivas
Proceedings of the Second International Workshop on Software Engineering Tools and Techniques | January 2001
Shruthi Bannur, Ozan Oktay, Melanie Bernhardt, Anton Schwaighofer, Rajesh Jena, Besmira Nushi, Sharan Wadhwani, Aditya Nori, Kal Natarajan, Shazad Ashraf, Javier Alvarez-Valle, Daniel Coelho de Castro
ICML 2021 Workshop on Interpretable Machine Learning in Healthcare | July 2021
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
Shruti Tople, Amit Sharma, Aditya V. Nori
International Conference on Machine Learning (ICML) | July 2020
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Computer Aided Verification (CAV) | July 2019
Yao Qin, Konstantinos Kamnitsas, Siddharth Ancha, Jay Nanavati, Garrison Cottrell, Antonio Criminisi, Aditya Nori
International Conference on Medical Image Computing & Computer Assisted Intervention (MICCAI) | September 2018
Ryutaro Tanno, Kai Arulkumaran, Daniel C. Alexander, Antonio Criminisi, Aditya Nori
2018 International Conference on Machine Learning | July 2018
Konstantinos Kamnitsas, Daniel Coelho De Castro, Loic Le Folgoc, Ian Walker, Ryutaro Tanno, Daniel Rueckert, Ben Glocker, Antonio Criminisi, Aditya Nori
International Conference on Machine Learning (ICML) | July 2018
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori
OOPSLA '17: OO Programming, Systems, Languages, and Applications | October 2017
Loic Le Folgoc, Aditya Nori, Antonio Criminisi
Information Processing in Medical Imaging (IPMI) | June 2017
Konstantinos Kamnitsas, Christian Baumgartner, Christian Ledig, Virginia F.J. Newcombe, Joanna P. Simpson, Andrew D. Kane, David K. Menon, Aditya Nori, Antonio Criminisi, Daniel Rueckert, Ben Glocker
Information Processing in Medical Imaging (IPMI) | June 2017
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori
Fairness, Accountability, and Transparency in Machine Learning (FATML) | November 2016
Loic Le Folgoc, Aditya Nori, Siddharth Ancha, Antonio Criminisi
MICCAI Brain Lesion Workshop | October 2016
Konstantinos Kamnitsas, Enzo Ferrante, Sarah Parisot, Christian Ledig, Aditya Nori, Antonio Criminisi, Daniel Rueckert, Ben Glocker
MICCAI Brain Lesion Workshop | October 2016
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, Antonio Criminisi
Neural Information Processing Systems (NIPS) | May 2016
Chung-Kil Hur, Aditya Nori, Sriram Rajamani
Foundations of Software Technology and Theoretical Computer Science (FSTTCS) | December 2015
Ravi Mangal, Xin Zhang, Mayur Naik, Aditya Nori
SAT '15: International Conference on Theory and Applications of Satisfiability Testing | September 2015
He Zhu, Aditya Nori, Suresh Jagannathan
International Conference on Functional Programming (ICFP) | August 2015
International Conference on Functional Programming (ICFP)
Ravi Mangal, Xin Zhang, Mayur Naik, Aditya Nori
Foundations of Software Engineering (FSE) | August 2015
Foundations of Software Engineering (FSE) - ACM SIGSOFT Distinguished Paper
ACM SIGSOFT Distinguished Paper
Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy,
Programming Language Design and Implementation (PLDI) | June 2015
He Zhu, Aditya Nori, Suresh Jagannathan
VMCAI '15: Verification, Model Checking and Abstract Interpretation | January 2015
Venkatesh Vinayakarao, Rahul Purandare, Aditya Nori
Partial Evaluation and Program Manipulation (PEPM) | January 2015
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
AAAI Conference on Artificial Intelligence (AAAI) | July 2014
Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel
Programming Language Design and Implementation (PLDI) | June 2014
Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani
International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya Nori
Mining Software Repositories (MSR) | May 2014
Alex Aiken, Aditya Nori, Rahul Sharma
Principles of Programming Languages (POPL) | January 2014
Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
Guillaume Claret, Sriram Rajamani, Aditya Nori, Andy Gordon, Johannes Borgström
ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering | August 2013
Aditya Nori, Rahul Sharma
Foundations of Software Engineering (FSE) | August 2013
Arun Chaganty, Akash Lal, Aditya Nori, Sriram Rajamani
Computer Aided Verification (CAV) | July 2013
, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya Nori
Static Analysis Symposium (SAS) | June 2013
Static Analysis Symposium (SAS)
Sivakant Gopi, Praneeth Netrapalli, Prateek Jain, Aditya Nori
International Conference on Machine Learning (ICML) | June 2013
International Conference on Machine Learning (ICML)
Arun T. Chaganty, Aditya Nori, Sriram Rajamani
Artificial Intelligence and Statistics (AISTATS) | April 2013
, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya Nori
European Symposium on Programming (ESOP) | March 2013
Andy Gordon, Aditya Nori, Sriram Rajamani
January 2013
Aditya Nori, Alex Aiken
Computer Aided Verification | July 2012
Computer Aided Verification
Aws Albarghouthi, Rahul Kumar, Aditya Nori, Sriram Rajamani
Programming Languages Design and Implementation (PLDI) | June 2012
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori, G. Ramalingam
November 2011
Nels E. Beckman, Aditya Nori
PLDI '11: Programming Languages Design and Implementation | June 2011
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
SAS '10: Static Analysis Symposium | September 2010
International Conference on Software Engineering (ICSE) | May 2010
Nels E. Beckman, Aditya Nori, Sriram Rajamani, Robert J. Simmons, Sai Deep Tetali, Aditya V. Thakur
IEEE Transactions on Software Engineering (special issue on the ISSTA 2008 best papers) | March 2010
ISSTA 2008 best papers
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori
SAS '09: Static Analysis Symposium | August 2009
Michael C. Tschantz, Aditya Nori
Workshop on Quantitative Analysis of Software | June 2009
Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009
Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya Nori, Kapil Vaswani
Proceedings of the International Conference on Software Engineering (ICSE) | May 2009
Aditya Nori, Sriram Rajamani, Sai Deep Tetali, Aditya V. Thakur,
TACAS '09: Tools and Algorithms for the Construction and Analysis of Systems | March 2009
Bhargav Gulavani, Supratik Chakraborty, Aditya Nori, Sriram Rajamani
Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2008
Trishul Chilimbi, Aditya Nori, Kapil Vaswani
Proceedings of the Symposium on Foundations of Software Engineering (FSE) | September 2007
Kapil Vaswani, Aditya Nori, Trishul Chilimbi
Proceedings of the Symposium on Principles of Programming Languages (POPL) | January 2007
Aditya Nori, Priti Shankar
IEEE Transactions on Information Theory | October 2006
Priti Shankar, Madhu A. S, Aditya Nori
March 2005
Aditya Nori, Priti Shankar
Proceedings of the International Symposium on Information Theory and its Applications (ISITA) | October 2004
Proceedings of the International Symposium on Information Theory and its Applications (ISITA)
Madhu A. S, Aditya Nori
Resonance: Journal of Science Education, Indian Academy of Sciences | February 2004
Resonance: Journal of Science Education, Indian Academy of Sciences
Aditya Nori, Priti Shankar
Proceedings of the Forty-First Annual Allerton Conference on Communication, Control and Computing (Allerton) | October 2003
Aditya Nori, Priti Shankar
Proceedings of the IEEE International Symposium on Information Theory (ISIT) | July 2003
Goutham Ramakrishnan, Aditya Nori, Hannah Murfet, Pashmina Cameron
November 2020
Aleksandar Chakarov, Aditya Nori, Sriram Rajamani, Shayak Sen, Deepak Vijaykeerthy
MSR-TR-2016-1135 | March 2016
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
MSR-TR-2013-109 | October 2013
Andrew D. Gordon, Mihhail Aizatulin, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani, Claudio Russo, Johannes Borgstroem, Andy Gordon
MSR-TR-2013-1 | January 2013
Published by Microsoft
Rahul Sharma, Aditya Nori, Alex Aiken,
MSR-TR-2012-13 | January 2012
Bhargav Gulavani, Thomas Henzinger, Yamini Kannan, Aditya Nori, Sriram Rajamani
MSR-TR-2006-76 | April 2006
January 2005
January 2005
