G. Ramalingam
43 papers
cited 564×
cites 453
Mutuals
- Thomas W. Reps38 ⇄ 32
- Mooly Sagiv19 ⇄ 13
- Peter W. O'Hearn13 ⇄ 13
- Dino Distefano12 ⇄ 14
- Cristiano Calcagno11 ⇄ 13
you ⇄ them
Main character
TOPLAS 2000 · cited 74×
Ratio'd
TOPLAS 2000 · cited 53× · by your 74×
Vintage
You cite like it's 2001
Early adopter
cited 1 paper before they were published
e.g. Heap Decomposition for Concurrent Shape… (2008) → Shape-Value Abstraction for Verifying… (VMCAI 2009)
Lamport number3
Load-bearing co-author: Rajeev Alur. Without them: 4.
pldb.kirancodes.me/fun · within PLDB