kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Peeter Laud
3 papers
cited 16×
cites 15
Reply guy/gal
Isabella Mastroeni
cited you 4×
Mutuals
  1. Andrei Sabelfeld3 ⇄ 3
  2. Aslan Askarov1 ⇄ 2
  3. Cédric Fournet1 ⇄ 2
  4. Daniel Hedin1 ⇄ 2
  5. David Sands2 ⇄ 1
you ⇄ them
Parasocial crush
Dennis M. Volpano
you: 3 · them: 0
Secret admirer
Fausto Spoto
them: 2 · you: 0
Main character
Semantics and Program Analysis of Computationally Secure Information Flow
ESOP 2001 · cited 13×
Ratio'd
Verifying Secrets and Relative Secrecy
POPL 2000 · cited 10× · by your 13×
Vintage
You cite like it's 2000
Deepest dig
Certifying Information Flow Properties of Programs: An Axiomatic Approach
POPL 1979
Lamport number∞

No co-author path to Lamport within PLDB. Free spirit.

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.