kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Wenxi Wang
10 papers
cited 18×
cites 93
Reply guy/gal
Charith Mendis
cited you 2×
Mutuals
  1. Allison Sullivan2 ⇄ 1
  2. Gordon Fraser3 ⇄ 1
  3. Valentin Wüstholz1 ⇄ 1
  4. Wing Lam2 ⇄ 1
  5. Yu Jiang1 ⇄ 1
you ⇄ them
Parasocial crush
Daniel Jackson
you: 11 · them: 0
Secret admirer
Damitha Lenadora
them: 2 · you: 0
Main character
TestMC: Testing Model Counters using Differential and Metamorphic Testing
ASE 2020 · cited 7×
Vintage
You cite like it's 2015
Deepest dig
Dependence Analysis for Pointer Variables
PLDI 1989
Lamport number3
  1. you
  2. Kenneth L. McMillan
  3. Robert P. Kurshan
  4. Leslie Lamport

Load-bearing co-author: Kenneth L. McMillan. 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.