Seguir
Aditya Nori
Aditya Nori
Microsoft Research
Dirección de correo verificada de microsoft.com - Página principal
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
4152014
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
3882017
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
3552016
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
3272009
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
2932006
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
2682016
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
2492010
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
2142010
Merlin: Specification inference for explicit information flow problems
B Livshits, AV Nori, SK Rajamani, A Banerjee
ACM Sigplan Notices 44 (6), 75-86, 2009
1812009
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
1472013
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
1462008
Automatically refining abstract interpretations
BS Gulavani, S Chakraborty, AV Nori, SK Rajamani
International Conference on Tools and Algorithms for the Construction and …, 2008
1262008
Adaptive neural trees
R Tanno, K Arulkumaran, D Alexander, A Criminisi, A Nori
International Conference on Machine Learning, 6166-6175, 2019
1192019
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
1112014
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
1022009
Interpolants as classifiers
R Sharma, AV Nori, A Aiken
International Conference on Computer Aided Verification, 71-87, 2012
1002012
Verification as learning geometric concepts
R Sharma, S Gupta, B Hariharan, A Aiken, AV Nori
International Static Analysis Symposium, 388-411, 2013
892013
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
862018
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
862013
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
852015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20