pldb wrapped

HXHengrui Xing

2 papers

cited 6×

cites 17

Reply guy/gal

DBDirk Beyer

cited you 4×

Mutuals

1. DBDirk Beyer3 ⇄ 4

you ⇄ them

Parasocial crush

LWLiqiang Wang

you: 3 · them: 0

Secret admirer

JSJan Strejcek

them: 2 · you: 0

Main character

PIChecker: A POR and Interpolation based Verifier for Concurrent Programs…

TACAS 2023 · cited 5×

Vintage

You cite like it's 2014

Deepest dig

Lazy abstraction

POPL 2002

Lamport number6

1. HXyou
2. XLXiaofeng Li
3. MCMingshuai Chen
4. SSSriram Sankaranarayanan
5. RARajeev Alur
6. RPKRobert P. Kurshan
7. 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.