13 citations · 16 across the 6 of their papers we have counts for
6 papers
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…
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…
Cornucopia: A Framework for Feedback Guided Generation of Binaries
Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya +2
Binary analysis is an important capability required for many security and software engineering applications. Consequently, there are many binary analysis techniques and tools with…
SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring
Adhitha Dias, Kirshanthan Sundararajah, Charitha Saumya +1
Sparse tensor algebra computations have become important in many real-world applications like machine learning, scientific simulations, and data mining. Hence, automated code gener…
DARM: Control-Flow Melding for SIMT Thread Divergence Reduction -- Extended Version
Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni
GPGPUs use the Single-Instruction-Multiple-Thread (SIMT) execution model where a group of threads-wavefront or warp-execute instructions in lockstep. When threads in a group encoun…
Orion+: Automated Problem Diagnosis in Computing Systems by Mining Metric Data
Shreya Inamdar, Charitha Saumya, Nomchin Banga
This work presents the suspicious code at a finer granularity of call stack rather than code region, which was being returned by Orion. Call stack based comparison returns call sta…