pldb wrapped

YZYuan Zhou

5 papers

cited 12×

cites 37

Reply guy/gal

TZTianyi Zhang

cited you 4×

Mutuals

1. TZTianyi Zhang3 ⇄ 4
2. GLGuannan Lou3 ⇄ 2
3. MZMengshi Zhang3 ⇄ 2
4. XZXi Zheng3 ⇄ 2
5. YDYao Deng3 ⇄ 2

you ⇄ them

Parasocial crush

CSPCorina S. Pasareanu

you: 6 · them: 0

Secret admirer

HOHakjoo Oh

them: 2 · you: 0

Main character

Systematic Testing of Autonomous Driving Systems Using Map Topology-Based…

ASE 2021 · cited 7×

Vintage

You cite like it's 2020

Deepest dig

Z3: An Efficient SMT Solver

TACAS 2008

Lamport number5

1. YZyou
2. GMGuozhu Meng
3. GPGeguang Pu
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.