pldb wrapped

AVAndrea Vezzosi

7 papers

cited 116×

cites 45

Reply guy/gal

NTNicolas Tabareau

cited you 13×

Mutuals

1. BPBrigitte Pientka6 ⇄ 7
2. JCJesper Cockx3 ⇄ 4
3. CACarlo Angiuli4 ⇄ 2
4. CCCyril Cohen2 ⇄ 2
5. ECBEdwin C. Brady3 ⇄ 2

you ⇄ them

Parasocial crush

ASAnton Setzer

you: 3 · them: 0

Secret admirer

JZSJason Z. S. Hu

them: 8 · you: 0

Main character

Decidability of conversion for type theory in type theory

POPL 2018 · cited 41×

Ratio'd

Type theory in type theory using quotient inductive types

POPL 2016 · cited 32× · by your 41×

Vintage

You cite like it's 2015

Deepest dig

Introduction to Generalized Type Systems

JFP 1991

Lamport number5

1. AVyou
2. JÖJoakim Öhman
3. ANAleksandar Nanevski
4. JGMJ. Gregory Morrisett
5. FBSFred B. Schneider
6. 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.