Aditya V. Nori

Orcid: 0000-0002-9481-5539

Affiliations:
  • Microsoft Research, Cambridge, UK


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2023
RadEdit: stress-testing biomedical vision models via diffusion image editing.
CoRR, 2023

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

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

Compositional Zero-Shot Domain Transfer with Text-to-Text Models.
CoRR, 2023


Learning to Exploit Temporal Structure for Biomedical Vision-Language Processing.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Foundation Models in Healthcare: Opportunities, Risks & Strategies Forward.
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.
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.
Proceedings of the Computer Vision - ECCV 2022, 2022

2021
Active label cleaning: Improving dataset quality under resource constraints.
CoRR, 2021

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

2020
Secure Medical Image Analysis with CrypTFlow.
CoRR, 2020

Probabilistic Lipschitz Analysis of Neural Networks.
Proceedings of the Static Analysis - 27th International Symposium, 2020

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

Robustness of neural networks: a probabilistic and practical approach.
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Adaptive Neural Trees.
Proceedings of the 36th International Conference on Machine Learning, 2019

Overfitting in Synthesis: Theory and Practice.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Autofocus Layer for Semantic Segmentation.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2018, 2018

Semi-Supervised Learning via Compact Latent Space Clustering.
Proceedings of the 35th International Conference on Machine Learning, 2018

2017
FairSquare: probabilistic verification of program fairness.
Proc. ACM Program. Lang., 2017

Quantifying Program Bias.
CoRR, 2017

Unsupervised Domain Adaptation in Brain Lesion Segmentation with Adversarial Networks.
Proceedings of the Information Processing in Medical Imaging, 2017

Spectral Kernels for Probabilistic Analysis and Clustering of Shapes.
Proceedings of the Information Processing in Medical Imaging, 2017

2016
Debugging Machine Learning Tasks.
CoRR, 2016

Fairness as a Program Property.
CoRR, 2016

Query-guided maximum satisfiability.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Measuring Neural Net Robustness with Constraints.
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

DeepMedic for Brain Tumor Segmentation.
Proceedings of the Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, 2016

Lifted Auto-Context Forests for Brain Tumour Segmentation.
Proceedings of the Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, 2016

Scaling Relational Inference Using Proofs and Refutations.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Dependent Array Type Inference from Tests.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

A user-guided approach to program analysis.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Efficient synthesis of probabilistic programs.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources.
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Learning refinement types.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

A Provably Correct Sampler for Probabilistic Programs.
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014
Bias-variance tradeoffs in program analysis.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Slicing probabilistic programs.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

MUX: algorithm selection for software model checkers.
Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Software reliability via machine learning (invited talk).
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

Probabilistic programming.
Proceedings of the on Future of Software Engineering, 2014

R2: An Efficient MCMC Sampler for Probabilistic Programs.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Termination proofs from tests.
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.
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.
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.
Proceedings of the Static Analysis - 20th International Symposium, 2013

A model-learner pattern for bayesian reasoning.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

One-Bit Compressed Sensing: Provable Support and Vector Recovery.
Proceedings of the 30th International Conference on Machine Learning, 2013

A Data Driven Approach for Algebraic Loop Invariants.
Proceedings of the Programming Languages and Systems, 2013

Combining Relational Learning with SMT Solvers Using CEGAR.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Efficiently Sampling Probabilistic Programs via Program Analysis.
Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics, 2013

2012
Parallelizing top-down interprocedural analyses.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Interpolants as Classifiers.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Specification Inference and Invariant Generation: A Machine Learning Perspective.
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.
ACM Trans. Program. Lang. Syst., 2011

Probabilistic, modular and scalable inference of typestate specifications.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Program Analysis and Machine Learning: A Win-Win Deal.
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010
Proofs from Tests.
IEEE Trans. Software Eng., 2010

Refining abstract interpretations.
Inf. Process. Lett., 2010

Alternation for Termination.
Proceedings of the Static Analysis - 17th International Symposium, 2010

Compositional may-must program analysis: unleashing the power of alternation.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

An empirical study of optimizations in YOGI.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Verification, Testing and Statistics.
Proceedings of the Tests and Proofs - 3rd International Conference, 2009

The YogiProject: Software Property Checking via Static Analysis and Testing.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Bottom-Up Shape Analysis.
Proceedings of the Static Analysis, 16th International Symposium, 2009

Merlin: specification inference for explicit information flow problems.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

HOLMES: Effective statistical debugging via efficient path profiling.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Automating Software Testing Using Program Analysis.
IEEE Softw., 2008

Combining Tests and Proofs.
Proceedings of the Verified Software: Theories, 2008

Automatically Refining Abstract Interpretations.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Proofs from tests.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007
Quantifying the effectiveness of testing via efficient residual path profiling.
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.
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.
IEEE Trans. Inf. Theory, 2006

SYNERGY: a new algorithm for property checking.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

2002
On the Expressiveness of Tree Set Operators
Universität Trier, Mathematik/Informatik, Forschungsbericht, 2002


  Loading...