Travelled to:1 × Canada
Collaborated with:S.Liang M.Might A.W.Keep D.V.Horn
Talks about:analysi (2) flow (2) pushdown (1) except (1) prune (1) godel (1) hash (1) fast (1)
Person: Weibin Sun
DBLP: Sun:Weibin
Contributed to:
2014Wrote 2 papers:
- SCAM-2014-LiangSM #analysis #performance
- Fast Flow Analysis with Godel Hashes (SL, WS, MM), pp. 225–234.
- SCAM-2014-LiangSMKH #analysis #automaton #exception
- Pruning, Pushdown Exception-Flow Analysis (SL, WS, MM, AWK, DVH), pp. 265–274.