pldb wrapped

RLPRasmus Lerchedahl Petersen

3 papers

cited 37×

cites 25

Reply guy/gal

RNSReuben N. S. Rowe

cited you 5×

Mutuals

1. GRGrigore Rosu2 ⇄ 1
2. HYHongseok Yang1 ⇄ 1
3. JCRJohn C. Reynolds1 ⇄ 1
4. PWOPeter W. O'Hearn2 ⇄ 1
5. WCWei-Ngan Chin1 ⇄ 2

you ⇄ them

Parasocial crush

BBBodil Biering

you: 2 · them: 0

Secret admirer

FZFlorian Zuleger

them: 3 · you: 0

Main character

A Generic Cyclic Theorem Prover

APLAS 2012 · cited 28×

Ratio'd

Enhancing Program Verification with Lemmas

CAV 2008 · cited 22× · by your 28×

Vintage

You cite like it's 2006

Deepest dig

Dependent Types in Practical Programming

POPL 1999

Lamport number3

1. RLPyou
2. JGMJ. Gregory Morrisett
3. FBSFred B. Schneider
4. LLLeslie Lamport

Load-bearing co-author: J. Gregory Morrisett. Without them: 4.

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.