pldb wrapped

CCCristiano Calcagno

27 papers

cited 816×

cites 256

Reply guy/gal

Mike Dodds

cited you 27×

Mutuals

1. MSMooly Sagiv44 ⇄ 24
2. BCByron Cook19 ⇄ 16
3. JBJosh Berdine17 ⇄ 13
4. GRG. Ramalingam13 ⇄ 11
5. MJPMatthew J. Parkinson10 ⇄ 9

you ⇄ them

Parasocial crush

RWReinhard Wilhelm

you: 15 · them: 0

Secret admirer

RKRobbert Krebbers

them: 20 · you: 0

Main character

Compositional shape analysis by means of bi-abduction

POPL 2009 · cited 173×

Ratio'd

Compositional Pointer and Escape Analysis for Java Programs

OOPSLA 1999 · cited 124× · by your 173×

Vintage

You cite like it's 2003

Deepest dig

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

POPL 1977

Early adopter

cited 4 papers before they were published

e.g. Context logic and tree update (2005) → A Local Shape Analysis Based on Separation Logic (TACAS 2006)

Lamport number3

1. CCyou
2. LCLuca Cardelli
3. MAMartín Abadi
4. 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.