pldb wrapped

JZJun Zhang

2 papers

cited 19×

cites 12

Reply guy/gal

TCTaolue Chen

cited you 5×

Mutuals

1. MWMeng Wu3 ⇄ 3
2. SGShengjian Guo1 ⇄ 2

you ⇄ them

Parasocial crush

HEHassan Eldib

you: 5 · them: 0

Secret admirer

Jingbo Wang

them: 4 · you: 0

Main character

SCInfer: Refinement-Based Verification of Software Countermeasures Against…

CAV 2018 · cited 15×

Ratio'd

Synthesis of Masking Countermeasures against Side Channel Attacks

CAV 2014 · cited 12× · by your 15×

Vintage

You cite like it's 2015

Deepest dig

Z3: An Efficient SMT Solver

TACAS 2008

Lamport number5

1. JZyou
2. CWChao Wang
3. ZYZijiang Yang
4. RARajeev Alur
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.