pldb wrapped

HZHongce Zhang

8 papers

cited 20×

cites 91

Reply guy/gal

AGAdwait Godbole

cited you 4×

Mutuals

1. ANAina Niemetz4 ⇄ 3
2. MPMathias Preiner4 ⇄ 3
3. QYQiusong Yang2 ⇄ 2
4. TBTianjun Bu2 ⇄ 2
5. YCYiwei Ci2 ⇄ 2

you ⇄ them

Parasocial crush

ACAlessandro Cimatti

you: 8 · them: 0

Secret admirer

BHBrian Huffman

them: 2 · you: 0

Main character

Pono: A Flexible and Extensible SMT-Based Model Checker

CAV 2021 · cited 13×

Ratio'd

SAL 2

CAV 2004 · cited 9× · by your 13×

Vintage

You cite like it's 2014

Deepest dig

Automatic verification of Pipelined Microprocessor Control

CAV 1994

Lamport number4

1. HZyou
2. CWBClark W. Barrett
3. KSNKedar S. Namjoshi
4. RPKRobert P. Kurshan
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.