pldb wrapped

ZWZhilin Wu

10 papers

cited 90×

cites 110

Reply guy/gal

VHVojtech Havlena

cited you 20×

Mutuals

1. LHLukás Holík13 ⇄ 19
2. YCYu-Fang Chen10 ⇄ 11
3. VGVijay Ganesh7 ⇄ 5
4. CWBClark W. Barrett8 ⇄ 4
5. MVMargus Veanes4 ⇄ 4

you ⇄ them

Parasocial crush

ARAhmed Rezine

you: 9 · them: 0

Secret admirer

MHMichal Hecko

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 2015

Deepest dig

Symbolic Model Checking

CAV 1996

Lamport number4

1. ZWyou
2. PAAParosh Aziz Abdulla
3. DAPDoron A. Peled
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.