research
∙
08/03/2023
Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution
Dynamic symbolic execution (DSE) suffers from path explosion problem whe...
share
research
∙
09/14/2022
Cornucopia: A Framework for Feedback Guided Generation of Binaries
Binary analysis is an important capability required for many security an...
research
∙
05/23/2022
SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring
Sparse tensor algebra computations have become important in many real-wo...
research
∙
07/12/2021
DARM: Control-Flow Melding for SIMT Thread Divergence Reduction – Extended Version
GPGPUs use the Single-Instruction-Multiple-Thread (SIMT) execution model...
research
∙
02/28/2018