pldb wrapped

CHChristoph Haase

3 papers

cited 20×

cites 19

Reply guy/gal

FMFilip Mazowiecki

cited you 4×

Mutuals

1. Rupak Majumdar3 ⇄ 2
2. ADAlex Dixon1 ⇄ 1
3. DZDamien Zufferey1 ⇄ 1
4. JSJake Silverman1 ⇄ 1
5. JEJavier Esparza2 ⇄ 1

you ⇄ them

Parasocial crush

FNFilip Niksic

you: 3 · them: 0

Secret admirer

PHPiotr Hofman

them: 4 · you: 0

Main character

SeLoger: A Tool for Graph-Based Reasoning in Separation Logic

CAV 2013 · cited 8×

Ratio'd

Incremental, Inductive Coverability

CAV 2013 · cited 7× · by your 8×

Vintage

You cite like it's 2014

Deepest dig

Attacking Symbolic State Explosion

CAV 2001

Lamport number4

1. CHyou
2. SISamin Ishtiaq
3. MYVMoshe Y. Vardi
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.