Aditya Nori

Citado por

	Total	Desde 2017
Citas	5267	3214
Índice h	34	29
Índice i10	60	48

720

360

180

540

200720082009201020112012201320142015201620172018201920202021202223 38 103 177 182 189 268 265 356 363 431 465 583 683 712 336

Acceso público

Ver todo

12 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Sriram RajamaniMicrosoft Research Dirección de correo verificada de microsoft.com
Antonio CriminisiPartner Research Lead at Microsoft CorporationDirección de correo verificada de microsoft.com
Andrew D GordonMicrosoft Research and University of EdinburghDirección de correo verificada de microsoft.com
Ravi MangalCarnegie Mellon UniversityDirección de correo verificada de andrew.cmu.edu
Thomas HenzingerISTAustriaDirección de correo verificada de ist.ac.at
Alex AikenProfessor of Computer Science, Stanford UniversityDirección de correo verificada de cs.stanford.edu
Chung-Kil HurSeoul National UniversityDirección de correo verificada de sf.snu.ac.kr
Aws AlbarghouthiUniversity of Wisconsin–MadisonDirección de correo verificada de cs.wisc.edu
Mayur NaikProfessor of Computer Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayDirección de correo verificada de iitb.ac.in
Johannes BorgströmDocent in computing science, Uppsala UniversityDirección de correo verificada de it.uu.se
Xin ZhangAssistant Professor, Peking UniversityDirección de correo verificada de pku.edu.cn
Dimitrios VytiniotisDeepMindDirección de correo verificada de google.com
Yani IoannouAssistant Professor, University of CalgaryDirección de correo verificada de ucalgary.ca
Leonidas LampropoulosAssistant Professor, University of MarylandDirección de correo verificada de umd.edu
Ben LiblitAmazon Web ServicesDirección de correo verificada de amazon.com
Aditya ThakurDepartment of Computer Science, University of California, DavisDirección de correo verificada de ucdavis.edu
bharath hariharanCornell UniversityDirección de correo verificada de cs.cornell.edu
Saurabh GuptaUniversity of Illinois Urbana-ChampaignDirección de correo verificada de illinois.edu
Robert J. SimmonsBrilliant.org, formerly Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu

Seguir

Aditya Nori

Microsoft Research

Dirección de correo verificada de microsoft.com - Página principal

machine learning programming languages


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani Future of Software Engineering Proceedings, 167-181, 2014	415	2014
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	388	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 29, 2016	355	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	327	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	293	2006
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	268	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	249	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	214	2010
Merlin: Specification inference for explicit information flow problems B Livshits, AV Nori, SK Rajamani, A Banerjee ACM Sigplan Notices 44 (6), 75-86, 2009	181	2009
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	147	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	146	2008
Automatically refining abstract interpretations BS Gulavani, S Chakraborty, AV Nori, SK Rajamani International Conference on Tools and Algorithms for the Construction and …, 2008	126	2008
Adaptive neural trees R Tanno, K Arulkumaran, D Alexander, A Criminisi, A Nori International Conference on Machine Learning, 6166-6175, 2019	119	2019
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	111	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	102	2009
Interpolants as classifiers R Sharma, AV Nori, A Aiken International Conference on Computer Aided Verification, 71-87, 2012	100	2012
Verification as learning geometric concepts R Sharma, S Gupta, B Hariharan, A Aiken, AV Nori International Static Analysis Symposium, 388-411, 2013	89	2013
Autofocus layer for semantic segmentation Y Qin, K Kamnitsas, S Ancha, J Nanavati, G Cottrell, A Criminisi, A Nori International conference on medical image computing and computer-assisted …, 2018	86	2018
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	86	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	85	2015

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir a este autor

Citado por

Coautores