kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Cedric Richter
7 papers
cited 33×
cites 91
Reply guy/gal
Dirk Beyer
cited you 18×
Mutuals
  1. Dirk Beyer15 ⇄ 18
  2. Jan Strejcek3 ⇄ 7
  3. Arie Gurfinkel1 ⇄ 1
  4. Avriti Chauhan1 ⇄ 1
  5. Bharti Chimdyalwar1 ⇄ 2
you ⇄ them
Parasocial crush
Michael Pradel
you: 9 · them: 0
Secret admirer
Abdelraouf Ouadjaout
them: 3 · you: 0
Main character
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition…
TACAS 2019 · cited 19×
Ratio'd
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate…
TACAS 2014 · cited 5× · by your 19×
Vintage
You cite like it's 2017
Deepest dig
Systematic Design of Program Analysis Frameworks
POPL 1979
Lamport number5
  1. you
  2. Marek Chalupa
  3. Thomas A. Henzinger
  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.