pldb wrapped

VVViktor Vafeiadis

71 papers

cited 1,450×

cites 861

Reply guy/gal

BDBrijesh Dongol

cited you 83×

Mutuals

1. PAAParosh Aziz Abdulla62 ⇄ 58
2. PSPeter Sewell105 ⇄ 50
3. MFAMohamed Faouzi Atig49 ⇄ 42
4. MBMark Batty80 ⇄ 41
5. LBLars Birkedal40 ⇄ 81

you ⇄ them

Parasocial crush

SAStavros Aronis

you: 37 · them: 0

Secret admirer

JLJanggun Lee

them: 35 · you: 0

Main character

Concurrent Abstract Predicates

ECOOP 2010 · cited 107×

Ratio'd

Separation logic and abstraction

POPL 2005 · cited 94× · by your 107×

Vintage

You cite like it's 2012

Deepest dig

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic…

POPL 1983

Early adopter

cited 1 paper before they were published

e.g. Program Verification Under Weak Memory… (2017) → Automating Deductive Verification for Weak-Memory… (TACAS 2018)

Lamport number4

1. VVyou
2. LMLuc Maranget
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.