Concepedia
Statistics
Publications
49
Citations
3.1K
H-Index
25
Active since
1991
Affiliations
Microsoft Research (India)(Current)
IBM (United States)
Microsoft (United States)
IBM Research - Thomas J. Watson Research Center
Tel Aviv University
G. Ramalingam is an author at Microsoft Research (India) specializing in computer science, engineering, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningComputer EngineeringParallel ProgrammingSoftware Engineering
Publications per year
1991–2018
An Incremental Algorithm for a Generalization of the Shortest-Path Problem
G. Ramalingam, Thomas Reps · Journal of Algorithms · 1996 · 365 citations
Mathematical Programming, Path Planning, Engineering +11
The undecidability of aliasing
G. Ramalingam · ACM Transactions on Programming Languages and Systems · 1994 · 299 citations · Full text
Engineering, Verification, Computational Model Theory +18
Context-sensitive synchronization-sensitive analysis is undecidable
G. Ramalingam · ACM Transactions on Programming Languages and Systems · 2000 · 276 citations · Full text
Engineering, Verification, Concurrent System +18
On the computational complexity of dynamic graph problems
G. Ramalingam, Thomas Reps · Theoretical Computer Science · 1996 · 235 citations
Engineering, Graph Theory, Network Analysis +5
Effective typestate verification in the presence of aliasing
Stephen J. Fink, Eran Yahav, Nurit Dor et al. · ACM Transactions on Software Engineering and Methodology · 2008 · 161 citations
Program Checking, Engineering, Type Theory +21
1–5 of 49