kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Kalmer Apinis
7 papers
cited 76×
cites 109
Reply guy/gal
Sarah Tilscher
cited you 22×
Mutuals
  1. Antoine Miné11 ⇄ 5
  2. Dirk Beyer4 ⇄ 10
  3. Deepak D'Souza2 ⇄ 2
  4. Matthias Heizmann2 ⇄ 3
  5. David Monniaux4 ⇄ 1
you ⇄ them
Parasocial crush
Patrick Cousot
you: 10 · them: 0
Secret admirer
Karoliine Holter
them: 16 · you: 0
Main character
Static race detection for device drivers: the Goblint approach
ASE 2016 · cited 32×
Ratio'd
Fast and Accurate Static Data-Race Detection for Concurrent Programs
CAV 2007 · cited 25× · by your 32×
Vintage
You cite like it's 2008
Deepest dig
A Unified Approach to Global Program Optimization
POPL 1973
Lamport number5
  1. you
  2. Helmut Seidl
  3. Anca Muscholl
  4. Elsa L. Gunter
  5. Robert P. Kurshan
  6. Leslie Lamport

Load-bearing co-author: Helmut Seidl. Without them: 6.

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.