Aditya V. Nori

103 papers A* 25A 8B 7C 1Journal 36Unranked 26
YearRankTypeTitle / Venue / Authors
2025 J jnl
Challenges for Responsible AI Design and Workflow Integration in Healthcare: A Case Study of Automatic Feeding Tube Qualification in Radiology.
ACM Trans. Comput. Hum. Interact.
Anja Thieme, Abhijith Rajamohan, Benjamin Cooper, Heather Groombridge, Robert Simister, Barney Wong, Nicholas Woznitza, Mark A. Pinnock, Maria T. A. Wetscherek, Cecily Morrison, Hannah Richardson, Fernando Pérez-García, Stephanie L. Hyland, Shruthi Bannur, Daniel Coelho de Castro, Kenza Bouzid, Anton Schwaighofer, Mercy Prasanna Ranjit, Harshita Sharma, Matthew P. Lungren, Ozan Oktay, Javier Alvarez-Valle, Aditya V. Nori, Steve K. Harris, Joseph Jacob
2025 A* conf
Compositional Causal Reasoning Evaluation in Language Models.
ICML
Jacqueline R. M. A. Maasch, Alihan Hüyük, Xinnuo Xu, Aditya V. Nori, Javier González
2025 J jnl
Compositional Causal Reasoning Evaluation in Language Models.
CoRR
Jacqueline R. M. A. Maasch, Alihan Hüyük, Xinnuo Xu, Aditya V. Nori, Javier González
2025 A* conf
RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation.
ICML
Xinnuo Xu, Rachel Lawrence, Kshitij Dubey, Atharva Pandey, Risa Ueno, Fabian Falck, Aditya V. Nori, Rahul Sharma, Amit Sharma, Javier González
2025 J jnl
RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation.
CoRR
Xinnuo Xu, Rachel Lawrence, Kshitij Dubey, Atharva Pandey, Risa Ueno, Fabian Falck, Aditya V. Nori, Rahul Sharma, Amit Sharma, Javier González
2025 A* conf
Reasoning Elicitation in Language Models via Counterfactual Feedback.
ICLR
Alihan Hüyük, Xinnuo Xu, Jacqueline R. M. A. Maasch, Aditya V. Nori, Javier González
2024 — conf
Cautionary Tales on Synthetic Controls in Survival Analyses.
CLeaR
Alicia Curth, Hoifung Poon, Aditya V. Nori, Javier González
2024 J jnl
Challenges for Responsible AI Design and Workflow Integration in Healthcare: A Case Study of Automatic Feeding Tube Qualification in Radiology.
CoRR
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
2024 A* conf
Does Reasoning Emerge? Examining the Probabilities of Causation in Large Language Models.
NeurIPS
Javier González, Aditya V. Nori
2024 J jnl
Does Reasoning Emerge? Examining the Probabilities of Causation in Large Language Models.
CoRR
Javier González, Aditya V. Nori
2024 A* conf
Multimodal Healthcare AI: Identifying and Designing Clinically Relevant Vision-Language Applications for Radiology.
CHI
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
2024 J jnl
Multimodal Healthcare AI: Identifying and Designing Clinically Relevant Vision-Language Applications for Radiology.
CoRR
Nur Yildirim, Hannah Richardson, Maria T. A. Wetscherek, Junaid Bajwa, Joseph Jacob, Mark A. 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
2024 — conf
RadEdit: Stress-Testing Biomedical Vision Models via Diffusion Image Editing.
ECCV (12)
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
2024 J jnl
Reasoning Elicitation in Language Models via Counterfactual Feedback.
CoRR
Alihan Hüyük, Xinnuo Xu, Jacqueline R. M. A. Maasch, Aditya V. Nori, Javier González
2023 J jnl
Beyond Words: A Mathematical Framework for Interpreting Large Language Models.
CoRR
Javier González, Aditya V. Nori
2023 J jnl
Compositional Zero-Shot Domain Transfer with Text-to-Text Models.
CoRR
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
2023 J jnl
Compositional Zero-Shot Domain Transfer with Text-to-Text Models.
Trans. Assoc. Comput. Linguistics
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
2023 A* conf
Exploring the Boundaries of GPT-4 in Radiology.
EMNLP
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
2023 J jnl
Exploring the Boundaries of GPT-4 in Radiology.
CoRR
Qianchu Liu, Stephanie L. Hyland, Shruthi Bannur, Kenza Bouzid, Daniel C. 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 V. Nori, Matthew P. Lungren, Ozan Oktay, Javier Alvarez-Valle
2023 — conf
Foundation Models in Healthcare: Opportunities, Risks & Strategies Forward.
CHI Extended Abstracts
Anja Thieme, Aditya V. Nori, Marzyeh Ghassemi, Rishi Bommasani, Tariq Osman Andersen, Ewa Luger
2023 A* conf
Learning to Exploit Temporal Structure for Biomedical Vision-Language Processing.
CVPR
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
2023 J jnl
Learning to Exploit Temporal Structure for Biomedical Vision-Language Processing.
CoRR
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
2023 J jnl
RadEdit: stress-testing biomedical vision models via diffusion image editing.
CoRR
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
2023 J jnl
TRIALSCOPE: A Unifying Causal Framework for Scaling Real-World Evidence Generation with Biomedical Language Models.
CoRR
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
2022 — conf
Making the Most of Text Semantics to Improve Biomedical Vision-Language Processing.
ECCV (36)
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
2022 J jnl
Making the Most of Text Semantics to Improve Biomedical Vision-Language Processing.
CoRR
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
2022 A* conf
Repairing Neural Networks by Leaving the Right Past Behind.
NeurIPS
Ryutaro Tanno, Melanie F. Pradier, Aditya V. Nori, Yingzhen Li
2022 J jnl
Repairing Neural Networks by Leaving the Right Past Behind.
CoRR
Ryutaro Tanno, Melanie F. Pradier, Aditya V. Nori, Yingzhen Li
2021 J jnl
Active label cleaning: Improving dataset quality under resource constraints.
CoRR
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
2021 J jnl
Hierarchical Analysis of Visual COVID-19 Features from Chest Radiographs.
CoRR
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
2020 B conf
Probabilistic Lipschitz Analysis of Neural Networks.
SAS
Ravi Mangal, Kartik Sarangmath, Aditya V. Nori, Alessandro Orso
2020 J jnl
Secure Medical Image Analysis with CrypTFlow.
CoRR
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya V. Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare
2019 A* conf
Adaptive Neural Trees.
ICML
Ryutaro Tanno, Kai Arulkumaran, Daniel C. Alexander, Antonio Criminisi, Aditya V. Nori
2019 J jnl
Overfitting in Synthesis: Theory and Practice (Extended Version).
CoRR
Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma
2019 — conf
Overfitting in Synthesis: Theory and Practice.
CAV (1)
Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma
2019 J jnl
Robustness of Neural Networks: A Probabilistic and Practical Approach.
CoRR
Ravi Mangal, Aditya V. Nori, Alessandro Orso
2019 — conf
Robustness of neural networks: a probabilistic and practical approach.
ICSE (NIER)
Ravi Mangal, Aditya V. Nori, Alessandro Orso
2018 J jnl
Adaptive Neural Trees.
CoRR
Ryutaro Tanno, Kai Arulkumaran, Daniel C. Alexander, Antonio Criminisi, Aditya V. Nori
2018 — conf
Autofocus Layer for Semantic Segmentation.
MICCAI (3)
Yao Qin, Konstantinos Kamnitsas, Siddharth Ancha, Jay Nanavati, Garrison W. Cottrell, Antonio Criminisi, Aditya V. Nori
2018 J jnl
Autofocus Layer for Semantic Segmentation.
CoRR
Yao Qin, Konstantinos Kamnitsas, Siddharth Ancha, Jay Nanavati, Garrison W. Cottrell, Antonio Criminisi, Aditya V. Nori
2018 A* conf
Semi-Supervised Learning via Compact Latent Space Clustering.
ICML
Konstantinos Kamnitsas, Daniel Coelho de Castro, Loïc Le Folgoc, Ian Walker, Ryutaro Tanno, Daniel Rueckert, Ben Glocker, Antonio Criminisi, Aditya V. Nori
2018 J jnl
Semi-Supervised Learning via Compact Latent Space Clustering.
CoRR
Konstantinos Kamnitsas, Daniel Coelho de Castro, Loïc Le Folgoc, Ian Walker, Ryutaro Tanno, Daniel Rueckert, Ben Glocker, Antonio Criminisi, Aditya V. Nori
2017 J jnl
FairSquare: probabilistic verification of program fairness.
Proc. ACM Program. Lang.
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
2017 J jnl
Quantifying Program Bias.
CoRR
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
2017 — conf
Spectral Kernels for Probabilistic Analysis and Clustering of Shapes.
IPMI
Loïc Le Folgoc, Aditya V. Nori, Antonio Criminisi
2017 — conf
Unsupervised Domain Adaptation in Brain Lesion Segmentation with Adversarial Networks.
IPMI
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
2016 J jnl
Debugging Machine Learning Tasks.
CoRR
Aleksandar Chakarov, Aditya V. Nori, Sriram K. Rajamani, Shayak Sen, Deepak Vijaykeerthy
2016 — conf
DeepMedic for Brain Tumor Segmentation.
BrainLes@MICCAI
Konstantinos Kamnitsas, Enzo Ferrante, Sarah Parisot, Christian Ledig, Aditya V. Nori, Antonio Criminisi, Daniel Rueckert, Ben Glocker
2016 J jnl
Fairness as a Program Property.
CoRR
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
2016 — conf
Lifted Auto-Context Forests for Brain Tumour Segmentation.
BrainLes@MICCAI
Loïc Le Folgoc, Aditya V. Nori, Siddharth Ancha, Antonio Criminisi
2016 — conf
Measuring Neural Net Robustness with Constraints.
NIPS
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi
2016 J jnl
Measuring Neural Net Robustness with Constraints.
CoRR
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi
2016 A* conf
Query-guided maximum satisfiability.
POPL
Xin Zhang, Ravi Mangal, Aditya V. Nori, Mayur Naik
2016 A* conf
Scaling Relational Inference Using Proofs and Refutations.
AAAI
Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik
2016 J jnl
Unsupervised domain adaptation in brain lesion segmentation with adversarial networks.
CoRR
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
2015 — conf
A Provably Correct Sampler for Probabilistic Programs.
FSTTCS
Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel
2015 — conf
A user-guided approach to program analysis.
ESEC/SIGSOFT FSE
Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik
2015 B conf
Dependent Array Type Inference from Tests.
VMCAI
He Zhu, Aditya V. Nori, Suresh Jagannathan
2015 A* conf
Efficient synthesis of probabilistic programs.
PLDI
Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy
2015 A conf
Learning refinement types.
ICFP
He Zhu, Aditya V. Nori, Suresh Jagannathan
2015 C conf
Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources.
PEPM
Venkatesh Vinayakarao, Rahul Purandare, Aditya V. Nori
2015 A conf
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances.
SAT
Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik
2014 A* conf
Bias-variance tradeoffs in program analysis.
POPL
Rahul Sharma, Aditya V. Nori, Alex Aiken
2014 A conf
MUX: algorithm selection for software model checkers.
MSR
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya V. Nori
2014 — conf
Probabilistic programming.
FOSE
Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani
2014 A* conf
R2: An Efficient MCMC Sampler for Probabilistic Programs.
AAAI
Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, Selva Samuel
2014 A* conf
Slicing probabilistic programs.
PLDI
Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel
2014 — conf
Software reliability via machine learning (invited talk).
FormaliSE
Aditya V. Nori
2013 A conf
A Data Driven Approach for Algebraic Loop Invariants.
ESOP
Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori
2013 A* conf
A model-learner pattern for bayesian reasoning.
POPL
Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo
2013 — conf
Bayesian inference using data flow analysis.
ESEC/SIGSOFT FSE
Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström
2013 A* conf
Combining Relational Learning with SMT Solvers Using CEGAR.
CAV
Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani
2013 A conf
Efficiently Sampling Probabilistic Programs via Program Analysis.
AISTATS
Arun Tejasvi Chaganty, Aditya V. Nori, Sriram K. Rajamani
2013 — conf
One-Bit Compressed Sensing: Provable Support and Vector Recovery.
ICML (3)
Sivakanth Gopi, Praneeth Netrapalli, Prateek Jain, Aditya V. Nori
2013 — conf
Termination proofs from tests.
ESEC/SIGSOFT FSE
Aditya V. Nori, Rahul Sharma
2013 — conf
The economics of static analysis tools.
ESEC/SIGSOFT FSE
Rahul Kumar, Aditya V. Nori
2013 B conf
Verification as Learning Geometric Concepts.
SAS
Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori
2012 A* conf
Interpolants as Classifiers.
CAV
Rahul Sharma, Aditya V. Nori, Alex Aiken
2012 A* conf
Parallelizing top-down interprocedural analyses.
PLDI
Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani
2012 — conf
Specification Inference and Invariant Generation: A Machine Learning Perspective.
ATx/WInG@IJCAR
Aditya V. Nori
2011 J jnl
Bottom-up shape analysis using LISF.
ACM Trans. Program. Lang. Syst.
Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori
2011 A* conf
Probabilistic, modular and scalable inference of typestate specifications.
PLDI
Nels E. Beckman, Aditya V. Nori
2011 B conf
Program Analysis and Machine Learning: A Win-Win Deal.
APLAS
Aditya V. Nori, Sriram K. Rajamani
2011 B conf
Program Analysis and Machine Learning: A Win-Win Deal.
SAS
Aditya V. Nori, Sriram K. Rajamani
2010 B conf
Alternation for Termination.
SAS
William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani
2010 — conf
An empirical study of optimizations in YOGI.
ICSE (1)
Aditya V. Nori, Sriram K. Rajamani
2010 A* conf
Compositional may-must program analysis: unleashing the power of alternation.
POPL
Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali
2010 J jnl
Proofs from Tests.
IEEE Trans. Software Eng.
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur
2010 J jnl
Refining abstract interpretations.
Inf. Process. Lett.
Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani
2009 B conf
Bottom-Up Shape Analysis.
SAS
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori
2009 A* conf
HOLMES: Effective statistical debugging via efficient path profiling.
ICSE
Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani
2009 A* conf
Merlin: specification inference for explicit information flow problems.
PLDI
V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee
2009 A conf
The YogiProject: Software Property Checking via Static Analysis and Testing.
TACAS
Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur
2009 — conf
Verification, Testing and Statistics.
TAP@TOOLS
Aditya V. Nori, Sriram K. Rajamani
2008 A conf
Automatically Refining Abstract Interpretations.
TACAS
Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani
2008 J jnl
Automating Software Testing Using Program Analysis.
IEEE Softw.
Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
2008 — conf
Combining Tests and Proofs.
VSTTE
Madhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani
2008 A conf
Proofs from tests.
ISSTA
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons
2007 A* conf
Preferential path profiling: compactly numbering interesting paths.
POPL
Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi
2007 — conf
Quantifying the effectiveness of testing via efficient residual path profiling.
ESEC/SIGSOFT FSE
Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani
2006 — conf
SYNERGY: a new algorithm for property checking.
SIGSOFT FSE
Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani
2006 J jnl
Unifying Views of Tail-Biting Trellis Constructions for Linear Block Codes.
IEEE Trans. Inf. Theory
Aditya V. Nori, P. Shankar
2002 J jnl
On the Expressiveness of Tree Set Operators
Universität Trier, Mathematik/Informatik, Forschungsbericht
Helmut Seidl, Aditya V. Nori