pldb wrapped

YZYannick Zakowski

14 papers

cited 128×

cites 253

Reply guy/gal

ACAdam Chlipala

cited you 9×

Mutuals

1. ACAdam Chlipala10 ⇄ 9
2. Derek Dreyer25 ⇄ 9
3. YSYoungju Song8 ⇄ 8
4. CHCatalin Hritcu9 ⇄ 7
5. MCMinki Cho11 ⇄ 7

you ⇄ them

Parasocial crush

VVViktor Vafeiadis

you: 26 · them: 0

Secret admirer

ACArthur Correnson

them: 6 · you: 0

Main character

Interaction trees: representing recursive and impure programs in Coq

POPL 2020 · cited 82×

Ratio'd

Deep Specifications and Certified Abstraction Layers

POPL 2015 · cited 71× · by your 82×

Vintage

You cite like it's 2017

Deepest dig

Systematic Design of Program Analysis Frameworks

POPL 1979

Lamport number3

1. YZyou
2. BCPBenjamin C. Pierce
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Benjamin C. Pierce. 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.