Ganesan Ramalingam - Google Scholar Citations

Cited by

	All	Since 2015
Citations	4774	1301
h-index	33	18
i10-index	73	35

320

160

240

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202017 15 29 40 47 87 66 89 76 108 122 167 210 173 240 236 277 240 280 303 298 251 271 281 255 262 219 13

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, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Roman ManevichMellanox TechnologiesVerified email at mellanox.com
Venkatesh-Prasad RanganathKansas State UniversityVerified 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 ChandraFacebook (previously: Samsung, IBM, Bell Labs, University of Wisconsin-Madison)Verified 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
Saurabh SinhaIBM ResearchVerified email at us.ibm.com
Junehwa SongKAISTVerified email at nclab.kaist.ac.kr
David LoAssociate Professor of Information Systems, Singapore Management UniversityVerified email at smu.edu.sg
Ravichandhran (Kandhadai) MadhavanApple Inc (previously at EPFL, Switzerland)Verified email at epfl.ch
Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Prakash PrabhuPrinceton UniversityVerified email at cs.princeton.edu
Avik ChaudhuriSoftware Engineer, FacebookVerified email at fb.com
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	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	442	1996
The undecidability of aliasing G Ramalingam ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1467-1471, 1994	350	1994
Context-sensitive synchronization-sensitive analysis is undecidable G Ramalingam ACM Transactions on Programming languages and Systems (TOPLAS) 22 (2), 416-430, 2000	292	2000
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	267	2008
On the computational complexity of dynamic graph problems G Ramalingam, T Reps Theoretical Computer Science 158 (1-2), 233-277, 1996	250	1996
A categorized bibliography on incremental computation G Ramalingam, T Reps Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993	168	1993
Parametric program slicing J Field, G Ramalingam, F Tip Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995	165	1995
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	147	1999
A unified approach to domination problems on interval graphs G Ramalingam, CP Rangan Information Processing Letters 27 (5), 271-274, 1988	135	1988
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	126	2005
Bounded incremental computation G Ramalingam, J van Leeuwen, J Hartmanis, G Goos Springer, 1996	118	1996
Slicing class hierarchies in C++ F Tip, JD Choi, J Field, G Ramalingam Proceedings of the 11th ACM SIGPLAN conference on Object-oriented …, 1996	92	1996
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	89	2002
Data flow frequency analysis G Ramalingam ACM SIGPLAN Notices 31 (5), 267-277, 1996	86	1996
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	83	2015
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	83	2008
Safe programmable speculative parallelism P Prabhu, G Ramalingam, K Vaswani Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010	75	2010
Identifying loops in almost linear time G Ramalingam ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (2), 175-188, 1999	67	1999
On loops, dominators, and dominance frontiers G Ramalingam ACM transactions on Programming Languages and Systems 24 (5), 455-490, 2002	66	2002
Object model for Java G Ramalingam, H Srinivasan US Patent 5,907,707, 1999	66	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

Upload PDF

Follow this author

Cited by

Co-authors