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

Jian Huang Michael Allen-Bond Xuechen Zhang

Published in: ASPLOS (2017)

Keyphrases

shortest path
strongly connected
method finds
information retrieval
genetic algorithm
e learning
three dimensional
root cause
security vulnerabilities