pldb wrapped

PWPeng Wang

9 papers

cited 115×

cites 98

Reply guy/gal

JHJan Hoffmann

cited you 7×

Mutuals

1. JHJan Hoffmann5 ⇄ 7
2. AAAmal Ahmed3 ⇄ 4
3. DGDeepak Garg3 ⇄ 5
4. RJRanjit Jhala3 ⇄ 3
5. CHChung-Kil Hur2 ⇄ 2

you ⇄ them

Parasocial crush

JLJian-Guang Lou

you: 4 · them: 0

Secret admirer

AEAndres Erbsen

them: 6 · you: 0

Main character

Verified low-level programming embedded in F

ICFP 2017 · cited 37×

Ratio'd

Formal verification of SSA-based optimizations for LLVM

PLDI 2013 · cited 36× · by your 37×

Vintage

You cite like it's 2014

Deepest dig

Proving the Correctness of Reactive Systems Using Sized Types

POPL 1996

Early adopter

cited 2 papers before they were published

e.g. Compiler verification meets… (2014) → Compositional CompCert (POPL 2015)

Lamport number3

1. PWyou
2. CFCédric Fournet
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Cédric Fournet. 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.