pldb wrapped

YCYiwei Ci

2 papers

cited 3×

cites 22

Reply guy/gal

GHGuangyu Hu

cited you 2×

Mutuals

1. HZHongce Zhang2 ⇄ 2
2. GPGeguang Pu3 ⇄ 1
3. JLJianwen Li3 ⇄ 1

you ⇄ them

Parasocial crush

ACAlessandro Cimatti

you: 6 · them: 0

Secret admirer

WZWei Zhang

them: 2 · you: 0

Main character

The rIC3 Hardware Model Checker

CAV 2025 · cited 2×

Vintage

You cite like it's 2018

Deepest dig

Symbolic Model Checking without BDDs

TACAS 1999

Lamport number8

1. YCyou
2. QYQiusong Yang
3. MLMingshu Li
4. QWQing Wang
5. TXTao Xie
6. PMP. Madhusudan
7. RARajeev Alur
8. RPKRobert P. Kurshan

Load-bearing co-author: Qiusong Yang. Without them: ∞.

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.