kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Roberto Bagnara
11 papers
cited 100×
cites 90
Reply guy/gal
Sriram Sankaranarayanan
cited you 11×
Mutuals
  1. Henny B. Sipma6 ⇄ 5
  2. Antoine Miné7 ⇄ 4
  3. Nicolas Halbwachs12 ⇄ 4
  4. Patrick Cousot22 ⇄ 4
  5. Sriram Sankaranarayanan4 ⇄ 11
you ⇄ them
Parasocial crush
Radhia Cousot
you: 16 · them: 0
Secret admirer
Hongfei Fu
them: 9 · you: 0
Main character
Precise Widening Operators for Convex Polyhedra
SAS 2003 · cited 32×
Ratio'd
Delay Analysis in Synchronous Programs
CAV 1993 · cited 31× · by your 32×
Vintage
You cite like it's 1999
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Early adopter
cited 1 paper before they were published
e.g. Decomposing Non-redundant Sharing by… (1999) → Abstract Domains for Sharing Analysis by Optimal… (SAS 2000)
Lamport number6
  1. you
  2. Roberta Gori
  3. Ichiro Hasuo
  4. Swarat Chaudhuri
  5. Rajeev Alur
  6. Robert P. Kurshan
  7. Leslie Lamport
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.