pldb wrapped

Dominik Winterer

@dominikwinterer.bsky.social

5 papers

cited 75×

cites 86

Reply guy/gal

MSMaolin Sun

cited you 10×

Mutuals

1. MCMaria Christakis5 ⇄ 6
2. Valentin Wüstholz5 ⇄ 6
3. CWBClark W. Barrett7 ⇄ 3
4. NSBNikolaj S. Bjørner5 ⇄ 3
5. ABArmin Biere4 ⇄ 2

you ⇄ them

Parasocial crush

ABAlexandra Bugariu

you: 7 · them: 0

Secret admirer

YYYibiao Yang

them: 10 · you: 0

Main character

Validating SMT solvers via semantic fusion

PLDI 2020 · cited 36×

Ratio'd

StringFuzz: A Fuzzer for String Solvers

CAV 2018 · cited 24× · by your 36×

Vintage

You cite like it's 2017

Deepest dig

QuickCheck: a lightweight tool for random testing of Haskell programs

ICFP 2000

Lamport number5

1. you
2. CZChengyu Zhang
3. JLJianwen Li
4. MYVMoshe Y. Vardi
5. RPKRobert P. Kurshan
6. 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.