pldb wrapped

DADanel Ahman

11 papers

cited 121×

cites 195

Reply guy/gal

TRTahina Ramananandro

cited you 7×

Mutuals

1. TRTahina Ramananandro8 ⇄ 7
2. RKRobbert Krebbers13 ⇄ 6
3. SZSteve Zdancewic6 ⇄ 6
4. Ilya Sergey4 ⇄ 4
5. YZYannick Zakowski4 ⇄ 4

you ⇄ them

Parasocial crush

PSPierre-Yves Strub

you: 9 · them: 0

Secret admirer

HUHiroshi Unno

them: 5 · you: 0

Main character

Dijkstra monads for free

POPL 2017 · cited 31×

Ratio'd

Combining proofs and programs in a dependently typed language

POPL 2014 · cited 28× · by your 31×

Vintage

You cite like it's 2015

Deepest dig

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

POPL 1987

Lamport number3

1. DAyou
2. CFCédric Fournet
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.