Conference paperVerifying safety properties using separation and heterogeneous abstractionsEran Yahav, G. RamalingamPLDI 2004
PaperOn the computational complexity of dynamic graph problemsG. Ramalingam, Thomas RepsTheoretical Computer Science
Conference paperDeriving specialized program analyses for certifying component-client conformanceG. Ramalingam, Alex Warshavsky, et al.PLDI 2002