Kirshanthan Sundararajah

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 18

Top Topics

Compositional Semantics

Tensor Factorization

Top Venues

Proc. ACM Program. Lang.

Publications

Pratyush Das, Adhitha Dias, Anxhelo Xhebraj, Artem Pelenitsyn, Kirshanthan Sundararajah, Milind Kulkarni
SABLE: Staging Blocked Evaluation of Sparse Matrix Computations. CoRR (2024)
Vidush Singhal, Laith Sakka, Kirshanthan Sundararajah, Ryan Newton, Milind Kulkarni
Orchard: Heterogeneous Parallelism and Fine-grained Fusion for Complex Tree Traversals. ACM Trans. Archit. Code Optim. 21 (2) (2024)
Adhitha Dias, Logan Anderson, Kirshanthan Sundararajah, Artem Pelenitsyn, Milind Kulkarni
SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring. CoRR (2023)
Rodrigo C. O. Rocha, Charitha Saumya, Kirshanthan Sundararajah, Pavlos Petoumenos, Milind Kulkarni, Michael F. P. O'Boyle
HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction. CC (2023)
Charitha Saumya, Rohan Gangaraju, Kirshanthan Sundararajah, Milind Kulkarni
Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution. CoRR (2023)
Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni
DARM: Control-Flow Melding for SIMT Thread Divergence Reduction. CGO (2022)
Adhitha Dias, Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni
SparseLNR: accelerating sparse tensor computations using loop nest restructuring. ICS (2022)
Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni
UniRec: a unimodular-like framework for nested recursions and loops. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Adhitha Dias, Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni
SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring. CoRR (2022)
Charitha Saumya, Kirshanthan Sundararajah, Milind Kulkarni
CFM: SIMT Thread Divergence Reduction by Melding Similar Control-Flow Regions in GPGPU Programs. CoRR (2021)
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, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
HACCLE: metaprogramming for secure multi-party computation. GPCE (2021)
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
HACCLE: An Ecosystem for Building Secure Multi-Party Computations. CoRR (2020)
Kirshanthan Sundararajah, Milind Kulkarni
Composable, sound transformations of nested recursion and loops. PLDI (2019)
Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni
Sound, fine-grained traversal fusion for heterogeneous trees. PLDI (2019)
Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version. CoRR (2019)
Nikhil Hegde, Jianqiao Liu, Kirshanthan Sundararajah, Milind Kulkarni
Treelogy: A benchmark suite for tree traversals. ISPASS (2017)
Kirshanthan Sundararajah, Laith Sakka, Milind Kulkarni
Locality Transformations for Nested Recursive Iteration Spaces. ASPLOS (2017)
Laith Sakka, Kirshanthan Sundararajah, Milind Kulkarni
TreeFuser: a framework for analyzing and fusing general recursive tree traversals. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)