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

Jian Huang, Michael Allen-Bond, Xuechen Zhang. Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path. In Yunji Chen, Olivier Temam, John Carter, editors, Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2017, Xi'an, China, April 8-12, 2017. pages 709-722, ACM, 2017. [doi]

Authors

Jian Huang

This author has not been identified. Look up 'Jian Huang' in Google

Michael Allen-Bond

This author has not been identified. Look up 'Michael Allen-Bond' in Google

Xuechen Zhang

This author has not been identified. Look up 'Xuechen Zhang' in Google