pldb wrapped

DPDamien Pous

10 papers

cited 63×

cites 34

Reply guy/gal

Nate Foster

cited you 8×

Mutuals

1. DKDexter Kozen3 ⇄ 5
2. LHLukás Holík3 ⇄ 3
3. Nate Foster2 ⇄ 8
4. Alexandra Silva1 ⇄ 7
5. Arjun Guha1 ⇄ 1

you ⇄ them

Parasocial crush

JRJean-François Raskin

you: 4 · them: 0

Secret admirer

TKTobias Kappé

them: 6 · you: 0

Main character

Checking NFA equivalence with bisimulations up to congruence

POPL 2013 · cited 31×

Ratio'd

Regular expression types for XML

TOPLAS 2005 · cited 30× · by your 31×

Vintage

You cite like it's 2008

Deepest dig

The Concurrency Workbench: A Semantics-Based Tool for the Verification of…

TOPLAS 1993

Lamport number4

1. DPyou
2. ASAlan Schmitt
3. BCPBenjamin C. Pierce
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Alan Schmitt. 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.