| An incremental algorithm for a generalization of the shortest-path problem G Ramalingam, T Reps Journal of Algorithms 21 (2), 267-305, 1996 | 530 | 1996 |
| The undecidability of aliasing G Ramalingam ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1467-1471, 1994 | 451 | 1994 |
| 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), 1-34, 2008 | 354 | 2008 |
| Context-sensitive synchronization-sensitive analysis is undecidable G Ramalingam ACM Transactions on Programming languages and Systems (TOPLAS) 22 (2), 416-430, 2000 | 339 | 2000 |
| On the computational complexity of dynamic graph problems G Ramalingam, T Reps Theoretical Computer Science 158 (1-2), 233-277, 1996 | 320 | 1996 |
| A categorized bibliography on incremental computation G Ramalingam, T Reps Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 214 | 1993 |
| Parametric program slicing J Field, G Ramalingam, F Tip Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 178 | 1995 |
| A unified approach to domination problems on interval graphs G Ramalingam, CP Rangan Information Processing Letters 27 (5), 271-274, 1988 | 174 | 1988 |
| 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 | 158 | 1999 |
| Bounded incremental computation G Ramalingam Springer Berlin Heidelberg, 1996 | 146 | 1996 |
| Predicate abstraction and canonical abstraction for singly-linked lists R Manevich, E Yahav, G Ramalingam, M Sagiv Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005 | 135 | 2005 |
| 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 | 129 | 2015 |
| Slicing class hierarchies in C++ F Tip, JD Choi, J Field, G Ramalingam Proceedings of the 11th ACM SIGPLAN conference on Object-oriented …, 1996 | 102 | 1996 |
| Thread quantification for concurrent shape analysis J Berdine, T Lev-Ami, R Manevich, G Ramalingam, M Sagiv Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 99 | 2008 |
| Safe programmable speculative parallelism P Prabhu, G Ramalingam, K Vaswani Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010 | 93 | 2010 |
| 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 | 93 | 2002 |
| Data flow frequency analysis G Ramalingam ACM SIGPLAN Notices 31 (5), 267-277, 1996 | 89 | 1996 |
| On loops, dominators, and dominance frontiers G Ramalingam ACM transactions on Programming Languages and Systems 24 (5), 455-490, 2002 | 86 | 2002 |
| Identifying loops in almost linear time G Ramalingam ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (2), 175-188, 1999 | 80 | 1999 |
| Object model for Java G Ramalingam, H Srinivasan US Patent 5,907,707, 1999 | 72 | 1999 |
Mooly SagivTel Aviv University在 acm.org 的电子邮件经过验证
