BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
Zhuo Zhang 0002 Wei You 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: Guanhong Tao

DBLP DBLP: Tao:Guanhong

Contributed to:

OOPSLA 20192019

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.