kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Ruyi Ji
10 papers
cited 33×
cites 222
Reply guy/gal
Isil Dillig
cited you 8×
Mutuals
  1. Isil Dillig24 ⇄ 8
  2. Xiaokang Qiu10 ⇄ 3
  3. Yuepeng Wang5 ⇄ 3
  4. Chenglong Wang2 ⇄ 2
  5. Mayur Naik6 ⇄ 2
you ⇄ them
Parasocial crush
Sumit Gulwani
you: 31 · them: 0
Secret admirer
Celeste Barnaby
them: 4 · you: 0
Main character
Question selection for interactive program synthesis
PLDI 2020 · cited 15×
Ratio'd
OptiMathSAT: A Tool for Optimization Modulo Theories
CAV 2015 · cited 9× · by your 15×
Vintage
You cite like it's 2017
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Lamport number4
  1. you
  2. Ranjit Jhala
  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.