pldb wrapped

JLJuneyoung Lee

12 papers

cited 120×

cites 219

Reply guy/gal

YZYannick Zakowski

cited you 9×

Mutuals

1. SZSteve Zdancewic16 ⇄ 7
2. KMKayvan Memarian7 ⇄ 6
3. JRJohn Regehr16 ⇄ 5
4. PSPeter Sewell7 ⇄ 5
5. RKRobbert Krebbers6 ⇄ 4

you ⇄ them

Parasocial crush

Santosh Nagarakatte

you: 18 · them: 0

Secret admirer

TGTobias Grosser

them: 6 · you: 0

Main character

Alive2: bounded translation validation for LLVM

PLDI 2021 · cited 51×

Ratio'd

Skeletal program enumeration for rigorous compiler testing

PLDI 2017 · cited 47× · by your 51×

Vintage

You cite like it's 2016

Deepest dig

An Efficient Method of Computing Static Single Assignment Form

POPL 1989

Lamport number4

1. JLyou
2. KHKihong Heo
3. RARajeev Alur
4. RPKRobert P. Kurshan
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.