pldb wrapped

AVAndrei Voronkov

18 papers

cited 106×

cites 98

Reply guy/gal

LPLucas Peña

cited you 9×

Mutuals

1. CWBClark W. Barrett6 ⇄ 8
2. ARAndrew Reynolds5 ⇄ 6
3. CTCesare Tinelli5 ⇄ 5
4. PMP. Madhusudan5 ⇄ 9
5. TBTevfik Bultan3 ⇄ 4

you ⇄ them

Parasocial crush

KLMKenneth L. McMillan

you: 13 · them: 0

Secret admirer

AMAdithya Murali

them: 8 · you: 0

Main character

First-Order Theorem Proving and Vampire

CAV 2013 · cited 44×

Ratio'd

Demand-Driven Compositional Symbolic Execution

TACAS 2008 · cited 42× · by your 43×

Vintage

You cite like it's 2006

Deepest dig

An Efficient Unification Algorithm

TOPLAS 1982

Lamport number4

1. AVyou
2. TAHThomas A. Henzinger
3. RARajeev Alur
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.