pldb wrapped

NHNicolas Halbwachs

17 papers

cited 799×

cites 116

Reply guy/gal

AMAntoine Miné

cited you 30×

Mutuals

1. MSMooly Sagiv11 ⇄ 13
2. TWRThomas W. Reps11 ⇄ 30
3. RCRadhia Cousot15 ⇄ 10
4. AMAntoine Miné6 ⇄ 30
5. DGDenis Gopan7 ⇄ 6

you ⇄ them

Parasocial crush

EAEE. Allen Emerson

you: 5 · them: 0

Secret admirer

FLFrancesco Logozzo

them: 15 · you: 0

Main character

Automatic Discovery of Linear Restraints Among Variables of a Program

POPL 1978 · cited 478×

Ratio'd

Path invariants

PLDI 2007 · cited 50× · by your 58×

Vintage

You cite like it's 2004

Deepest dig

An Interprocedural Data Flow Analysis Algorithm

POPL 1977

Lamport number4

1. NHyou
2. PCPatrick Cousot
3. BBBruno Blanchet
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Patrick Cousot. 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.