pldb wrapped

FWFarn Wang

15 papers

cited 26×

cites 45

Reply guy/gal

DBDirk Beyer

cited you 3×

Mutuals

1. DBDirk Beyer3 ⇄ 3
2. AGArie Gurfinkel2 ⇄ 1
3. DNDavid Notkin1 ⇄ 1
4. SVASérgio Vale Aguiar Campos1 ⇄ 1

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 8 · them: 0

Secret admirer

TBTevfik Bultan

them: 3 · you: 0

Main character

Efficient Data Structure for Fully Symbolic Verification of Real-Time Software…

TACAS 2000 · cited 6×

Vintage

You cite like it's 2004

Deepest dig

"Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs

POPL 1980

Lamport number3

1. FWyou
2. EAEE. Allen Emerson
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: E. Allen Emerson. 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.