pldb wrapped

MRMukund Raghothaman

16 papers

cited 139×

cites 262

Reply guy/gal

XZXin Zhang

cited you 26×

Mutuals

1. XZXin Zhang12 ⇄ 26
2. Isil Dillig11 ⇄ 7
3. MVMargus Veanes15 ⇄ 4
4. CZCharles Zhang3 ⇄ 3
5. GFGang Fan3 ⇄ 3

you ⇄ them

Parasocial crush

HOHakjoo Oh

you: 20 · them: 0

Secret admirer

YZYifan Zhang

them: 12 · you: 0

Main character

SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis

ICSE 2016 · cited 30×

Ratio'd

Typestate-based semantic code search over partial programs

OOPSLA 2012 · cited 28× · by your 30×

Vintage

You cite like it's 2015

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number3

1. MRyou
2. RARajeev Alur
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Rajeev Alur. 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.