pldb wrapped

AGAdwait Godbole

6 papers

cited 16×

cites 98

Reply guy/gal

ABAhmed Bouajjani

cited you 5×

Mutuals

1. ABAhmed Bouajjani9 ⇄ 5
2. OLOri Lahav15 ⇄ 4
3. CHChung-Kil Hur5 ⇄ 1
4. DWDaniel Wright1 ⇄ 1
5. MBMark Batty2 ⇄ 1

you ⇄ them

Parasocial crush

Derek Dreyer

you: 5 · them: 0

Secret admirer

KNKK. Narayan Kumar

them: 5 · you: 0

Main character

The Decidability of Verification under PS 2.0

ESOP 2021 · cited 11×

Ratio'd

Context-Bounded Analysis for POWER

TACAS 2017 · cited 8× · by your 11×

Vintage

You cite like it's 2014

Deepest dig

Expressing Interesting Properties of Programs in Propositional Temporal Logic

POPL 1986

Lamport number4

1. AGyou
2. PAAParosh Aziz Abdulla
3. DAPDoron A. Peled
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.