kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Laure Petrucci
8 papers
cited 39×
cites 33
Reply guy/gal
Sriram Sankaranarayanan
cited you 4×
Mutuals
  1. Aarti Gupta1 ⇄ 1
  2. Albert Rubio1 ⇄ 1
  3. Andreas Pavlogiannis1 ⇄ 2
  4. Bengt Jonsson3 ⇄ 1
  5. Elvira Albert1 ⇄ 1
you ⇄ them
Parasocial crush
Judi Romijn
you: 4 · them: 0
Secret admirer
Henny B. Sipma
them: 3 · you: 0
Main character
FAST: Fast Acceleration of Symbolikc Transition Systems
CAV 2003 · cited 25×
Ratio'd
Testing multithreaded programs via thread speed control
FSE 2018 · cited 6× · by your 11×
Vintage
You cite like it's 2013
Deepest dig
Memory Efficient Algorithms for the Verification of Temporal Properties
CAV 1990
Early adopter
cited 1 paper before they were published
e.g. Quasi-Optimal Partial Order Reduction (2018) → Optimal stateless model checking for reads-from… (OOPSLA 2019)
Lamport number4
  1. you
  2. Sébastien Bardin
  3. Jean-Yves Marion
  4. Stephan Merz
  5. Leslie Lamport

Load-bearing co-author: Sébastien Bardin. Without them: 5.

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.