kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Simmo Saan
14 papers
cited 46×
cites 260
Reply guy/gal
Dirk Beyer
cited you 14×
Mutuals
  1. Dirk Beyer27 ⇄ 14
  2. Antoine Miné28 ⇄ 8
  3. Raphaël Monat8 ⇄ 10
  4. Abdelraouf Ouadjaout5 ⇄ 8
  5. Dominik Klumpp5 ⇄ 3
you ⇄ them
Parasocial crush
Andreas Podelski
you: 14 · them: 0
Secret admirer
Martin Mariusz Lester
them: 4 · you: 0
Main character
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting…
TACAS 2021 · cited 16×
Ratio'd
Soundness of Data Flow Analyses for Weak Memory Models
APLAS 2011 · cited 10× · by your 11×
Vintage
You cite like it's 2016
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Lamport number5
  1. you
  2. Patrick Lam
  3. Thomas Wies
  4. Kedar S. Namjoshi
  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.