pldb wrapped

SSSteffen Smolka

5 papers

cited 58×

cites 51

Reply guy/gal

TFTiago Ferreira

cited you 6×

Mutuals

1. DWDavid Walker12 ⇄ 5
2. DKDexter Kozen7 ⇄ 3
3. MGMichael Greenberg3 ⇄ 3
4. RBRyan Beckett3 ⇄ 4
5. Loris D'Antoni2 ⇄ 2

you ⇄ them

Parasocial crush

CJACarolyn Jane Anderson

you: 5 · them: 0

Secret admirer

ABAnita Buckley

them: 4 · you: 0

Main character

Scalable verification of probabilistic networks

PLDI 2019 · cited 20×

Ratio'd

A probabilistic language based on sampling functions

TOPLAS 2008 · cited 16× · by your 17×

Vintage

You cite like it's 2014

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. SSyou
2. TKTobias Kappé
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
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.