毛晓光

Multi-Access with Collision Detection interrupt program data based on abstract interpretation

董威, 王戟, 文艳军, 2014 .

Multi-interrupt routine data access conflict detection method based on abstract interpretation

董威, 王戟, 文艳军, 2014 .

Analyst-oriented Taint Analysis by Taint Path Slicing and Aggregation

毛晓光, 潘瑾琨, 李唯实, 2015 .