Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path.

Jian Huang, Michael Allen-Bond, Xuechen Zhang

Browse the full ASPLOS paper archive.