Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path. - Jian Huang 006; Michael Allen-Bond; Xuechen Zhang 001 (ASPLOS, 2017)