kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Fan Yang
3 papers
cited 8×
cites 21
Reply guy/gal
Biwei Xie
cited you 1×
Mutuals
  1. Emmanuel Anaya Gonzalez1 ⇄ 1
  2. Eric Mugnier1 ⇄ 1
  3. Gabriel Ebner1 ⇄ 1
  4. Nadia Polikarpova1 ⇄ 1
  5. Nikhil Swamy3 ⇄ 1
you ⇄ them
Parasocial crush
Derek Dreyer
you: 3 · them: 0
Main character
AutoVerus: Automated Proof Generation for Rust Code
OOPSLA 2025 · cited 6×
Vintage
You cite like it's 2022
Deepest dig
Optimistic parallelism requires abstractions
PLDI 2007
Lamport number4
  1. you
  2. Shuvendu K. Lahiri
  3. Kenneth L. McMillan
  4. Robert P. Kurshan
  5. 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.