works on
high-performance computing 1network topology 1path diversity 1performance analysis 1simulation 1

From the 1 of 5 papers with an AI index.

most citedSemi-supervised learning with max-margin graph cuts

28 citations

researchers with a paper here
collaborating institutions
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2026

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…