kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Jianan Yao
6 papers
cited 52×
cites 71
Reply guy/gal
Nengkun Yu
cited you 6×
Mutuals
  1. Mingsheng Ying5 ⇄ 5
  2. Sharon Shoham4 ⇄ 3
  3. Oded Padon5 ⇄ 2
  4. ThanhVu Nguyen2 ⇄ 2
  5. Thomas W. Reps2 ⇄ 4
you ⇄ them
Parasocial crush
Alex Aiken
you: 5 · them: 0
Secret admirer
Hongfei Fu
them: 4 · you: 0
Main character
Giallar: push-button verification for the qiskit Quantum compiler
PLDI 2022 · cited 20×
Vintage
You cite like it's 2017
Deepest dig
Translation validation for an optimizing compiler
PLDI 2000
Lamport number4
  1. you
  2. Byron Cook
  3. Moshe Y. Vardi
  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.