Login / Signup
Michael Allen-Bond
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Security Vulnerabilities
Method Finds
Top Venues
ASPLOS
</>
Publications
</>
Jian Huang
,
Michael Allen-Bond
,
Xuechen Zhang
Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path.
ASPLOS
(2017)