pldb wrapped

CPCarlos Puchol

3 papers

cited 15×

cites 6

Reply guy/gal

AMMAtif M. Memon

cited you 2×

Mutuals

1. FOFarid Ouabdesselam1 ⇄ 2
2. IPIoannis Parissis1 ⇄ 1
3. NHNicolas Halbwachs1 ⇄ 1

you ⇄ them

Secret admirer

LBLydie du Bousquet

them: 2 · you: 0

Main character

Specification-based Testing of Reactive Software: Tools and Experiments…

ICSE 1997 · cited 9×

Vintage

You cite like it's 1994

Deepest dig

Checking That Finite State Concurrent Programs Satisfy Their Linear…

POPL 1985

Early adopter

cited 1 paper before they were published

e.g. Specification-based Testing of Reactive… (1997) → Synchronous Programming of Reactive Systems (CAV 1998)

Lamport number4

1. CPyou
2. LJJLalita Jategaonkar Jagadeesan
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.