Kirshanthan Sundararajah

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
• HACCLE: Metaprogramming for Secure Multi-Party Computation
• Composable, Sound Transformations of Nested Recursion and Loops
• Sound, Fine-grained Traversal Fusion for Heterogeneous Trees
• Treelogy: A Benchmark Suite for Tree Traversals
• TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals
• Locality Transformations for Nested Recursive Iteration Spaces
• Model-based Input-adaptive Vectorization
• Layered Depth Image Based HEVC Multi-view Codec