pldb wrapped

IMIsabella Mastroeni

24 papers

cited 48×

cites 231

Reply guy/gal

AMAntoine Miné

cited you 4×

Mutuals

1. MDPMila Dalla Preda9 ⇄ 4
2. PCPatrick Cousot55 ⇄ 4
3. MCMarco Campion5 ⇄ 3
4. MVMargus Veanes7 ⇄ 3
5. AMAntoine Miné2 ⇄ 4

you ⇄ them

Parasocial crush

RCRadhia Cousot

you: 48 · them: 0

Secret admirer

JWJeffery Wang

them: 4 · you: 0

Main character

Abstract non-interference: parameterizing non-interference by abstract…

POPL 2004 · cited 12×

Ratio'd

Verifying Secrets and Relative Secrecy

POPL 2000 · cited 10× · by your 12×

Vintage

You cite like it's 2009

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number5

1. IMyou
2. MDPMila Dalla Preda
3. Somesh Jha
4. DAPDoron A. Peled
5. RPKRobert P. Kurshan
6. LLLeslie 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.