Partner Research Manager
Xinnuo Xu, Rachel Lawrence, Kshitij Dubey, Atharva Pandey, Fabian Falck, Risa Ueno, Aditya Nori, Rahul Sharma, Amit Sharma, Javier González
ICLR 2025 - Workshop on Reasoning and Planning for LLMs | March 2025
NeurIPS 2024 | August 2024
Nur Yildirim, Hannah Richardson (nee Murfet), Maria T Wetscherek, Junaid Bajwa, Joseph Jacob, Mark A Pinnock, Stephen Harris, Daniel Coelho de Castro, Shruthi Bannur, Stephanie Hyland, Pratik Ghosh, Mercy Ranjit, Kenza Bouzid, Anton Schwaighofer, Fernando Pérez-García, Harshita Sharma, Ozan Oktay, Matthew P Lungren, Javier Alvarez-Valle, Aditya Nori, Anja Thieme
CHI 2024 | May 2024
Anja Thieme, Abhijith Rajamohan, Benjamin Cooper, Heather Groombridge, Robert Simister, Barney Wong, Nicholas Woznitza, Mark Ames Pinnock, Maria Teodora Wetscherek, Cecily Morrison, Hannah Richardson (nee Murfet), Fernando Pérez-García, Stephanie Hyland, Shruthi Bannur, Daniel Coelho de Castro, Kenza Bouzid, Anton Schwaighofer, Mercy Ranjit, Harshita Sharma, Matthew P Lungren, Ozan Oktay, Javier Alvarez-Valle, Aditya Nori, Stephen Harris, Joseph Jacob
2405.05299 | May 2024
Published by arXiv
Kenza Bouzid, Harshita Sharma, Sarah Killcoyne, Daniel Coelho de Castro, Anton Schwaighofer, Maximilian Ilse, Valentina Salvatelli, Ozan Oktay, Sumanth Murthy, Lucas Bordeaux, Luiza Moore, Maria O'Donovan, Anja Thieme, Aditya Nori, Marcel Gehrung, Javier Alvarez-Valle
Nature Communications | March 2024, Vol 15
Fernando Pérez-García, Sam Bond-Taylor, Pedro P. Sanchez, Boris van Breugel, Daniel Coelho de Castro, Harshita Sharma, Valentina Salvatelli, Maria T. A. Wetscherek, Hannah Richardson (nee Murfet), Matthew P Lungren, Aditya Nori, Javier Alvarez-Valle, Ozan Oktay, Maximilian Ilse
ECCV 2024 | December 2023
Niranjani Prasad, Isabel Chien, Tim Regan, Angel Enrique, Jorge Palacios, Dessie Kegan, Usman Munir, Ryutaro Tanno, Hannah Richardson (nee Murfet), Aditya Nori, Derek Richards, Gavin Doherty, Danielle Belgrave, Anja Thieme
PLOS ONE | November 2023, Vol 18(11)
Javier González, Cliff Wong, Zelalem Gero, Jaspreet Bagga, Risa Ueno, Isabel Chien, Eduard Orakvin, Emre Kiciman, Aditya Nori, R. Weerasinghe, R. Leidner, B. Piening, Tristan Naumann, C. Bifulco, Hoifung Poon
ArXiv | November 2023, Vol abs/2311.01301
Qianchu Liu, Stephanie Hyland, Shruthi Bannur, Kenza Bouzid, Daniel Coelho de Castro, Maria Teodora Wetscherek, Robert Tinn, Harshita Sharma, Fernando Pérez-García, Anton Schwaighofer, Pranav Rajpurkar, Sameer Tajdin Khanna, Hoifung Poon, Naoto Usuyama, Anja Thieme, Aditya Nori, Matthew P Lungren, Ozan Oktay, Javier Alvarez-Valle
EMNLP 2023 | October 2023
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
Anja Thieme, Aditya Nori, Marzyeh Ghassemi, Rishi Bommasani, Tariq Osman Andersen, Ewa Luger
CHI 2023 | April 2023
Fangyu Liu, Qianchu Liu, Shruthi Bannur, Fernando Pérez-García, Naoto Usuyama, Sheng Zhang, Tristan Naumann, Aditya Nori, Hoifung Poon, Javier Alvarez-Valle, Ozan Oktay, Stephanie Hyland
TACL 2023 | March 2023
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
Ryutaro Tanno, Melanie Fernandez Pradier, Aditya Nori, Yingzhen Li
2022 Neural Information Processing Systems | July 2022
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
Junaid Bajwa, Aditya Nori, Bryan Williams, Usman Munir
Future Healthcare Journal | July 2021
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 Richardson (nee 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
M. W. Macomber, M. H. Phillips, Ivan Tarapov, R. Jena, Aditya Nori, David Carter, Loic Le Folgoc, Antonio Criminisi, M. J. Nyflot
Physics in Medicine and Biology | November 2018, Vol 63(23): pp. 235002-235002
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 W. Cottrell, Antonio Criminisi, Aditya Nori
International Conference on Medical Image Computing & Computer Assisted Intervention (MICCAI) | September 2018
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
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori
OOPSLA '17: OO Programming, Systems, Languages, and Applications | October 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, Antonio Criminisi
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, Jonathan "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
Xinnuo Xu, Rachel Lawrence, Kshitij Dubey, Atharva Pandey, Fabian Falck, Risa Ueno, Aditya Nori, Rahul Sharma, Amit Sharma, Javier González
ICLR 2025 - Workshop on Reasoning and Planning for LLMs | March 2025
NeurIPS 2024 | August 2024
Nur Yildirim, Hannah Richardson (nee Murfet), Maria T Wetscherek, Junaid Bajwa, Joseph Jacob, Mark A Pinnock, Stephen Harris, Daniel Coelho de Castro, Shruthi Bannur, Stephanie Hyland, Pratik Ghosh, Mercy Ranjit, Kenza Bouzid, Anton Schwaighofer, Fernando Pérez-García, Harshita Sharma, Ozan Oktay, Matthew P Lungren, Javier Alvarez-Valle, Aditya Nori, Anja Thieme
CHI 2024 | May 2024
Anja Thieme, Abhijith Rajamohan, Benjamin Cooper, Heather Groombridge, Robert Simister, Barney Wong, Nicholas Woznitza, Mark Ames Pinnock, Maria Teodora Wetscherek, Cecily Morrison, Hannah Richardson (nee Murfet), Fernando Pérez-García, Stephanie Hyland, Shruthi Bannur, Daniel Coelho de Castro, Kenza Bouzid, Anton Schwaighofer, Mercy Ranjit, Harshita Sharma, Matthew P Lungren, Ozan Oktay, Javier Alvarez-Valle, Aditya Nori, Stephen Harris, Joseph Jacob
2405.05299 | May 2024
Published by arXiv
Kenza Bouzid, Harshita Sharma, Sarah Killcoyne, Daniel Coelho de Castro, Anton Schwaighofer, Maximilian Ilse, Valentina Salvatelli, Ozan Oktay, Sumanth Murthy, Lucas Bordeaux, Luiza Moore, Maria O'Donovan, Anja Thieme, Aditya Nori, Marcel Gehrung, Javier Alvarez-Valle
Nature Communications | March 2024, Vol 15
Fernando Pérez-García, Sam Bond-Taylor, Pedro P. Sanchez, Boris van Breugel, Daniel Coelho de Castro, Harshita Sharma, Valentina Salvatelli, Maria T. A. Wetscherek, Hannah Richardson (nee Murfet), Matthew P Lungren, Aditya Nori, Javier Alvarez-Valle, Ozan Oktay, Maximilian Ilse
ECCV 2024 | December 2023
Niranjani Prasad, Isabel Chien, Tim Regan, Angel Enrique, Jorge Palacios, Dessie Kegan, Usman Munir, Ryutaro Tanno, Hannah Richardson (nee Murfet), Aditya Nori, Derek Richards, Gavin Doherty, Danielle Belgrave, Anja Thieme
PLOS ONE | November 2023, Vol 18(11)
Javier González, Cliff Wong, Zelalem Gero, Jaspreet Bagga, Risa Ueno, Isabel Chien, Eduard Orakvin, Emre Kiciman, Aditya Nori, R. Weerasinghe, R. Leidner, B. Piening, Tristan Naumann, C. Bifulco, Hoifung Poon
ArXiv | November 2023, Vol abs/2311.01301
Qianchu Liu, Stephanie Hyland, Shruthi Bannur, Kenza Bouzid, Daniel Coelho de Castro, Maria Teodora Wetscherek, Robert Tinn, Harshita Sharma, Fernando Pérez-García, Anton Schwaighofer, Pranav Rajpurkar, Sameer Tajdin Khanna, Hoifung Poon, Naoto Usuyama, Anja Thieme, Aditya Nori, Matthew P Lungren, Ozan Oktay, Javier Alvarez-Valle
EMNLP 2023 | October 2023
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
Anja Thieme, Aditya Nori, Marzyeh Ghassemi, Rishi Bommasani, Tariq Osman Andersen, Ewa Luger
CHI 2023 | April 2023
Fangyu Liu, Qianchu Liu, Shruthi Bannur, Fernando Pérez-García, Naoto Usuyama, Sheng Zhang, Tristan Naumann, Aditya Nori, Hoifung Poon, Javier Alvarez-Valle, Ozan Oktay, Stephanie Hyland
TACL 2023 | March 2023
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
Ryutaro Tanno, Melanie Fernandez Pradier, Aditya Nori, Yingzhen Li
2022 Neural Information Processing Systems | July 2022
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
Junaid Bajwa, Aditya Nori, Bryan Williams, Usman Munir
Future Healthcare Journal | July 2021
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 Richardson (nee 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 W. Cottrell, Antonio Criminisi, Aditya Nori
International Conference on Medical Image Computing & Computer Assisted Intervention (MICCAI) | September 2018
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
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, Antonio Criminisi
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
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
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
MSR-TR-2013-109 | October 2013
Aditya Nori, Rahul Sharma
Foundations of Software Engineering (FSE) | August 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
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
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
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
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
Anja Thieme, Abhijith Rajamohan, Benjamin Cooper, Heather Groombridge, Robert Simister, Barney Wong, Nicholas Woznitza, Mark Ames Pinnock, Maria Teodora Wetscherek, Cecily Morrison, Hannah Richardson (nee Murfet), Fernando Pérez-García, Stephanie Hyland, Shruthi Bannur, Daniel Coelho de Castro, Kenza Bouzid, Anton Schwaighofer, Mercy Ranjit, Harshita Sharma, Matthew P Lungren, Ozan Oktay, Javier Alvarez-Valle, Aditya Nori, Stephen Harris, Joseph Jacob
2405.05299 | May 2024
Published by arXiv
Kenza Bouzid, Harshita Sharma, Sarah Killcoyne, Daniel Coelho de Castro, Anton Schwaighofer, Maximilian Ilse, Valentina Salvatelli, Ozan Oktay, Sumanth Murthy, Lucas Bordeaux, Luiza Moore, Maria O'Donovan, Anja Thieme, Aditya Nori, Marcel Gehrung, Javier Alvarez-Valle
Nature Communications | March 2024, Vol 15
Fernando Pérez-García, Sam Bond-Taylor, Pedro P. Sanchez, Boris van Breugel, Daniel Coelho de Castro, Harshita Sharma, Valentina Salvatelli, Maria T. A. Wetscherek, Hannah Richardson (nee Murfet), Matthew P Lungren, Aditya Nori, Javier Alvarez-Valle, Ozan Oktay, Maximilian Ilse
ECCV 2024 | December 2023
Javier González, Cliff Wong, Zelalem Gero, Jaspreet Bagga, Risa Ueno, Isabel Chien, Eduard Orakvin, Emre Kiciman, Aditya Nori, R. Weerasinghe, R. Leidner, B. Piening, Tristan Naumann, C. Bifulco, Hoifung Poon
ArXiv | November 2023, Vol abs/2311.01301
Qianchu Liu, Stephanie Hyland, Shruthi Bannur, Kenza Bouzid, Daniel Coelho de Castro, Maria Teodora Wetscherek, Robert Tinn, Harshita Sharma, Fernando Pérez-García, Anton Schwaighofer, Pranav Rajpurkar, Sameer Tajdin Khanna, Hoifung Poon, Naoto Usuyama, Anja Thieme, Aditya Nori, Matthew P Lungren, Ozan Oktay, Javier Alvarez-Valle
EMNLP 2023 | October 2023
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
Fangyu Liu, Qianchu Liu, Shruthi Bannur, Fernando Pérez-García, Naoto Usuyama, Sheng Zhang, Tristan Naumann, Aditya Nori, Hoifung Poon, Javier Alvarez-Valle, Ozan Oktay, Stephanie Hyland
TACL 2023 | March 2023
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
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 Richardson (nee 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)
M. W. Macomber, M. H. Phillips, Ivan Tarapov, R. Jena, Aditya Nori, David Carter, Loic Le Folgoc, Antonio Criminisi, M. J. Nyflot
Physics in Medicine and Biology | November 2018, Vol 63(23): pp. 235002-235002
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)
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, Antonio Criminisi
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
Fernando Pérez-García, Sam Bond-Taylor, Pedro P. Sanchez, Boris van Breugel, Daniel Coelho de Castro, Harshita Sharma, Valentina Salvatelli, Maria T. A. Wetscherek, Hannah Richardson (nee Murfet), Matthew P Lungren, Aditya Nori, Javier Alvarez-Valle, Ozan Oktay, Maximilian Ilse
ECCV 2024 | December 2023
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
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
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
M. W. Macomber, M. H. Phillips, Ivan Tarapov, R. Jena, Aditya Nori, David Carter, Loic Le Folgoc, Antonio Criminisi, M. J. Nyflot
Physics in Medicine and Biology | November 2018, Vol 63(23): pp. 235002-235002
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, Antonio Criminisi
Neural Information Processing Systems (NIPS) | May 2016
Nur Yildirim, Hannah Richardson (nee Murfet), Maria T Wetscherek, Junaid Bajwa, Joseph Jacob, Mark A Pinnock, Stephen Harris, Daniel Coelho de Castro, Shruthi Bannur, Stephanie Hyland, Pratik Ghosh, Mercy Ranjit, Kenza Bouzid, Anton Schwaighofer, Fernando Pérez-García, Harshita Sharma, Ozan Oktay, Matthew P Lungren, Javier Alvarez-Valle, Aditya Nori, Anja Thieme
CHI 2024 | May 2024
Anja Thieme, Abhijith Rajamohan, Benjamin Cooper, Heather Groombridge, Robert Simister, Barney Wong, Nicholas Woznitza, Mark Ames Pinnock, Maria Teodora Wetscherek, Cecily Morrison, Hannah Richardson (nee Murfet), Fernando Pérez-García, Stephanie Hyland, Shruthi Bannur, Daniel Coelho de Castro, Kenza Bouzid, Anton Schwaighofer, Mercy Ranjit, Harshita Sharma, Matthew P Lungren, Ozan Oktay, Javier Alvarez-Valle, Aditya Nori, Stephen Harris, Joseph Jacob
2405.05299 | May 2024
Published by arXiv
Niranjani Prasad, Isabel Chien, Tim Regan, Angel Enrique, Jorge Palacios, Dessie Kegan, Usman Munir, Ryutaro Tanno, Hannah Richardson (nee Murfet), Aditya Nori, Derek Richards, Gavin Doherty, Danielle Belgrave, Anja Thieme
PLOS ONE | November 2023, Vol 18(11)
Anja Thieme, Aditya Nori, Marzyeh Ghassemi, Rishi Bommasani, Tariq Osman Andersen, Ewa Luger
CHI 2023 | April 2023
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)
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
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
Aditya Nori, Rahul Sharma
Foundations of Software Engineering (FSE) | August 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
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, Jonathan "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
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
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
Aditya Nori, Ashok Sreenivas
Proceedings of the Second International Workshop on Software Engineering Tools and Techniques | January 2001
Xinnuo Xu, Rachel Lawrence, Kshitij Dubey, Atharva Pandey, Fabian Falck, Risa Ueno, Aditya Nori, Rahul Sharma, Amit Sharma, Javier González
ICLR 2025 - Workshop on Reasoning and Planning for LLMs | March 2025
NeurIPS 2024 | August 2024
Nur Yildirim, Hannah Richardson (nee Murfet), Maria T Wetscherek, Junaid Bajwa, Joseph Jacob, Mark A Pinnock, Stephen Harris, Daniel Coelho de Castro, Shruthi Bannur, Stephanie Hyland, Pratik Ghosh, Mercy Ranjit, Kenza Bouzid, Anton Schwaighofer, Fernando Pérez-García, Harshita Sharma, Ozan Oktay, Matthew P Lungren, Javier Alvarez-Valle, Aditya Nori, Anja Thieme
CHI 2024 | May 2024
Fernando Pérez-García, Sam Bond-Taylor, Pedro P. Sanchez, Boris van Breugel, Daniel Coelho de Castro, Harshita Sharma, Valentina Salvatelli, Maria T. A. Wetscherek, Hannah Richardson (nee Murfet), Matthew P Lungren, Aditya Nori, Javier Alvarez-Valle, Ozan Oktay, Maximilian Ilse
ECCV 2024 | December 2023
Qianchu Liu, Stephanie Hyland, Shruthi Bannur, Kenza Bouzid, Daniel Coelho de Castro, Maria Teodora Wetscherek, Robert Tinn, Harshita Sharma, Fernando Pérez-García, Anton Schwaighofer, Pranav Rajpurkar, Sameer Tajdin Khanna, Hoifung Poon, Naoto Usuyama, Anja Thieme, Aditya Nori, Matthew P Lungren, Ozan Oktay, Javier Alvarez-Valle
EMNLP 2023 | October 2023
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
Anja Thieme, Aditya Nori, Marzyeh Ghassemi, Rishi Bommasani, Tariq Osman Andersen, Ewa Luger
CHI 2023 | April 2023
Fangyu Liu, Qianchu Liu, Shruthi Bannur, Fernando Pérez-García, Naoto Usuyama, Sheng Zhang, Tristan Naumann, Aditya Nori, Hoifung Poon, Javier Alvarez-Valle, Ozan Oktay, Stephanie Hyland
TACL 2023 | March 2023
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
Ryutaro Tanno, Melanie Fernandez Pradier, Aditya Nori, Yingzhen Li
2022 Neural Information Processing Systems | July 2022
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 W. Cottrell, Antonio Criminisi, Aditya Nori
International Conference on Medical Image Computing & Computer Assisted Intervention (MICCAI) | September 2018
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
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya Nori
OOPSLA '17: OO Programming, Systems, Languages, and Applications | October 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, Antonio Criminisi
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
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, Rahul Sharma
Foundations of Software Engineering (FSE) | August 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
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
Kenza Bouzid, Harshita Sharma, Sarah Killcoyne, Daniel Coelho de Castro, Anton Schwaighofer, Maximilian Ilse, Valentina Salvatelli, Ozan Oktay, Sumanth Murthy, Lucas Bordeaux, Luiza Moore, Maria O'Donovan, Anja Thieme, Aditya Nori, Marcel Gehrung, Javier Alvarez-Valle
Nature Communications | March 2024, Vol 15
Niranjani Prasad, Isabel Chien, Tim Regan, Angel Enrique, Jorge Palacios, Dessie Kegan, Usman Munir, Ryutaro Tanno, Hannah Richardson (nee Murfet), Aditya Nori, Derek Richards, Gavin Doherty, Danielle Belgrave, Anja Thieme
PLOS ONE | November 2023, Vol 18(11)
Javier González, Cliff Wong, Zelalem Gero, Jaspreet Bagga, Risa Ueno, Isabel Chien, Eduard Orakvin, Emre Kiciman, Aditya Nori, R. Weerasinghe, R. Leidner, B. Piening, Tristan Naumann, C. Bifulco, Hoifung Poon
ArXiv | November 2023, Vol abs/2311.01301
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
Junaid Bajwa, Aditya Nori, Bryan Williams, Usman Munir
Future Healthcare Journal | July 2021
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)
M. W. Macomber, M. H. Phillips, Ivan Tarapov, R. Jena, Aditya Nori, David Carter, Loic Le Folgoc, Antonio Criminisi, M. J. Nyflot
Physics in Medicine and Biology | November 2018, Vol 63(23): pp. 235002-235002
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, Jonathan "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
Anja Thieme, Abhijith Rajamohan, Benjamin Cooper, Heather Groombridge, Robert Simister, Barney Wong, Nicholas Woznitza, Mark Ames Pinnock, Maria Teodora Wetscherek, Cecily Morrison, Hannah Richardson (nee Murfet), Fernando Pérez-García, Stephanie Hyland, Shruthi Bannur, Daniel Coelho de Castro, Kenza Bouzid, Anton Schwaighofer, Mercy Ranjit, Harshita Sharma, Matthew P Lungren, Ozan Oktay, Javier Alvarez-Valle, Aditya Nori, Stephen Harris, Joseph Jacob
2405.05299 | May 2024
Published by arXiv
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
Goutham Ramakrishnan, Aditya Nori, Hannah Richardson (nee Murfet), Pashmina Cameron
November 2020
January 2005
January 2005
