Ganesan Ramalingam

Cited by

	All	Since 2019
Citations	5844	1093
h-index	38	16
i10-index	78	26

320

160

240

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202421 26 51 49 91 74 85 93 120 128 172 204 186 249 259 287 252 292 305 297 270 282 296 251 265 241 205 221 172 145 109

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Mooly SagivTel Aviv UniversityVerified email at acm.org
Eran YahavTechnion, IsraelVerified email at cs.technion.ac.il
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Roman ManevichArmVerified email at arm.com
Venkatesh-Prasad RanganathGoogleVerified email at ksu.edu
Raghavan KomondoorIndian Institute of Science, BangaloreVerified email at csa.iisc.ernet.in
C.Pandu RanganProfessor, Department of Computer Science and Engg, IIT-Madras, India.Verified email at cse.iitm.ac.in
Satish ChandraGoogleVerified email at acm.org
Josh BerdineFacebookVerified email at fb.com
Stephen FinkIBMVerified email at us.ibm.com
Jong-Deok ChoiSoftware R&D Center, Samsung ElectronicsVerified email at samsung.com
David LoProfessor of Computer Science, Singapore Management UniversityVerified email at smu.edu.sg
Junehwa SongKAISTVerified email at nclab.kaist.ac.kr
Saurabh SinhaIBM ResearchVerified email at us.ibm.com
Ravi Kandhadai MadhavanApple Inc (previously at EPFL, Switzerland)Verified email at apple.com
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Avik ChaudhuriSoftware Engineer, MetaVerified email at meta.com
Hagit AttiyaDepartment of Computer Science, TechnionVerified email at cs.technion.ac.il
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk

Ganesan Ramalingam

Microsoft Research India

Verified email at microsoft.com

Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An incremental algorithm for a generalization of the shortest-path problem G Ramalingam, T Reps Journal of Algorithms 21 (2), 267-305, 1996	533	1996
The undecidability of aliasing G Ramalingam ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1467-1471, 1994	457	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	359	2008
Context-sensitive synchronization-sensitive analysis is undecidable G Ramalingam ACM Transactions on Programming languages and Systems (TOPLAS) 22 (2), 416-430, 2000	340	2000
On the computational complexity of dynamic graph problems G Ramalingam, T Reps Theoretical Computer Science 158 (1-2), 233-277, 1996	321	1996
A categorized bibliography on incremental computation G Ramalingam, T Reps Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993	215	1993
Parametric program slicing J Field, G Ramalingam, F Tip Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995	179	1995
A unified approach to domination problems on interval graphs G Ramalingam, CP Rangan Information Processing Letters 27 (5), 271-274, 1988	176	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	159	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	130	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	94	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	81	1999
Object model for Java G Ramalingam, H Srinivasan US Patent 5,907,707, 1999	72	1999

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors