pldb wrapped

DGDeepak Garg

38 papers

cited 338×

cites 756

Reply guy/gal

LBLars Birkedal

cited you 26×

Mutuals

1. LBLars Birkedal61 ⇄ 26
2. JHJan Hoffmann17 ⇄ 12
3. RJRalf Jung33 ⇄ 12
4. CHCatalin Hritcu10 ⇄ 13
5. ACAdam Chlipala10 ⇄ 9

you ⇄ them

Parasocial crush

AAAmal Ahmed

you: 35 · them: 0

Secret admirer

DZDorde Zikelic

them: 10 · you: 0

Main character

RefinedC: automating the foundational verification of C code with refined…

PLDI 2021 · cited 53×

Ratio'd

The future is ours: prophecy variables in separation logic

POPL 2020 · cited 51× · by your 53×

Vintage

You cite like it's 2014

Deepest dig

Advice on Structuring Compilers and Proving Them Correct

POPL 1973

Early adopter

cited 1 paper before they were published

e.g. Robust and compositional verification… (2017) → Iris from the ground up: A modular foundation for… (JFP 2018)

Lamport number3

1. DGyou
2. ABAnindya Banerjee
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Anindya Banerjee. 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.