Ganesan Ramalingam
Ganesan Ramalingam
Microsoft Research India
Verified email at microsoft.com
TitleCited byYear
An incremental algorithm for a generalization of the shortest-path problem
G Ramalingam, T Reps
Journal of Algorithms 21 (2), 267-305, 1996
4331996
The undecidability of aliasing
G Ramalingam
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1467-1471, 1994
3381994
Context-sensitive synchronization-sensitive analysis is undecidable
G Ramalingam
ACM Transactions on Programming languages and Systems (TOPLAS) 22 (2), 416-430, 2000
2892000
Effective typestate verification in the presence of aliasing
SJ Fink, E Yahav, N Dor, G Ramalingam, E Geay
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (2), 9, 2008
2532008
On the computational complexity of dynamic graph problems
G Ramalingam, T Reps
Theoretical Computer Science 158 (1-2), 233-277, 1996
2451996
Parametric program slicing
J Field, G Ramalingam, F Tip
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
1641995
A categorized bibliography on incremental computation
G Ramalingam, T Reps
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
1641993
Aggregate structure identification and its application to program analysis
G Ramalingam, J Field, F Tip
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
1441999
A unified approach to domination problems on interval graphs
G Ramalingam, CP Rangan
Information Processing Letters 27 (5), 271-274, 1988
1331988
Predicate abstraction and canonical abstraction for singly-linked lists
R Manevich, E Yahav, G Ramalingam, M Sagiv
International Workshop on Verification, Model Checking, and Abstract …, 2005
1242005
Bounded incremental computation
G Ramalingam, J van Leeuwen, J Hartmanis, G Goos
Springer, 1996
1211996
Slicing class hierarchies in C++
F Tip, JD Choi, J Field, G Ramalingam
Acm Sigplan Notices 31 (10), 179-197, 1996
911996
Deriving specialized program analyses for certifying component-client conformance
G Ramalingam, A Warshavsky, J Field, D Goyal, M Sagiv
ACM SIGPLAN Notices 37 (5), 83-94, 2002
902002
Data flow frequency analysis
G Ramalingam
ACM SIGPLAN Notices 31 (5), 267-277, 1996
861996
Thread quantification for concurrent shape analysis
J Berdine, T Lev-Ami, R Manevich, G Ramalingam, M Sagiv
International Conference on Computer Aided Verification, 399-413, 2008
792008
Broom: Sweeping out garbage collection from big data systems
I Gog, J Giceva, M Schwarzkopf, K Vaswani, D Vytiniotis, G Ramalingam, ...
15th Workshop on Hot Topics in Operating Systems (HotOS {XV}), 2015
742015
Safe programmable speculative parallelism
P Prabhu, G Ramalingam, K Vaswani
ACM Sigplan Notices 45 (6), 50-61, 2010
712010
System to reduce interference in concurrent programs
S Rajamani, G Ramalingam, VP Ranganath, K Vaswani
US Patent 7,941,616, 2011
672011
On loops, dominators, and dominance frontiers
G Ramalingam
ACM transactions on Programming Languages and Systems 24 (5), 455-490, 2002
662002
ISOLATOR: dynamically ensuring isolation in comcurrent programs
S Rajamani, G Ramalingam, VP Ranganath, K Vaswani
ACM Sigplan Notices 44 (3), 181-192, 2009
652009
The system can't perform the operation now. Try again later.
Articles 1–20