Aditya Nori, Ashok Sreenivas
Proceedings of the Second International Workshop on Software Engineering Tools and Techniques | January 2001
View Publication
Shruthi Bannur, Stephanie Hyland, Flora Liu, Fernando Pérez-García, Maximilian Ilse, Daniel Coelho de Castro, Benedikt Boecking, Harshita Sharma, Kenza Bouzid, Anja Thieme, Anton Schwaighofer, Maria Teodora Wetscherek, Matthew Lungren, Aditya Nori, Javier Alvarez-Valle, Ozan Oktay
The IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) | June 2023
Preprint | Video
Anja Thieme, Aditya Nori, Marzyeh Ghassemi, Rishi Bommasani, Tariq Osman Andersen, Ewa Luger
CHI 2023 | April 2023
View Publication
Benedikt Boecking, Naoto Usuyama, Shruthi Bannur, Daniel Coelho de Castro, Anton Schwaighofer, Stephanie Hyland, Maria Teodora Wetscherek, Tristan Naumann, Aditya Nori, Javier Alvarez-Valle, Hoifung Poon, Ozan Oktay
The European Conference on Computer Vision (ECCV) | October 2022
Preprint | GitHub | Poster | Related File | Related File | Video
Ryutaro Tanno, Melanie Fernandez Pradier, Aditya Nori, Yingzhen Li
2022 Neural Information Processing Systems | July 2022
View Publication
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
Download PDF | Preprint
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
NeurIPS PPML Workshop | December 2020
View Publication
Shruti Tople, Amit Sharma, Aditya V. Nori
International Conference on Machine Learning (ICML) | July 2020
View Publication | Download
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Computer Aided Verification (CAV) | July 2019
View Publication
Yao Qin, Konstantinos Kamnitsas, Siddharth Ancha, Jay Nanavati, Garrison W. Cottrell, Antonio Criminisi, Aditya Nori
International Conference on Medical Image Computing & Computer Assisted Intervention (MICCAI) | September 2018
DOI | View Publication
Konstantinos Kamnitsas, Daniel C. Castro, Loic Le Folgoc, Ian Walker, Ryutaro Tanno, Daniel Rueckert, Ben Glocker, Antonio Criminisi, Aditya Nori
International Conference on Machine Learning (ICML) | June 2018
View Publication | View Publication
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori
OOPSLA '17: OO Programming, Systems, Languages, and Applications | October 2017
View Publication
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
View Publication
Loic Le Folgoc, Aditya Nori, Antonio Criminisi
Information Processing in Medical Imaging (IPMI) | June 2017
DOI | Download PDF | View Publication
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori
Fairness, Accountability, and Transparency in Machine Learning (FATML) | November 2016
View Publication
Loic Le Folgoc, Aditya Nori, Siddharth Ancha, Antonio Criminisi
MICCAI Brain Lesion Workshop | October 2016
DOI | Download PDF | View Publication
Konstantinos Kamnitsas, Enzo Ferrante, Sarah Parisot, Christian Ledig, Aditya Nori, Antonio Criminisi, Daniel Rueckert, Ben Glocker
MICCAI Brain Lesion Workshop | October 2016
DOI | Download PDF | View Publication
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, Antonio Criminisi
Neural Information Processing Systems (NIPS) | May 2016
View Publication
Chung-Kil Hur, Aditya Nori, Sriram Rajamani
Foundations of Software Technology and Theoretical Computer Science (FSTTCS) | December 2015
View Publication
Ravi Mangal, Xin Zhang, Mayur Naik, Aditya Nori
SAT '15: International Conference on Theory and Applications of Satisfiability Testing | September 2015
View Publication
He Zhu, Aditya Nori, Suresh Jagannathan
International Conference on Functional Programming (ICFP) | August 2015
International Conference on Functional Programming (ICFP)
View Publication
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
View Publication
Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy,
Programming Language Design and Implementation (PLDI) | June 2015
View Publication | View Publication | View Publication
He Zhu, Aditya Nori, Suresh Jagannathan
VMCAI '15: Verification, Model Checking and Abstract Interpretation | January 2015
View Publication
Venkatesh Vinayakarao, Rahul Purandare, Aditya Nori
Partial Evaluation and Program Manipulation (PEPM) | January 2015
View Publication
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
AAAI Conference on Artificial Intelligence (AAAI) | July 2014
View Publication
Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel
Programming Language Design and Implementation (PLDI) | June 2014
View Publication
Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani
International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014
View Publication
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya Nori
Mining Software Repositories (MSR) | May 2014
View Publication
Alex Aiken, Aditya Nori, Rahul Sharma
Principles of Programming Languages (POPL) | January 2014
View Publication
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
Download PDF | DOI
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
View Publication | View Publication
Aditya Nori, Rahul Sharma
Foundations of Software Engineering (FSE) | August 2013
View Publication
Arun Chaganty, Akash Lal, Aditya Nori, Sriram Rajamani
Computer Aided Verification (CAV) | July 2013
View Publication
Sivakant Gopi, Praneeth Netrapalli, Prateek Jain, Aditya Nori
International Conference on Machine Learning (ICML) | June 2013
International Conference on Machine Learning (ICML)
View Publication
, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya Nori
Static Analysis Symposium (SAS) | June 2013
Static Analysis Symposium (SAS)
View Publication
Arun T. Chaganty, Aditya Nori, Sriram Rajamani
Artificial Intelligence and Statistics (AISTATS) | April 2013
View Publication
, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya Nori
European Symposium on Programming (ESOP) | March 2013
View Publication
Andy Gordon, Aditya Nori, Sriram Rajamani
January 2013
View Publication
Aditya Nori, Alex Aiken
Computer Aided Verification | July 2012
Computer Aided Verification
View Publication
Aws Albarghouthi, Rahul Kumar, Aditya Nori, Sriram Rajamani
Programming Languages Design and Implementation (PLDI) | June 2012
View Publication
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori, G. Ramalingam
November 2011
View Publication
Nels E. Beckman, Aditya Nori
PLDI '11: Programming Languages Design and Implementation | June 2011
View Publication
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
SAS '10: Static Analysis Symposium | September 2010
View Publication
Aditya Nori, Sriram Rajamani
International Conference on Software Engineering (ICSE) | May 2010
View Publication
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
View Publication
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
View Publication
Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya Nori
SAS '09: Static Analysis Symposium | August 2009
View Publication
Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009
View Publication
Michael C. Tschantz, Aditya Nori
Workshop on Quantitative Analysis of Software | June 2009
View Publication
Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya Nori, Kapil Vaswani
Proceedings of the International Conference on Software Engineering (ICSE) | May 2009
View Publication
Aditya Nori, Sriram Rajamani, Sai Deep Tetali, Aditya V. Thakur,
TACAS '09: Tools and Algorithms for the Construction and Analysis of Systems | March 2009
View Publication
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
View Publication
Trishul Chilimbi, Aditya Nori, Kapil Vaswani
Proceedings of the Symposium on Foundations of Software Engineering (FSE) | September 2007
View Publication
Kapil Vaswani, Aditya Nori, Trishul Chilimbi
Proceedings of the Symposium on Principles of Programming Languages (POPL) | January 2007
View Publication
Aditya Nori, Priti Shankar
IEEE Transactions on Information Theory | October 2006
View Publication
Priti Shankar, Madhu A. S, Aditya Nori
March 2005
View Publication
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)
View Publication
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
View Publication
Aditya Nori, Priti Shankar
Proceedings of the Forty-First Annual Allerton Conference on Communication, Control and Computing (Allerton) | October 2003
View Publication
Aditya Nori, Priti Shankar
Proceedings of the IEEE International Symposium on Information Theory (ISIT) | July 2003
View Publication