36
Publications
2.5K
Citations
26
H-Index
2006
Active since
Aditya V. Nori is an author at Microsoft (United States) specializing in computer science, program analysis, and engineering.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSoftware EngineeringAutomated ReasoningFormal VerificationSoftware TestingVerification
Publications per year
2006–2018
36
36
Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori et al. · 2014 · 357 citations · Full text
Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan et al. · 2006 · 251 citations
Counterexample-guided Model Checking, Program Checking, Synergy Algorithm +15
HOLMES: Effective statistical debugging via efficient path profiling
Trishul Chilimbi, Ben Liblit, Krishna K. Mehra et al. · 2009 · 245 citations
Compositional may-must program analysis
Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani et al. · 2010 · 215 citations
Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani et al. · 2009 · 143 citations
Rows per page
1–5 of 36