Collaborated with:T.Rompf Grégory M. Essertel Yuxuan Chen Zhuo Zhang 0002 Wei You Guanhong Tao Y.Kwon X.Z.0001
Talks about:program (3) interpret (2) structur (2) abstract (2) analysi (2) whole (2) path (2) practic (1) modular (1) collect (1)
Person: Guannan Wei
DBLP: Wei:Guannan
Contributed to:
2019Wrote 3 papers:
- OOPSLA-2019-EssertelWR #precise #reasoning
- Precise reasoning with structured time, structured heaps, and collective operations (GME, GW, TR), p. 30.
- OOPSLA-2019-WeiCR #composition #metaprogramming #performance #program analysis #staged
- Staged abstract interpreters: fast and modular whole-program analysis via meta-programming (GW, YC, TR), p. 32.
- 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.