pldb wrapped

SLSung-Hwan Lee

7 papers

cited 71×

cites 163

Reply guy/gal

PSPeter Sewell

cited you 9×

Mutuals

1. PSPeter Sewell28 ⇄ 9
2. OLOri Lahav6 ⇄ 7
3. BDBrijesh Dongol4 ⇄ 8
4. EMEvgenii Moiseenko4 ⇄ 4
5. JPJean Pichon-Pharabod7 ⇄ 4

you ⇄ them

Parasocial crush

SSSusmit Sarkar

you: 17 · them: 0

Secret admirer

LHLudovic Henrio

them: 7 · you: 0

Main character

Promising 2.0: global optimizations in relaxed memory concurrency

PLDI 2020 · cited 29×

Ratio'd

A Practical Approach for Model Checking C/C++11 Code

TOPLAS 2016 · cited 18× · by your 19×

Vintage

You cite like it's 2018

Deepest dig

Dynamic partial-order reduction for model checking software

POPL 2005

Lamport number4

1. SLyou
2. CPChristopher Pulte
3. BCPBenjamin C. Pierce
4. MAMartín Abadi
5. 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.