kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Nian-Ze Lee
8 papers
cited 27×
cites 147
Reply guy/gal
Jan Strejcek
cited you 5×
Mutuals
  1. Dirk Beyer3 ⇄ 4
  2. Jan Strejcek2 ⇄ 5
  3. Philipp Rümmer2 ⇄ 2
  4. Abdelraouf Ouadjaout1 ⇄ 2
  5. Ahmed Irfan1 ⇄ 2
you ⇄ them
Parasocial crush
Kenneth L. McMillan
you: 14 · them: 0
Secret admirer
Cesare Tinelli
them: 2 · you: 0
Main character
CPAchecker 2.3 with Strategy Selection - (Competition Contribution)
TACAS 2024 · cited 17×
Vintage
You cite like it's 2014
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Lamport number5
  1. you
  2. Dirk Beyer
  3. Thomas A. Henzinger
  4. Rajeev Alur
  5. Robert P. Kurshan
  6. 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.