Aditya Nori

Cited by

	All	Since 2016
Citations	4535	2836
h-index	33	28
i10-index	55	46

700

350

175

525

20072008200920102011201220132014201520162017201820192020202124 41 104 178 176 187 270 270 364 374 429 474 614 696 240

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Antonio CriminisiResearch Manager at AmazonVerified email at microsoft.com
Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Ravi MangalCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Patrice GodefroidMicrosoft ResearchVerified email at microsoft.com
Mayur NaikProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Johannes BorgströmDocent in computing science, Uppsala UniversityVerified email at it.uu.se
Xin ZhangAssistant Professor, Peking UniversityVerified email at pku.edu.cn
Ben LiblitAmazon Web ServicesVerified email at amazon.com
Aditya ThakurDepartment of Computer Science, University of California, DavisVerified email at ucdavis.edu
Dimitrios VytiniotisDeepMindVerified email at google.com
Leonidas LampropoulosAssistant Professor, University of MarylandVerified email at umd.edu
Yani A. IoannouUniversity of Toronto - Sessional LecturerVerified email at utoronto.ca
Robert J. SimmonsCarnegie Mellon UniversityVerified email at cs.cmu.edu
bharath hariharanCornell UniversityVerified email at cs.cornell.edu

Aditya Nori

Microsoft Research

Verified email at microsoft.com - Homepage

machine learning programming languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani Future of Software Engineering Proceedings, 167-181, 2014	349	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	309	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	288	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	286	2017
Measuring neural net robustness with constraints O Bastani, Y Ioannou, L Lampropoulos, D Vytiniotis, A Nori, A Criminisi arXiv preprint arXiv:1605.07262, 2016	254	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	239	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	210	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	197	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	168	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	138	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	137	2013
Automatically refining abstract interpretations BS Gulavani, S Chakraborty, AV Nori, SK Rajamani International Conference on Tools and Algorithms for the Construction and …, 2008	119	2008
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	101	2009
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	100	2014
Interpolants as classifiers R Sharma, AV Nori, A Aiken International Conference on Computer Aided Verification, 71-87, 2012	94	2012
Biodegradable oxidized cellulose esters V Kumar, Y Dong US Patent 7,595,392, 2009	93*	2009
Verification as learning geometric concepts R Sharma, S Gupta, B Hariharan, A Aiken, AV Nori International Static Analysis Symposium, 388-411, 2013	80	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	72	2015
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	72	2013
Preferential path profiling: compactly numbering interesting paths K Vaswani, AV Nori, TM Chilimbi ACM Sigplan Notices 42 (1), 351-362, 2007	68	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors