kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Marek Jankola
5 papers
cited 24×
cites 135
Reply guy/gal
Jan Strejcek
cited you 4×
Mutuals
  1. Jan Strejcek2 ⇄ 4
  2. Philipp Rümmer3 ⇄ 2
  3. Abdelraouf Ouadjaout1 ⇄ 2
  4. Antoine Miné1 ⇄ 2
  5. Arie Gurfinkel3 ⇄ 1
you ⇄ them
Parasocial crush
Andreas Podelski
you: 16 · them: 0
Secret admirer
Zafer Esen
them: 2 · you: 0
Main character
CPAchecker 2.3 with Strategy Selection - (Competition Contribution)
TACAS 2024 · cited 17×
Vintage
You cite like it's 2017
Deepest dig
The Program Dependence Graph and Its Use in Optimization
TOPLAS 1987
Lamport number5
  1. you
  2. Dirk Beyer
  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.