Aditya Nori
Aditya Nori
Senior Principal Researcher, Microsoft Research
Verified email at microsoft.com - Homepage
TitleCited byYear
HOLMES: Effective statistical debugging via efficient path profiling
TM Chilimbi, B Liblit, K Mehra, AV Nori, K Vaswani
Proceedings of the 31st International Conference on Software Engineering, 34-44, 2009
2802009
Probabilistic programming
AD Gordon, TA Henzinger, AV Nori, SK Rajamani
Proceedings of the on Future of Software Engineering, 167-181, 2014
2652014
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
2532006
Compositional may-must program analysis: unleashing the power of alternation
P Godefroid, AV Nori, SK Rajamani, SD Tetali
ACM Sigplan Notices 45 (1), 43-56, 2010
2062010
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
1822010
Merlin: specification inference for explicit information flow problems
B Livshits, AV Nori, SK Rajamani, A Banerjee
ACM Sigplan Notices 44 (6), 75-86, 2009
1452009
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
1382016
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
1312017
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
1282008
Automatically refining abstract interpretations
BS Gulavani, S Chakraborty, AV Nori, SK Rajamani
International Conference on Tools and Algorithms for the Construction and …, 2008
1142008
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
1012013
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
872009
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
862016
R2: An efficient MCMC sampler for probabilistic programs
A Nori, CK Hur, S Rajamani, S Samuel
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
832014
Interpolants as classifiers
R Sharma, AV Nori, A Aiken
International Conference on Computer Aided Verification, 71-87, 2012
782012
Preferential path profiling: compactly numbering interesting paths
K Vaswani, AV Nori, TM Chilimbi
ACM Sigplan Notices 42 (1), 351-362, 2007
642007
Verification as learning geometric concepts
R Sharma, S Gupta, B Hariharan, A Aiken, AV Nori
International Static Analysis Symposium, 388-411, 2013
582013
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
582013
Biodegradable oxidized cellulose esters
V Kumar, Y Dong
US Patent 7,595,392, 2009
582009
Alternation for termination
WR Harris, A Lal, AV Nori, SK Rajamani
International Static Analysis Symposium, 304-319, 2010
572010
The system can't perform the operation now. Try again later.
Articles 1–20