Aditya V. Nori

According to our database, Aditya V. Nori authored at least 82 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Reasoning Elicitation in Language Models via Counterfactual Feedback.

Alihan Hüyük, Xinnuo Xu, Jacqueline Maasch, Aditya V. Nori, Javier González

CoRR, 2024

Does Reasoning Emerge? Examining the Probabilities of Causation in Large Language Models.

Javier González, Aditya V. Nori

CoRR, 2024

Challenges for Responsible AI Design and Workflow Integration in Healthcare: A Case Study of Automatic Feeding Tube Qualification in Radiology.

Anja Thieme, Abhijith Rajamohan, Benjamin Cooper, Heather Groombridge, Robert Simister, Barney Wong, Nicholas Woznitza, Mark Ames Pinnock, Maria Teodora Wetscherek, Cecily Morrison, Hannah Richardson, Fernando Pérez-García, Stephanie L. Hyland, Shruthi Bannur, Daniel C. Castro, Kenza Bouzid, Anton Schwaighofer, Mercy Ranjit, Harshita Sharma, Matthew P. Lungren, Ozan Oktay, Javier Alvarez-Valle, Aditya V. Nori, Stephen Harris, Joseph Jacob

CoRR, 2024

RadEdit: Stress-Testing Biomedical Vision Models via Diffusion Image Editing.

Fernando Pérez-García, Sam Bond-Taylor, Pedro P. Sanchez, Boris van Breugel, Daniel C. Castro, Harshita Sharma, Valentina Salvatelli, Maria T. A. Wetscherek, Hannah Richardson, Matthew P. Lungren, Aditya V. Nori, Javier Alvarez-Valle, Ozan Oktay, Maximilian Ilse

Proceedings of the Computer Vision - ECCV 2024, 2024

Cautionary Tales on Synthetic Controls in Survival Analyses.

Alicia Curth, Hoifung Poon, Aditya V. Nori, Javier González

Proceedings of the Causal Learning and Reasoning, 2024

Multimodal Healthcare AI: Identifying and Designing Clinically Relevant Vision-Language Applications for Radiology.

Nur Yildirim, Hannah Richardson, Maria Teodora Wetscherek, Junaid Bajwa, Joseph Jacob, Mark Ames Pinnock, Stephen Harris, Daniel Coelho de Castro, Shruthi Bannur, Stephanie L. 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 V. Nori, Anja Thieme

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

2023

Compositional Zero-Shot Domain Transfer with Text-to-Text Models.

Fangyu Liu, Qianchu Liu, Shruthi Bannur, Fernando Pérez-García, Naoto Usuyama, Sheng Zhang, Tristan Naumann, Aditya V. Nori, Hoifung Poon, Javier Alvarez-Valle, Ozan Oktay, Stephanie L. Hyland

Trans. Assoc. Comput. Linguistics, 2023

Beyond Words: A Mathematical Framework for Interpreting Large Language Models.

Javier González, Aditya V. Nori

CoRR, 2023

TRIALSCOPE: A Unifying Causal Framework for Scaling Real-World Evidence Generation with Biomedical Language Models.

Javier González Hernández, Cliff Wong, Zelalem Gero, Jass Bagga, Risa Ueno, Isabel Chien, Eduard Oravkin, Emre Kiciman, Aditya V. Nori, Roshanthi Weerasinghe, Rom S. Leidner, Brian Piening, Tristan Naumann, Carlo Bifulco, Hoifung Poon

CoRR, 2023

Exploring the Boundaries of GPT-4 in Radiology.

Qianchu Liu, Stephanie L. Hyland, Shruthi Bannur, Kenza Bouzid, Daniel C. Castro, Maria Wetscherek, Robert Tinn, Harshita Sharma, Fernando Pérez-García, Anton Schwaighofer, Pranav Rajpurkar, Sameer Tajdin Khanna, Hoifung Poon, Naoto Usuyama, Anja Thieme, Aditya V. Nori, Matthew P. Lungren, Ozan Oktay, Javier Alvarez-Valle

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

Learning to Exploit Temporal Structure for Biomedical Vision-Language Processing.

Shruthi Bannur, Stephanie L. Hyland, Qianchu Liu, Fernando Pérez-García, Maximilian Ilse, Daniel C. Castro, Benedikt Boecking, Harshita Sharma, Kenza Bouzid, Anja Thieme, Anton Schwaighofer, Maria Wetscherek, Matthew P. Lungren, Aditya V. Nori, Javier Alvarez-Valle, Ozan Oktay

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Foundation Models in Healthcare: Opportunities, Risks & Strategies Forward.

