Locality Transformations for Nested Recursive Iteration Spaces. - Kirshanthan Sundararajah; Laith Sakka; Milind Kulkarni 001 (ASPLOS, 2017)

Treelogy: A benchmark suite for tree traversals. - Nikhil Hegde; Jianqiao Liu; Kirshanthan Sundararajah; Milind Kulkarni 001 (ISPASS, 2017)

TreeFuser: a framework for analyzing and fusing general recursive tree traversals. - Laith Sakka; Kirshanthan Sundararajah; Milind Kulkarni 001 (Proc. ACM Program. Lang., 2017)

Sound, fine-grained traversal fusion for heterogeneous trees. - Laith Sakka; Kirshanthan Sundararajah; Ryan R. Newton; Milind Kulkarni 001 (PLDI, 2019)

Composable, sound transformations of nested recursion and loops. - Kirshanthan Sundararajah; Milind Kulkarni 001 (PLDI, 2019)

Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version. - Laith Sakka; Kirshanthan Sundararajah; Ryan R. Newton; Milind Kulkarni 001 (CoRR, 2019)

HACCLE: An Ecosystem for Building Secure Multi-Party Computations. - Yuyan Bao; Kirshanthan Sundararajah; Raghav Malik; Qianchuan Ye; Christopher Wagner; Fei Wang 046; Mohammad Hassan Ameri; Donghang Lu; Alexander Seto; Benjamin Delaware; Roopsha Samanta; Aniket Kate; et al. (CoRR, 2020)

HACCLE: metaprogramming for secure multi-party computation. - Yuyan Bao; Kirshanthan Sundararajah; Raghav Malik; Qianchuan Ye; Christopher Wagner; Nouraldin Jaber; Fei Wang 046; Mohammad Hassan Ameri; Donghang Lu; Alexander Seto; Benjamin Delaware; Roopsha Samanta; et al. (GPCE, 2021)

CFM: SIMT Thread Divergence Reduction by Melding Similar Control-Flow Regions in GPGPU Programs. - Charitha Saumya; Kirshanthan Sundararajah; Milind Kulkarni 001 (CoRR, 2021)

DARM: Control-Flow Melding for SIMT Thread Divergence Reduction. - Charitha Saumya; Kirshanthan Sundararajah; Milind Kulkarni 001 (CGO, 2022)

SparseLNR: accelerating sparse tensor computations using loop nest restructuring. - Adhitha Dias; Kirshanthan Sundararajah; Charitha Saumya; Milind Kulkarni 001 (ICS, 2022)

UniRec: a unimodular-like framework for nested recursions and loops. - Kirshanthan Sundararajah; Charitha Saumya; Milind Kulkarni 001 (Proc. ACM Program. Lang., 2022)

HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction. - Rodrigo C. O. Rocha; Charitha Saumya; Kirshanthan Sundararajah; Pavlos Petoumenos; Milind Kulkarni 001; Michael F. P. O'Boyle (CC, 2023)

Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution. - Charitha Saumya; Rohan Gangaraju; Kirshanthan Sundararajah; Milind Kulkarni 001 (CoRR, 2023)

SABLE: Staging Blocked Evaluation of Sparse Matrix Computations. - Pratyush Das 001; Adhitha Dias; Anxhelo Xhebraj; Artem Pelenitsyn; Kirshanthan Sundararajah; Milind Kulkarni 001 (CoRR, 2024)

SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring. - Adhitha Dias; Logan Anderson; Kirshanthan Sundararajah; Artem Pelenitsyn; Milind Kulkarni 001 (Proc. ACM Program. Lang., 2024)

Orchard: Heterogeneous Parallelism and Fine-grained Fusion for Complex Tree Traversals. - Vidush Singhal; Laith Sakka; Kirshanthan Sundararajah; Ryan Newton; Milind Kulkarni 001 (ACM Trans. Archit. Code Optim., 2024)

RT-BarnesHut: Accelerating Barnes-Hut Using Ray-Tracing Hardware. - Vani Nagarajan; Rohan Gangaraju; Kirshanthan Sundararajah; Artem Pelenitsyn; Milind Kulkarni 001 (PPoPP, 2025)