Manu Sridharan

Exploiting subformula sharing in automatic analysis of quantified formulas

Manu Sridharan, Daniel Jackson, Robert Seater, 2003 .

Refinement-Based Program Analysis Tools

Manu Sridharan, Manu Sridharan, 2007 .

Dynamic datarace detection for object-oriented programs

Manu Sridharan, 2002 .

Thresher: precise refutations for heap reachability

Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan, 2013, PLDI.

Dynamic determinacy analysis

Frank Tip, Julian Dolby, Max Schäfer, 2013, PLDI.

Improving Congestion Control in Satellite Networks

Raj Jain, Arjan Durresi, Chunlei Liu, 2001 .