pldb wrapped

DADanil Annenkov

5 papers

cited 10×

cites 61

Reply guy/gal

JPJean Pichon-Pharabod

cited you 2×

Mutuals

1. CHCatalin Hritcu1 ⇄ 1
2. ERExequiel Rivas1 ⇄ 1
3. JAJeremy Avigad1 ⇄ 1
4. JCJesper Cockx1 ⇄ 1
5. KCKarl Crary2 ⇄ 1

you ⇄ them

Parasocial crush

RHRobert Harper

you: 4 · them: 0

Secret admirer

MJMartin Jensen

them: 2 · you: 0

Main character

ConCert: a smart contract certification framework in Coq

CPP 2020 · cited 6×

Vintage

You cite like it's 2013

Deepest dig

Views: A Way for Pattern Matching to Cohabit with Data Abstraction

POPL 1987

Lamport number5

1. DAyou
2. BSBas Spitters
3. KMKenji Maillard
4. CFCédric Fournet
5. MAMartín Abadi
6. LLLeslie Lamport

Load-bearing co-author: Bas Spitters. Without them: 6.

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.