Collaborated with:
Jian Huang 0006 X.Zhang
Talks about:
semant (1) palla (1) check (1) path (1) find (1) fast (1) deep (1) awar (1) bug (1)
Person: Michael Allen-Bond
DBLP: Allen-Bond:Michael
Contributed to:
Wrote 1 papers:
- ASPLOS-2017-HuangAZ #debugging #named #performance #semantics
- Pallas: Semantic-Aware Checking for Finding Deep Bugs in Fast Path (JH0, MAB, XZ), pp. 709–722.