Anja Thieme, Aditya V. Nori, Marzyeh Ghassemi, Rishi Bommasani, Tariq Osman Andersen, Ewa Luger

Proceedings of the Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

2022

Repairing Neural Networks by Leaving the Right Past Behind.

Ryutaro Tanno, Melanie F. Pradier, Aditya V. Nori, Yingzhen Li

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Making the Most of Text Semantics to Improve Biomedical Vision-Language Processing.

Benedikt Boecking, Naoto Usuyama, Shruthi Bannur, Daniel C. Castro, Anton Schwaighofer, Stephanie L. Hyland, Maria Wetscherek, Tristan Naumann, Aditya V. Nori, Javier Alvarez-Valle, Hoifung Poon, Ozan Oktay

Proceedings of the Computer Vision - ECCV 2022, 2022

2021

Active label cleaning: Improving dataset quality under resource constraints.

Melanie Bernhardt, Daniel C. Castro, Ryutaro Tanno, Anton Schwaighofer, Kerem Can Tezcan, Miguel Monteiro, Shruthi Bannur, Matthew P. Lungren, Aditya V. Nori, Ben Glocker, Javier Alvarez-Valle, Ozan Oktay

CoRR, 2021

Hierarchical Analysis of Visual COVID-19 Features from Chest Radiographs.

Shruthi Bannur, Ozan Oktay, Melanie Bernhardt, Anton Schwaighofer, Rajesh Jena, Besmira Nushi, Sharan Wadhwani, Aditya V. Nori, Kal Natarajan, Shazad Ashraf, Javier Alvarez-Valle, Daniel C. Castro

CoRR, 2021

2020

Secure Medical Image Analysis with CrypTFlow.

Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya V. Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare

CoRR, 2020

Probabilistic Lipschitz Analysis of Neural Networks.

Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso

Proceedings of the Static Analysis - 27th International Symposium, 2020

2019

Overfitting in Synthesis: Theory and Practice (Extended Version).

Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma

CoRR, 2019

Robustness of neural networks: a probabilistic and practical approach.

Ravi Mangal, Aditya V. Nori, Alessandro Orso

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Adaptive Neural Trees.

Ryutaro Tanno, Kai Arulkumaran, Daniel C. Alexander, Antonio Criminisi, Aditya V. Nori

Proceedings of the 36th International Conference on Machine Learning, 2019

Overfitting in Synthesis: Theory and Practice.

Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Autofocus Layer for Semantic Segmentation.

Yao Qin, Konstantinos Kamnitsas, Siddharth Ancha, Jay Nanavati, Garrison W. Cottrell, Antonio Criminisi, Aditya V. Nori

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2018, 2018

Semi-Supervised Learning via Compact Latent Space Clustering.

Konstantinos Kamnitsas, Daniel Coelho de Castro, Loïc Le Folgoc, Ian Walker, Ryutaro Tanno, Daniel Rueckert, Ben Glocker, Antonio Criminisi, Aditya V. Nori

Proceedings of the 35th International Conference on Machine Learning, 2018

2017

FairSquare: probabilistic verification of program fairness.

Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori

Proc. ACM Program. Lang., 2017

Quantifying Program Bias.

Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori

CoRR, 2017

Unsupervised Domain Adaptation in Brain Lesion Segmentation with Adversarial Networks.

Konstantinos Kamnitsas, Christian F. Baumgartner, Christian Ledig, Virginia F. J. Newcombe, Joanna P. Simpson, Andrew D. Kane, David K. Menon, Aditya V. Nori, Antonio Criminisi, Daniel Rueckert, Ben Glocker

Proceedings of the Information Processing in Medical Imaging, 2017

Spectral Kernels for Probabilistic Analysis and Clustering of Shapes.

Loïc Le Folgoc, Aditya V. Nori, Antonio Criminisi

Proceedings of the Information Processing in Medical Imaging, 2017

2016

Debugging Machine Learning Tasks.

Aleksandar Chakarov, Aditya V. Nori, Sriram K. Rajamani, Shayak Sen, Deepak Vijaykeerthy

CoRR, 2016

Fairness as a Program Property.

Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori

CoRR, 2016

Query-guided maximum satisfiability.

Xin Zhang, Ravi Mangal, Aditya V. Nori, Mayur Naik

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Measuring Neural Net Robustness with Constraints.

Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

DeepMedic for Brain Tumor Segmentation.

