pldb wrapped

SGSusanne Graf

9 papers

cited 377×

cites 48

Reply guy/gal

TWRThomas W. Reps

cited you 21×

Mutuals

1. EMCEdmund M. Clarke6 ⇄ 8
2. OGOrna Grumberg6 ⇄ 9
3. SBSaddek Bensalem5 ⇄ 7
4. ABAhmed Bouajjani3 ⇄ 7
5. DELDavid E. Long3 ⇄ 3

you ⇄ them

Parasocial crush

HGHubert Garavel

you: 3 · them: 0

Secret admirer

RJRanjit Jhala

them: 16 · you: 0

Main character

Construction of Abstract State Graphs with PVS

CAV 1997 · cited 312×

Ratio'd

Model Checking and Abstraction

TOPLAS 1994 · cited 110× · by your 312×

Vintage

You cite like it's 1995

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. A Tool for Symbolic Program… (1993) → The Temporal Logic of Actions (TOPLAS 1994)

Lamport number3

1. SGyou
2. DAPDoron A. Peled
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Doron A. Peled. Without them: 4.

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.