Collaborated with:
Zhuo Zhang 0002 Guanhong Tao Guannan Wei Y.Kwon X.Z.0001
Talks about:
path (2) interpret (1) abstract (1) program (1) practic (1) analysi (1) unbias (1) execut (1) depend (1) binari (1)
Person: Wei You
DBLP: You:Wei
Contributed to:
Wrote 1 papers:
- OOPSLA-2019-ZhangYTWK0 #abstract interpretation #analysis #bytecode #dependence #named
- BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation (ZZ0, WY, GT, GW, YK, XZ0), p. 31.