kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Frank Huch
6 papers
cited 30×
cites 24
Reply guy/gal
Margus Veanes
cited you 5×
Mutuals
  1. Corina S. Pasareanu2 ⇄ 1
  2. Graham Hutton1 ⇄ 1
  3. Grigore Rosu1 ⇄ 1
  4. Hongjun Zheng1 ⇄ 1
  5. James C. Corbett1 ⇄ 1
you ⇄ them
Parasocial crush
Simon L. Peyton Jones
you: 4 · them: 0
Secret admirer
Olli Saarikivi
them: 3 · you: 0
Main character
A play on regular expressions: functional pearl
ICFP 2010 · cited 12×
Vintage
You cite like it's 1998
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Lamport number6
  1. you
  2. Germán Vidal
  3. Elvira Albert
  4. Mooly Sagiv
  5. Orna Kupferman
  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.