pldb wrapped

KRMK. Rustan M. Leino

30 papers

cited 688×

cites 183

Reply guy/gal

AJSAlexander J. Summers

cited you 23×

Mutuals

1. MCRMartin C. Rinard7 ⇄ 17
2. MJPMatthew J. Parkinson7 ⇄ 12
3. MSMooly Sagiv7 ⇄ 10
4. PCPatrick Cousot8 ⇄ 7
5. CBChandrasekhar Boyapati6 ⇄ 11

you ⇄ them

Parasocial crush

LMMLeonardo Mendonça de Moura

you: 7 · them: 0

Secret admirer

DJPDavid J. Pearce

them: 13 · 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 2004

Deepest dig

The Design of the PSI Program Synthesis System

ICSE 1976

Lamport number3

1. KRMyou
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.