pldb wrapped

RCRadhia Cousot

18 papers

cited 2,490×

cites 177

Reply guy/gal

RGRoberto Giacobazzi

cited you 97×

Mutuals

1. NHNicolas Halbwachs10 ⇄ 15
2. APAndreas Podelski9 ⇄ 32
3. ARAndrey Rybalchenko8 ⇄ 23
4. CFCormac Flanagan7 ⇄ 7
5. EMCEdmund M. Clarke7 ⇄ 6

you ⇄ them

Parasocial crush

GAKGary A. Kildall

you: 6 · them: 0

Secret admirer

Francesco Ranzato

them: 70 · you: 0

Main character

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

POPL 1977 · cited 1419×

Ratio'd

Automatic Discovery of Linear Restraints Among Variables of a Program

POPL 1978 · cited 478× · by your 485×

Vintage

You cite like it's 2001

Deepest dig

Actor Induction and Meta-Evaluation

POPL 1973

Lamport number3

1. RCyou
2. BBBruno Blanchet
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Bruno Blanchet. Without them: 5.

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.