kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Brian Hyeongseok Kim
1 papers
cited 5×
cites 22
Reply guy/gal
Ajinkya Naik
cited you 1×
Mutuals
  1. Ashutosh Trivedi1 ⇄ 1
  2. Gang Tan1 ⇄ 1
  3. Jingyi Wang3 ⇄ 1
  4. Jun Sun2 ⇄ 1
  5. Saeid Tizpaz-Niari1 ⇄ 1
you ⇄ them
Parasocial crush
Alexandra Meliou
you: 2 · them: 0
Main character
Fairquant: Certifying and Quantifying Fairness of Deep Neural Networks
ICSE 2025 · cited 5×
Vintage
You cite like it's 2020
Deepest dig
Safety Verification of Deep Neural Networks
CAV 2017
Lamport number5
  1. you
  2. Chao Wang
  3. Zijiang Yang
  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.