Konstantinos Kamnitsas, Enzo Ferrante, Sarah Parisot, Christian Ledig, Aditya V. Nori, Antonio Criminisi, Daniel Rueckert, Ben Glocker

Proceedings of the Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, 2016

Lifted Auto-Context Forests for Brain Tumour Segmentation.

Loïc Le Folgoc, Aditya V. Nori, Siddharth Ancha, Antonio Criminisi

Proceedings of the Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, 2016

Scaling Relational Inference Using Proofs and Refutations.

Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Dependent Array Type Inference from Tests.

He Zhu, Aditya V. Nori, Suresh Jagannathan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

A user-guided approach to program analysis.

Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances.

Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Efficient synthesis of probabilistic programs.

Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources.

Venkatesh Vinayakarao, Rahul Purandare, Aditya V. Nori

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Learning refinement types.

He Zhu, Aditya V. Nori, Suresh Jagannathan

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

A Provably Correct Sampler for Probabilistic Programs.

Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

Bias-variance tradeoffs in program analysis.

Rahul Sharma, Aditya V. Nori, Alex Aiken

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Slicing probabilistic programs.

Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

MUX: algorithm selection for software model checkers.

Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya V. Nori

Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Software reliability via machine learning (invited talk).

Aditya V. Nori

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

Probabilistic programming.

Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the on Future of Software Engineering, 2014

R2: An Efficient MCMC Sampler for Probabilistic Programs.

Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, Selva Samuel

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Termination proofs from tests.

Aditya V. Nori, Rahul Sharma

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

The economics of static analysis tools.

Rahul Kumar, Aditya V. Nori

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Bayesian inference using data flow analysis.

Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Verification as Learning Geometric Concepts.

Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori

Proceedings of the Static Analysis - 20th International Symposium, 2013

A model-learner pattern for bayesian reasoning.

Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

One-Bit Compressed Sensing: Provable Support and Vector Recovery.

Sivakanth Gopi, Praneeth Netrapalli, Prateek Jain, Aditya V. Nori

Proceedings of the 30th International Conference on Machine Learning, 2013

A Data Driven Approach for Algebraic Loop Invariants.

Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori

Proceedings of the Programming Languages and Systems, 2013

Combining Relational Learning with SMT Solvers Using CEGAR.

Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Efficiently Sampling Probabilistic Programs via Program Analysis.

Arun Tejasvi Chaganty, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics, 2013

2012

Parallelizing top-down interprocedural analyses.

Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Interpolants as Classifiers.

Rahul Sharma, Aditya V. Nori, Alex Aiken

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Specification Inference and Invariant Generation: A Machine Learning Perspective.

Aditya V. Nori

Proceedings of the ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, 2012

2011

Bottom-up shape analysis using LISF.

Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori

ACM Trans. Program. Lang. Syst., 2011

Probabilistic, modular and scalable inference of typestate specifications.

Nels E. Beckman, Aditya V. Nori

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Program Analysis and Machine Learning: A Win-Win Deal.

Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Proofs from Tests.

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur

IEEE Trans. Software Eng., 2010

Refining abstract interpretations.

Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani

Inf. Process. Lett., 2010

Alternation for Termination.

William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Static Analysis - 17th International Symposium, 2010

Compositional may-must program analysis: unleashing the power of alternation.

Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

An empirical study of optimizations in YOGI.

Aditya V. Nori, Sriram K. Rajamani

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Verification, Testing and Statistics.

Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

The YogiProject: Software Property Checking via Static Analysis and Testing.

Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Bottom-Up Shape Analysis.

Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori

Proceedings of the Static Analysis, 16th International Symposium, 2009

Merlin: specification inference for explicit information flow problems.

V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

HOLMES: Effective statistical debugging via efficient path profiling.

Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Automating Software Testing Using Program Analysis.

Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin

IEEE Softw., 2008

Combining Tests and Proofs.

Madhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Verified Software: Theories, 2008

Automatically Refining Abstract Interpretations.

Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Proofs from tests.

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007

Quantifying the effectiveness of testing via efficient residual path profiling.

Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Preferential path profiling: compactly numbering interesting paths.

Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006

Unifying Views of Tail-Biting Trellis Constructions for Linear Block Codes.

Aditya V. Nori, P. Shankar

IEEE Trans. Inf. Theory, 2006

SYNERGY: a new algorithm for property checking.

Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

2002

On the Expressiveness of Tree Set Operators

Helmut Seidl, Aditya V. Nori

Universität Trier, Mathematik/Informatik, Forschungsbericht, 2002