activity
20182025
most citedSparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring

13 citations · 16 across the 6 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.SE2023

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution

Charitha Saumya, Muhammad Hassan, Rohan Gangaraju +2

Dynamic Symbolic Execution (DSE) suffers from the path explosion problem when the target program has many conditional branches. The classical approach for managing the path explosi…