pldb wrapped

OSBOlivier Savary Bélanger

2 papers

cited 8×

cites 28

Reply guy/gal

TFTiago Ferreira

cited you 2×

Mutuals

1. TKTobias Kappé2 ⇄ 2
2. DWDavid Walker4 ⇄ 1
3. DKDexter Kozen7 ⇄ 1
4. RMRatul Mahajan1 ⇄ 1

you ⇄ them

Parasocial crush

RBRyan Beckett

you: 3 · them: 0

Main character

KATch: A Fast Symbolic Verifier for NetKAT

PLDI 2024 · cited 5×

Vintage

You cite like it's 2014

Deepest dig

Explicit Polymorphism and CPS Conversion

POPL 1993

Lamport number4

1. OSByou
2. Nate Foster
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. LLLeslie Lamport

Load-bearing co-author: Nate Foster. 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.