pldb wrapped

PCPritam Choudhury

4 papers

cited 38×

cites 68

Reply guy/gal

YLYiyun Liu

cited you 7×

Mutuals

1. Dominic Orchard8 ⇄ 5
2. AAAndreas Abel3 ⇄ 4
3. ASAaron Stump1 ⇄ 1
4. BCPBenjamin C. Pierce3 ⇄ 1
5. BMBenjamin Moon2 ⇄ 1

you ⇄ them

Parasocial crush

JBJean-Philippe Bernardy

you: 6 · them: 0

Secret admirer

FDFrancesco Dagnino

them: 5 · you: 0

Main character

A graded dependent type system with a usage-aware semantics

POPL 2021 · cited 24×

Ratio'd

Graded Modal Dependent Type Theory

ESOP 2021 · cited 18× · by your 24×

Vintage

You cite like it's 2014

Deepest dig

Introduction to Generalized Type Systems

JFP 1991

Lamport number4

1. PCyou
2. Stephanie Weirich
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. LLLeslie Lamport

Load-bearing co-author: Stephanie Weirich. Without them: 5.

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.