pldb wrapped

ALGAïna Linn Georges

8 papers

cited 47×

cites 153

Reply guy/gal

BCBrian Campbell

cited you 5×

Mutuals

1. PSPeter Sewell6 ⇄ 5
2. BCBrian Campbell3 ⇄ 5
3. Derek Dreyer31 ⇄ 3
4. ISIan Stark3 ⇄ 5
5. JTJoseph Tassarotti6 ⇄ 3

you ⇄ them

Parasocial crush

JJJacques-Henri Jourdan

you: 15 · them: 0

Secret admirer

Aslan Askarov

them: 3 · you: 0

Main character

Efficient and provable local capability revocation using uninitialized…

POPL 2021 · cited 14×

Ratio'd

Linear capabilities for fully abstract compilation of separation-logic-verified…

ICFP 2019 · cited 8× · by your 14×

Vintage

You cite like it's 2017

Deepest dig

Model Checking and Modular Verification

TOPLAS 1994

Lamport number4

1. ALGyou
2. LBLars Birkedal
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. 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.