pldb wrapped

AGArie Gurfinkel

57 papers

cited 651×

cites 640

Reply guy/gal

GFGrigory Fedyukovich

cited you 43×

Mutuals

1. DBDirk Beyer18 ⇄ 19
2. AGAlberto Griggio15 ⇄ 12
3. TWRThomas W. Reps12 ⇄ 18
4. MSMooly Sagiv13 ⇄ 11
5. KLMKenneth L. McMillan40 ⇄ 9

you ⇄ them

Parasocial crush

LMMLeonardo Mendonça de Moura

you: 23 · them: 0

Secret admirer

HUHiroshi Unno

them: 27 · you: 0

Main character

The SeaHorn Verification Framework

CAV 2015 · cited 121×

Ratio'd

Synthesizing software verifiers from proof rules

PLDI 2012 · cited 90× · by your 101×

Vintage

You cite like it's 2010

Deepest dig

A Unified Approach to Global Program Optimization

POPL 1973

Lamport number4

1. AGyou
2. RJTRichard J. Trefler
3. KSNKedar S. Namjoshi
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.