Collaborated with:Wei You 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: Zhuo Zhang 0002
DBLP: 0002:Zhuo_Zhang
Contributed to:
2019Wrote 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.