Publications

Conference Papers

Eliminate Branches by Melding IR Instructions

Yuze Li, Srinivasan Ramachandra Sharma, Charitha Saumya, Ali R. Butt, Kirshanthan Sundararajah

ECOOP 2026

Preprint

Towards Removing Undef Values From LLVM IR

Pedro Lobo, John McIver, George Mitenkov, Juneyoung Lee, Kirshanthan Sundararajah, Nuno P. Lopes

PLDI 2026

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution

Charitha Saumya, Muhammad Hassan, Rohan Gangaraju, Milind Kulkarni, Kirshanthan Sundararajah

OOPSLA 2026

Preprint PDF Code

RT-BarnesHut: Accelerating Barnes-Hut Using Ray-Tracing Hardware

Vani Nagarajan, Rohan Gangaraju, Kirshanthan Sundararajah, Artem Pelenitsyn, Milind Kulkarni

PPoPP 2025

PDF

SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring

Adhitha Dias, Logan Anderson, Kirshanthan Sundararajah, Artem Pelenitsyn, Milind Kulkarni

OOPSLA 2024

Preprint PDF Code Slides

HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction

Rodrigo Rocha, Charitha Saumya, Kirshanthan Sundararajah, Pavlos Petoumenos, Milind Kulkarni, Michael O'Boyle

CC 2023

PDF Code Slides

UniRec: A Unimodular-Like Framework for Nested Recursions and Loops

Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni

OOPSLA 2022

PDF Slides

SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring

Adhitha Dias, Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni

ICS 2022

Preprint PDF Code Slides

DARM: Control-Flow Melding for SIMT Thread Divergence Reduction

Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni

CGO 2022

Preprint PDF Code Slides

HACCLE: Metaprogramming for Secure Multi-Party Computation

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

GPCE 2021

Preprint PDF Code Slides

Composable, Sound Transformations of Nested Recursion and Loops

Kirshanthan Sundararajah, Milind Kulkarni

PLDI 2019

Preprint PDF Code Slides

Sound, Fine-grained Traversal Fusion for Heterogeneous Trees

Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni

PLDI 2019

Preprint PDF Code

TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals

Laith Sakka, Kirshanthan Sundararajah, Milind Kulkarni