pldb wrapped

LZLintao Zhang

2 papers

cited 22×

cites 6

Reply guy/gal

DKDaniel Kroening

cited you 4×

Mutuals

1. ACAlessandro Cimatti1 ⇄ 3
2. EMCEdmund M. Clarke1 ⇄ 1

you ⇄ them

Parasocial crush

SKRSriram K. Rajamani

you: 2 · them: 0

Secret admirer

MBMarco Bozzano

them: 3 · you: 0

Main character

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

CAV 2004 · cited 12×

Ratio'd

Refining Approximations in Software Predicate Abstraction

TACAS 2004 · cited 10× · by your 12×

Vintage

You cite like it's 2003

Deepest dig

Symbolic Model Checking without BDDs

TACAS 1999

Lamport number4

1. LZyou
2. TBThomas Ball
3. OKOrna Kupferman
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.