pldb wrapped

DENDavid E. Narváez

1 papers

cited 1×

cites 17

Reply guy/gal

BCBalder ten Cate

cited you 1×

Mutuals

1. BCBalder ten Cate1 ⇄ 1

you ⇄ them

Parasocial crush

DKDexter Kozen

you: 4 · them: 0

Main character

CF-GKAT: Efficient Validation of Control-Flow Transformations

POPL 2025 · cited 1×

Vintage

You cite like it's 2014

Deepest dig

Kleene Algebra with Tests and Commutativity Conditions

TACAS 1996

Lamport number4

1. DENyou
2. TKTobias Kappé
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. LLLeslie Lamport

Load-bearing co-author: Tobias Kappé. 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.