kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Ondrej Lengál
35 papers
cited 140×
cites 431
Reply guy/gal
Jingyi Mei
cited you 10×
Mutuals
  1. Margus Veanes15 ⇄ 8
  2. Philipp Rümmer30 ⇄ 8
  3. Li Zhou9 ⇄ 7
  4. Mingsheng Ying22 ⇄ 7
  5. Anthony W. Lin23 ⇄ 6
you ⇄ them
Parasocial crush
Cesare Tinelli
you: 21 · them: 0
Secret admirer
Ekaterina Zhuchko
them: 5 · you: 0
Main character
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
PLDI 2023 · cited 21×
Ratio'd
Büchi Complementation and Size-Change Termination
TACAS 2009 · cited 15× · by your 16×
Vintage
You cite like it's 2013
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Lamport number4
  1. you
  2. Bow-Yaw Wang
  3. Rajeev Alur
  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.