pldb wrapped

JWJohn Wiegley

3 papers

cited 20×

cites 39

Reply guy/gal

HKHrutvik Kanabar

cited you 3×

Mutuals

1. MOMMagnus O. Myreen3 ⇄ 3
2. ACAdam Chlipala1 ⇄ 2
3. GKGerwin Klein2 ⇄ 1
4. KCKoen Claessen3 ⇄ 1
5. LLLeonidas Lampropoulos2 ⇄ 1

you ⇄ them

Parasocial crush

RJRanjit Jhala

you: 6 · them: 0

Secret admirer

AEAndres Erbsen

them: 2 · you: 0

Main character

Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience…

ICFP 2018 · cited 11×

Ratio'd

A tale of two provers: verifying monoidal string matching in liquid Haskell and…

Haskell 2017 · cited 9× · by your 11×

Vintage

You cite like it's 2014

Deepest dig

Finite Differencing of Computable Expressions

TOPLAS 1982

Lamport number4

1. JWyou
2. Stephanie Weirich
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. 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.