pldb wrapped

CFCarsten Fuhs

6 papers

cited 112×

cites 57

Reply guy/gal

JHJan Hoffmann

cited you 16×

Mutuals

1. FZFlorian Zuleger4 ⇄ 4
2. DKDaniel Kroening3 ⇄ 7
3. AMBAmir M. Ben-Amram3 ⇄ 2
4. AGArie Gurfinkel2 ⇄ 2
5. EKEric Koskinen3 ⇄ 2

you ⇄ them

Parasocial crush

ARAndrey Rybalchenko

you: 8 · them: 0

Secret admirer

CDCristina David

them: 7 · you: 0

Main character

Proving Nontermination via Safety

TACAS 2014 · cited 34×

Ratio'd

Alternation for Termination

SAS 2010 · cited 32× · by your 34×

Vintage

You cite like it's 2009

Deepest dig

Rewrite, Rewrite, Rewrite, Rewrite, Rewrite

POPL 1989

Lamport number4

1. CFyou
2. BCByron Cook
3. MYVMoshe Y. Vardi
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.