| 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 | 475 | 2017 |
| Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani Future of Software Engineering Proceedings, 167-181, 2014 | 444 | 2014 |
| 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 | 421 | 2016 |
| 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 | 343 | 2009 |
| 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 | 338 | 2016 |
| 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 | 293 | 2006 |
| 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 | 258 | 2010 |
| Proofs from tests NE Beckman, AV Nori, SK Rajamani, RJ Simmons Proceedings of the 2008 international symposium on Software testing and …, 2008 | 217 | 2008 |
| Merlin: Specification inference for explicit information flow problems B Livshits, AV Nori, SK Rajamani, A Banerjee ACM Sigplan Notices 44 (6), 75-86, 2009 | 194 | 2009 |
| 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 | 161 | 2013 |
| 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 | 152 | 2008 |
| Adaptive neural trees R Tanno, K Arulkumaran, D Alexander, A Criminisi, A Nori International Conference on Machine Learning, 6166-6175, 2019 | 149 | 2019 |
| Automatically refining abstract interpretations BS Gulavani, S Chakraborty, AV Nori, SK Rajamani Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 125 | 2008 |
| 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 | 119 | 2014 |
| 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 | 112 | 2018 |
| Interpolants as classifiers R Sharma, AV Nori, A Aiken Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 105 | 2012 |
| The YogiProject: Software Property Checking via Static Analysis and Testing. AV Nori, SK Rajamani, SD Tetali, AV Thakur TACAS 9, 178-181, 2009 | 103 | 2009 |
| 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 | 93 | 2013 |
| A user-guided approach to program analysis R Mangal, X Zhang, AV Nori, M Naik Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 90 | 2015 |
| 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 | 89 | 2017 |
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
