2 papers
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…
cs.PL2025
Eliminate Branches by Melding IR Instructions
Yuze Li, Srinivasan Ramachandra Sharma, Charitha Saumya +2
Branch mispredictions cause catastrophic performance penalties in modern processors, leading to performance loss. While hardware predictors and profile-guided techniques exist, dat…