Charitha Saumya

Latest

• Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution
• HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction
• UniRec: A Unimodular-Like Framework for Nested Recursions and Loops
• SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring
• DARM: Control-Flow Melding for SIMT Thread Divergence Reduction