Kirshanthan ("Krish") Sundararajah
Kirshanthan ("Krish") Sundararajah
Home
Publications
Teaching
Service
Awards
Light
Dark
Automatic
Publications
Type
Conference paper
Date
2023
2022
2021
2019
2017
2016
2014
Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution
Dynamic symbolic execution (DSE) suffers from path explosion problem when the target program has many conditional branches. Classical …
Charitha Saumya
,
Rohan Gangaraju
,
Kirshanthan Sundararajah
,
Milind Kulkarni
PDF
HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction
Binary code size is a first-class design consideration in many computing domains and a critical factor in many more, but compiler …
Rodrigo Rocha
,
Charitha Saumya
,
Kirshanthan Sundararajah
,
Pavlos Petoumenos
,
Milind Kulkarni
,
Michael F. P. O’Boyle
PDF
Code
Slides
UniRec: A Unimodular-Like Framework for Nested Recursions and Loops
Scheduling transformations reorder operations in a program to improve locality and/or parallelism. There are mature loop transformation …
Kirshanthan Sundararajah
,
Charitha Saumya
,
Milind Kulkarni
PDF
Slides
SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring
Sparse tensor algebra computations have become important in many real-world applications like machine learning, scientific simulations, …
Adhitha Dias
,
Kirshanthan Sundararajah
,
Charitha Saumya
,
Milind Kulkarni
Preprint
PDF
Code
Video
DARM: Control-Flow Melding for SIMT Thread Divergence Reduction
GPGPUs use the Single-Instruction-Multiple-Thread (SIMT) execution model where a group of threads–wavefront or war–execute …
Charitha Saumya
,
Kirshanthan Sundararajah
,
Milind Kulkarni
Preprint
PDF
Code
Slides
HACCLE: Metaprogramming for Secure Multi-Party Computation
Cryptographic techniques have the potential to enable distrusting parties to collaborate in fundamentally new ways, but their practical …
Yuyan Bao
,
Kirshanthan Sundararajah
,
Raghav Malik
,
Qianchuan Ye
,
Christopher Wagner
,
Nouraldin Jaber
,
Fei Wang
,
Mohammad Hassan Ameri
,
Donghang Lu
,
Alexander Seto
,
Benjamin Delaware
,
Roopsha Samanta
,
Aniket Kate
,
Christina Garman
,
Jeremiah Blocki
,
Pierre-David Letourneau
,
Benoit Meister
,
Jonathan Springer
,
Tiark Rompf
,
Milind Kulkarni
Preprint
PDF
Code
Slides
Video
Sound, Fine-grained Traversal Fusion for Heterogeneous Trees
Applications in many domains are based on a series of traversals of tree structures, and fusing these traversals together to reduce the …
Laith Sakka
,
Kirshanthan Sundararajah
,
Ryan R Newton
,
Milind Kulkarni
Preprint
PDF
Code
Video
Composable, Sound Transformations of Nested Recursion and Loops
Scheduling transformations reorder a program’s operations to improve locality and/or parallelism. The polyhedral model is a general …
Kirshanthan Sundararajah
,
Milind Kulkarni
Preprint
PDF
Code
Slides
Video
Treelogy: A Benchmark Suite for Tree Traversals
An interesting class of irregular algorithms is tree traversal algorithms, which repeatedly traverse various trees to perform efficient …
Nikhil Hegde
,
Jianqiao Liu
,
Kirshanthan Sundararajah
,
Milind Kulkarni
PDF
Code
Slides
TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals
Series of traversals of tree structures arise in numerous contexts: abstract syntax tree traversals in compiler passes, rendering …
Laith Sakka
,
Kirshanthan Sundararajah
,
Milind Kulkarni
PDF
Code
Video
Locality Transformations for Nested Recursive Iteration Spaces
There has been a significant amount of effort invested in designing scheduling transformations such as loop tiling and loop fusion that …
Kirshanthan Sundararajah
,
Laith Sakka
,
Milind Kulkarni
PDF
Code
Poster
Slides
Model-based Input-adaptive Vectorization
In a program, not all the bits of a variable are always used during execution. Identifying the minimum number of bits necessary to …
Kirshanthan Sundararajah
,
Sanath Jayasena
PDF
Layered Depth Image Based HEVC Multi-view Codec
Multi-view video has gained widespread popularity in the recent years. 3DTV, surveillance, immersive teleconferencing and free …
Kirshanthan Sundararajah
,
Lajanugen Logeswaran
,
Nisal Panagoda
,
Lakshitha Prabath Wijesinghe
,
Varuna De Silva
,
Ajith Pasqual
PDF
Video
Cite
×