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
∙
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
∙
09/03/2020
HACCLE: An Ecosystem for Building Secure Multi-Party Computations
Cryptographic techniques have the potential to enable distrusting partie...
research
∙
04/11/2019