kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Songlin Jia
8 papers
cited 16×
cites 247
Reply guy/gal
Anxhelo Xhebraj
cited you 3×
Mutuals
  1. Anxhelo Xhebraj4 ⇄ 3
  2. Martin Odersky24 ⇄ 3
  3. Yichen Xu6 ⇄ 3
  4. Cao Nguyen Pham2 ⇄ 2
  5. Edward Lee8 ⇄ 2
you ⇄ them
Parasocial crush
John Potter
you: 12 · them: 0
Secret admirer
Dinghong Zhong
them: 2 · you: 0
Main character
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in…
POPL 2024 · cited 15×
Vintage
You cite like it's 2012
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Lamport number5
  1. you
  2. Yuyan Bao
  3. Roopsha Samanta
  4. E. Allen Emerson
  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.