pldb wrapped

ABAhmed Bouajjani

60 papers

cited 691×

cites 706

Reply guy/gal

PAAParosh Aziz Abdulla

cited you 53×

Mutuals

1. TWRThomas W. Reps34 ⇄ 30
2. Rupak Majumdar23 ⇄ 21
3. OLOri Lahav19 ⇄ 42
4. PAAParosh Aziz Abdulla18 ⇄ 53
5. SLTSalvatore La Torre17 ⇄ 16

you ⇄ them

Parasocial crush

RCRadhia Cousot

you: 14 · them: 0

Secret admirer

AWLAnthony W. Lin

them: 13 · you: 0

Main character

Regular Model Checking

CAV 2000 · cited 61×

Ratio'd

Verifying safety properties of concurrent Java programs using 3-valued logic

POPL 2001 · cited 48× · by your 49×

Vintage

You cite like it's 2009

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Early adopter

cited 1 paper before they were published

e.g. Programs with Lists Are Counter Automata (2006) → On Flat Programs with Lists (VMCAI 2007)

Lamport number4

1. AByou
2. SQShaz Qadeer
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.