pldb wrapped

MBMartin Blicha

10 papers

cited 26×

cites 143

Reply guy/gal

AGArie Gurfinkel

cited you 4×

Mutuals

1. AGArie Gurfinkel24 ⇄ 4
2. NKNaoki Kobayashi7 ⇄ 3
3. RSRyosuke Sato4 ⇄ 3
4. HGVHari Govind V. K.5 ⇄ 2
5. IZIlia Zlatkin2 ⇄ 2

you ⇄ them

Parasocial crush

KLMKenneth L. McMillan

you: 16 · them: 0

Secret admirer

HKHiroyuki Katsura

them: 3 · you: 0

Main character

SolCMC: Solidity Compiler's Model Checker

CAV 2022 · cited 12×

Ratio'd

Leveraging Interpolant Strength in Model Checking

CAV 2012 · cited 5× · by your 6×

Vintage

You cite like it's 2015

Deepest dig

Construction of Abstract State Graphs with PVS

CAV 1997

Lamport number4

1. MByou
2. LALeonardo Alt
3. HCHana Chockler
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.