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]
Abstract is missing.