pldb wrapped

EPGE. Pascal Gribomont

5 papers

cited 12×

cites 40

Reply guy/gal

APAmir Pnueli

cited you 6×

Mutuals

1. APAmir Pnueli5 ⇄ 6
2. LDZLenore D. Zuck2 ⇄ 5
3. SRSitvanit Ruah2 ⇄ 2
4. ABAhmed Bouajjani2 ⇄ 1
5. BJBengt Jonsson4 ⇄ 1

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 5 · them: 0

Secret admirer

NPNir Piterman

them: 2 · you: 0

Main character

Automated Verification of Szymanski's Algorithm

TACAS 1998 · cited 8×

Vintage

You cite like it's 1993

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. CAVEAT: Technique and Tool for Computer… (1995) → Symbolic Model Checking (CAV 1996)

Lamport number3

1. EPGyou
2. PFPascal Fontaine
3. SMStephan Merz
4. LLLeslie Lamport

Load-bearing co-author: Pascal Fontaine. Without them: ∞.

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.