pldb wrapped

TVSThomas Van Strydonck

4 papers

cited 24×

cites 69

Reply guy/gal

BCBrian Campbell

cited you 4×

Mutuals

1. CHCatalin Hritcu3 ⇄ 3
2. DGDeepak Garg4 ⇄ 3
3. Derek Dreyer16 ⇄ 3
4. LBLars Birkedal6 ⇄ 3
5. BCBrian Campbell2 ⇄ 4

you ⇄ them

Parasocial crush

RKRobbert Krebbers

you: 11 · them: 0

Secret admirer

JPJean Pichon-Pharabod

them: 4 · you: 0

Main character

Efficient and provable local capability revocation using uninitialized…

POPL 2021 · cited 14×

Ratio'd

Scala step-by-step: soundness for DOT with step-indexed logical relations in…

ICFP 2020 · cited 8× · by your 14×

Vintage

You cite like it's 2016

Deepest dig

Formal certification of a compiler back-end or: programming a compiler with a…

POPL 2006

Lamport number4

1. TVSyou
2. LBLars Birkedal
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. LLLeslie Lamport

Load-bearing co-author: Lars Birkedal. 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.