Kirshanthan ("Krish") Sundararajah
Kirshanthan ("Krish") Sundararajah
Home
Publications
Teaching
Service
Awards
Light
Dark
Automatic
Page not found
Perhaps you were looking for one of these?
Latest
Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution
Publications
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
HACCLE: Metaprogramming for Secure Multi-Party Computation
Sound, Fine-grained Traversal Fusion for Heterogeneous Trees
Composable, Sound Transformations of Nested Recursion and Loops
Treelogy: A Benchmark Suite for Tree Traversals
Cite
×