pldb wrapped

MHMatthew Hague

13 papers

cited 100×

cites 178

Reply guy/gal

LHLukás Holík

cited you 21×

Mutuals

1. LHLukás Holík17 ⇄ 21
2. YCYu-Fang Chen14 ⇄ 13
3. MVMargus Veanes9 ⇄ 5
4. VGVijay Ganesh9 ⇄ 5
5. BPDBui Phi Diep6 ⇄ 4

you ⇄ them

Parasocial crush

YZYunhui Zheng

you: 8 · them: 0

Secret admirer

NCNariyoshi Chida

them: 5 · you: 0

Main character

Decision procedures for path feasibility of string-manipulating programs with…

POPL 2019 · cited 35×

Ratio'd

String constraints with concatenation and transducers solved efficiently

POPL 2018 · cited 27× · by your 35×

Vintage

You cite like it's 2012

Deepest dig

Even Simple Programs are Hard to Analyze

POPL 1975

Lamport number4

1. MHyou
2. Rupak Majumdar
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.