pldb wrapped

ASAaron Stump

13 papers

cited 85×

cites 101

Reply guy/gal

ANAina Niemetz

cited you 6×

Mutuals

1. AVAntoine Voizard2 ⇄ 2
2. RAERichard A. Eisenberg3 ⇄ 2
3. Stephanie Weirich5 ⇄ 2
4. ACAdam Chlipala1 ⇄ 3
5. APAmir Pnueli1 ⇄ 1

you ⇄ them

Parasocial crush

CMConor McBride

you: 7 · them: 0

Secret admirer

MPMathias Preiner

them: 6 · you: 0

Main character

CVC: A Cooperating Validity Checker

CAV 2002 · cited 30×

Ratio'd

ICS: Integrated Canonizer and Solver

CAV 2001 · cited 15× · by your 30×

Vintage

You cite like it's 2004

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. ASyou
2. CWBClark W. Barrett
3. KSNKedar S. Namjoshi
4. RPKRobert P. Kurshan
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.