Manu Sridharan
University of California, Riverside(US)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Research, Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Security and Verification in Computing
Most-Cited Works
- → Efficient and precise datarace detection for multithreaded object-oriented programs(2002)441 cited
- → TAJ(2009)302 cited
- → Refinement-based context-sensitive points-to analysis for Java(2006)241 cited
- → Thin slicing(2007)233 cited
- → In defense of soundiness(2015)223 cited
- → Demand-driven points-to analysis for Java(2005)194 cited
- → A micromodularity mechanism(2001)151 cited
- → Effective race detection for event-driven programs(2013)126 cited
- → Snugglebug(2009)121 cited