pldb wrapped

GNGreg Nelson

11 papers

cited 549×

cites 27

Reply guy/gal

RJRanjit Jhala

cited you 18×

Mutuals

1. APArnd Poetzsch-Heffter1 ⇄ 3
2. BJBart Jacobs1 ⇄ 6
3. CMCarroll Morgan1 ⇄ 2
4. DNDavid Notkin1 ⇄ 1
5. MFManuel Fähndrich1 ⇄ 7

you ⇄ them

Secret admirer

SKLShuvendu K. Lahiri

them: 17 · you: 0

Main character

Extended Static Checking for Java

PLDI 2002 · cited 252×

Ratio'd

Dependent Types in Practical Programming

POPL 1999 · cited 164× · by your 252×

Vintage

You cite like it's 1998

Deepest dig

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

POPL 1977

Lamport number3

1. GNyou
2. CFCormac Flanagan
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.