pldb wrapped

BSBenjamin Sherman

5 papers

cited 71×

cites 34

Reply guy/gal

SSSam Staton

cited you 7×

Mutuals

1. FASFeras A. Saad2 ⇄ 3
2. HYHongseok Yang2 ⇄ 2
3. JTJean-Baptiste Tristan2 ⇄ 2
4. MCRMartin C. Rinard2 ⇄ 5
5. SSSam Staton2 ⇄ 7

you ⇄ them

Parasocial crush

ASAdam Scibior

you: 3 · them: 0

Secret admirer

MHMathieu Huot

them: 6 · you: 0

Main character

Trace types and denotational semantics for sound programmable inference in…

POPL 2020 · cited 27×

Ratio'd

Compiling Markov chain Monte Carlo algorithms for probabilistic modeling

PLDI 2017 · cited 17× · by your 27×

Vintage

You cite like it's 2015

Deepest dig

Automatic verification of Pipelined Microprocessor Control

CAV 1994

Lamport number4

1. BSyou
2. ACAdam Chlipala
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. LLLeslie Lamport

Load-bearing co-author: Adam Chlipala. 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.