pldb wrapped

RWRyan Wisnesky

3 papers

cited 51×

cites 17

Reply guy/gal

ECEvelyne Contejean

cited you 5×

Mutuals

1. ANAleksandar Nanevski4 ⇄ 1
2. ACArthur Charguéraud1 ⇄ 3
3. MCRMartin C. Rinard1 ⇄ 2
4. MSMooly Sagiv1 ⇄ 2

you ⇄ them

Parasocial crush

LBLars Birkedal

you: 4 · them: 0

Secret admirer

VBVéronique Benzaken

them: 5 · you: 0

Main character

Effective interactive proofs for higher-order imperative programs

ICFP 2009 · cited 26×

Ratio'd

The power of Pi

ICFP 2008 · cited 15× · by your 25×

Vintage

You cite like it's 2007

Deepest dig

Extended Static Checking for Java

PLDI 2002

Lamport number3

1. RWyou
2. JGMJ. Gregory Morrisett
3. FBSFred B. Schneider
4. LLLeslie Lamport

Load-bearing co-author: J. Gregory Morrisett. Without them: 4.

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.