| Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani Proceedings of the on Future of Software Engineering, 167-181, 2014 | 329 | 2014 |
| 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 | 290 | 2009 |
| 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 | 270 | 2006 |
| Unsupervised domain adaptation in brain lesion segmentation with adversarial networks K Kamnitsas, C Baumgartner, C Ledig, V Newcombe, J Simpson, A Kane, ... International conference on information processing in medical imaging, 597-609, 2017 | 231 | 2017 |
| Measuring neural net robustness with constraints O Bastani, Y Ioannou, L Lampropoulos, D Vytiniotis, A Nori, A Criminisi Advances in neural information processing systems, 2613-2621, 2016 | 231 | 2016 |
| 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 | 219 | 2010 |
| Proofs from tests NE Beckman, AV Nori, SK Rajamani, RJ Simmons, SD Tetali, AV Thakur IEEE Transactions on Software Engineering 36 (4), 495-508, 2010 | 196 | 2010 |
| DeepMedic for brain tumor segmentation K Kamnitsas, E Ferrante, S Parisot, C Ledig, AV Nori, A Criminisi, ... International workshop on Brainlesion: Glioma, multiple sclerosis, stroke …, 2016 | 166 | 2016 |
| Merlin: specification inference for explicit information flow problems B Livshits, AV Nori, SK Rajamani, A Banerjee ACM Sigplan Notices 44 (6), 75-86, 2009 | 156 | 2009 |
| 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 | 135 | 2008 |
| A data driven approach for algebraic loop invariants R Sharma, S Gupta, B Hariharan, A Aiken, P Liang, AV Nori European Symposium on Programming, 574-592, 2013 | 124 | 2013 |
| Automatically refining abstract interpretations BS Gulavani, S Chakraborty, AV Nori, SK Rajamani International Conference on Tools and Algorithms for the Construction and …, 2008 | 118 | 2008 |
| R2: An Efficient MCMC Sampler for Probabilistic Programs. AV Nori, CK Hur, SK Rajamani, S Samuel AAAI, 2476-2482, 2014 | 98 | 2014 |
| 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 | 94 | 2009 |
| Interpolants as classifiers R Sharma, AV Nori, A Aiken International Conference on Computer Aided Verification, 71-87, 2012 | 88 | 2012 |
| Verification as learning geometric concepts R Sharma, S Gupta, B Hariharan, A Aiken, AV Nori International Static Analysis Symposium, 388-411, 2013 | 75 | 2013 |
| One-bit compressed sensing: Provable support and vector recovery S Gopi, P Netrapalli, P Jain, A Nori International Conference on Machine Learning, 154-162, 2013 | 68 | 2013 |
| Preferential path profiling: compactly numbering interesting paths K Vaswani, AV Nori, TM Chilimbi ACM Sigplan Notices 42 (1), 351-362, 2007 | 67 | 2007 |
| 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 | 66 | 2015 |
| Biodegradable oxidized cellulose esters V Kumar, Y Dong US Patent 7,595,392, 2009 | 66 | 2009 |
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
