Travelled to:1 × India
Collaborated with:X.Wang L.Zhang B.Xie L.Zhang H.Mei D.Wang Y.Xiong L.Z.0023
Talks about:analysi (2) reachabl (1) callback (1) summari (1) presenc (1) librari (1) context (1) complet (1) summar (1) sensit (1)
Person: Hao Tang
DBLP: Tang:Hao
Contributed to:
2015
2017Wrote 2 papers:
- POPL-2015-TangWZXZM #analysis #data flow
- Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks (HT, XW, LZ, BX, LZ, HM), pp. 83–95.
- ESOP-2017-TangWXZW0 #analysis #library #performance #reachability #summary
- Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization (HT, DW, YX, LZ, XW, LZ0), pp. 880–908.