Suivre
Aditya Nori
Aditya Nori
Microsoft Research
Adresse e-mail validée de microsoft.com - Page d'accueil
Titre
Citée par
Citée par
Année
Unsupervised domain adaptation in brain lesion segmentation with adversarial networks
K Kamnitsas, C Baumgartner, C Ledig, V Newcombe, J Simpson, A Kane, ...
Information Processing in Medical Imaging: 25th International Conference …, 2017
5262017
Probabilistic programming
AD Gordon, TA Henzinger, AV Nori, SK Rajamani
Future of Software Engineering Proceedings, 167-181, 2014
4682014
Measuring neural net robustness with constraints
O Bastani, Y Ioannou, L Lampropoulos, D Vytiniotis, A Nori, A Criminisi
Advances in neural information processing systems 29, 2016
4612016
DeepMedic for brain tumor segmentation
K Kamnitsas, E Ferrante, S Parisot, C Ledig, AV Nori, A Criminisi, ...
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries …, 2016
3572016
Holmes: Effective statistical debugging via efficient path profiling
TM Chilimbi, B Liblit, K Mehra, AV Nori, K Vaswani
2009 IEEE 31st International Conference on Software Engineering, 34-44, 2009
3502009
Synergy: a new algorithm for property checking
BS Gulavani, TA Henzinger, Y Kannan, AV Nori, SK Rajamani
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006
2962006
Compositional may-must program analysis: unleashing the power of alternation
P Godefroid, AV Nori, SK Rajamani, SD Tetali
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
2632010
Proofs from tests
NE Beckman, AV Nori, SK Rajamani, RJ Simmons
Proceedings of the 2008 international symposium on Software testing and …, 2008
2202008
Merlin: Specification inference for explicit information flow problems
B Livshits, AV Nori, SK Rajamani, A Banerjee
ACM Sigplan Notices 44 (6), 75-86, 2009
1942009
Adaptive neural trees
R Tanno, K Arulkumaran, D Alexander, A Criminisi, A Nori
International Conference on Machine Learning, 6166-6175, 2019
1762019
A data driven approach for algebraic loop invariants
R Sharma, S Gupta, B Hariharan, A Aiken, P Liang, AV Nori
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
1722013
Automating software testing using program analysis
P Godefroid, P de Halleux, AV Nori, SK Rajamani, W Schulte, N Tillmann, ...
IEEE software 25 (5), 30-37, 2008
1552008
Artificial intelligence in healthcare: transforming the practice of medicine
J Bajwa, U Munir, A Nori, B Williams
Future healthcare journal 8 (2), e188, 2021
1322021
R2: An efficient MCMC sampler for probabilistic programs
A Nori, CK Hur, S Rajamani, S Samuel
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
1292014
Automatically refining abstract interpretations
BS Gulavani, S Chakraborty, AV Nori, SK Rajamani
International Conference on Tools and Algorithms for the Construction and …, 2008
1262008
Autofocus layer for semantic segmentation
Y Qin, K Kamnitsas, S Ancha, J Nanavati, G Cottrell, A Criminisi, A Nori
Medical Image Computing and Computer Assisted Intervention–MICCAI 2018: 21st …, 2018
1222018
Interpolants as classifiers
R Sharma, AV Nori, A Aiken
International Conference on Computer Aided Verification, 71-87, 2012
1172012
Fairsquare: probabilistic verification of program fairness
A Albarghouthi, L D'Antoni, S Drews, AV Nori
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-30, 2017
1042017
The Yogi Project: Software Property Checking via Static Analysis and Testing
AV Nori, SK Rajamani, SD Tetali, AV Thakur
International Conference on Tools and Algorithms for the Construction and …, 2009
1042009
Verification as learning geometric concepts
R Sharma, S Gupta, B Hariharan, A Aiken, AV Nori
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013
1032013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20