Concepedia

Manu Sridharan

MS

54

Publications

3.9K

Citations

31

H-Index

2000

Active since

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

IBM (United States)

University of California, Berkeley

Samsung (United States)

Manu Sridharan is an author at IBM Research - Thomas J. Watson Research Center specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringSoftware AnalysisComputer ScienceProgram AnalysisSoftware TestingSoftware EngineeringFormal MethodsSoftware DesignFormal VerificationSystem Software

Publications per year

2000–2022

54

Publications

54

Efficient and precise datarace detection for multithreaded object-oriented programs

Jong-Deok Choi, Keun‐Woo Lee, Robert O'Callahan et al. · 2002 · 441 citations

Engineering, Computer Architecture, Software Engineering +18

Omer Tripp, Marco Pistoia, Stephen J. Fink et al. · 2009 · 302 citations

Software Maintenance, Engineering, Taint Analysis +16

Refinement-based context-sensitive points-to analysis for Java

Manu Sridharan, Rastislav Bodík · ACM SIGPLAN Notices · 2006 · 240 citations

Engineering, Computer Architecture, Software Engineering +21

Manu Sridharan, Stephen J. Fink, Rastislav Bodík · 2007 · 233 citations

Engineering, Human Consumption, Software Engineering +18

In defense of soundiness

Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis et al. · Communications of the ACM · 2015 · 222 citations

Music, Psychoacoustics, New Sound +12

Rows per page

1–5 of 54