pldb wrapped

JLJiaxiang Liu

9 papers

cited 10×

cites 78

Reply guy/gal

AWLAnthony W. Lin

cited you 3×

Mutuals

1. JSJun Sun2 ⇄ 3
2. AMAbdalrhman Mohamed1 ⇄ 1
3. AWLAnthony W. Lin1 ⇄ 3
4. CWBClark W. Barrett8 ⇄ 1
5. MOMMagnus O. Myreen7 ⇄ 1

you ⇄ them

Parasocial crush

GKGuy Katz

you: 7 · them: 0

Main character

CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver

CAV 2021 · cited 8×

Ratio'd

Reconstruction of Z3's Bit-Vector Proofs in HOL4 and Isabelle/HOL

CPP 2011 · cited 7× · by your 8×

Vintage

You cite like it's 2018

Deepest dig

A Verified Model Checker for the Modal µ-calculus in Coq

TACAS 1998

Lamport number4

1. JLyou
2. BWBow-Yaw Wang
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Bow-Yaw Wang. Without them: 5.

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.