3

SABLE: Staging Blocked Evaluation of Sparse Matrix Computations
Sparse Matrices found in the real world often have some structure in how the dense elements are organized. While the inspector-executor …
PDF
Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution
Dynamic symbolic execution (DSE) suffers from path explosion problem when the target program has many conditional branches. Classical …
PDF