pldb wrapped

JKJinwoo Kim

8 papers

cited 46×

cites 114

Reply guy/gal

KJCKeith J. C. Johnson

cited you 7×

Mutuals

1. ARAndrew Reynolds5 ⇄ 2
2. Isil Dillig9 ⇄ 2
3. NPNadia Polikarpova3 ⇄ 2
4. RBRastislav Bodík3 ⇄ 2
5. ATAmin Timany1 ⇄ 1

you ⇄ them

Parasocial crush

JCJohn Cyphert

you: 8 · them: 0

Secret admirer

CMCharlie Murphy

them: 4 · you: 0

Main character

Semantics-guided synthesis

POPL 2021 · cited 26×

Ratio'd

Proving Unrealizability for Syntax-Guided Synthesis

CAV 2019 · cited 24× · by your 26×

Vintage

You cite like it's 2017

Deepest dig

Programming Language Constructs for Which it is Impossible to Obtain "Good"…

POPL 1977

Lamport number4

1. JKyou
2. Loris D'Antoni
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.