kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Rajeev Alur
73 papers
cited 1,297×
cites 529
Reply guy/gal
Isil Dillig
cited you 30×
Mutuals
  1. Sumit Gulwani27 ⇄ 20
  2. Thomas W. Reps16 ⇄ 19
  3. Thomas A. Henzinger28 ⇄ 12
  4. Margus Veanes18 ⇄ 11
  5. Corina S. Pasareanu10 ⇄ 13
you ⇄ them
Parasocial crush
Susan Horwitz
you: 12 · them: 0
Secret admirer
Parosh Aziz Abdulla
them: 26 · you: 0
Main character
A Temporal Logic of Nested Calls and Returns
TACAS 2004 · cited 450×
Ratio'd
Precise Interprocedural Dataflow Analysis via Graph Reachability
POPL 1995 · cited 391× · by your 450×
Vintage
You cite like it's 2008
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Early adopter
cited 2 papers before they were published
e.g. Generating Litmus Tests for Contrasting… (2010) → Sound and Complete Monitoring of Sequential… (TACAS 2011)
Lamport number2
  1. you
  2. Robert P. Kurshan
  3. Leslie Lamport

Load-bearing co-author: Robert P. Kurshan. Without them: 4.

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.