pldb wrapped

DRCDavid R. Christiansen

1 papers

cited 15×

cites 11

Reply guy/gal

BPBrigitte Pientka

cited you 3×

Mutuals

1. ARAseem Rastogi1 ⇄ 1
2. BZBeta Ziliani1 ⇄ 1
3. CHCatalin Hritcu1 ⇄ 1
4. Derek Dreyer1 ⇄ 1
5. JCJames Chapman1 ⇄ 1

you ⇄ them

Secret admirer

JZSJason Z. S. Hu

them: 3 · you: 0

Main character

Elaborator reflection: extending Idris in Idris

ICFP 2016 · cited 15×

Ratio'd

Proof General: A Generic Tool for Proof Development

TACAS 2000 · cited 12× · by your 15×

Vintage

You cite like it's 2010

Deepest dig

Proof General: A Generic Tool for Proof Development

TACAS 2000

Lamport number5

1. DRCyou
2. ECBEdwin C. Brady
3. OKOhad Kammar
4. GDPGordon D. Plotkin
5. MAMartín Abadi
6. LLLeslie Lamport

Load-bearing co-author: Edwin C. Brady. Without them: ∞.

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.