Milind Kulkarni

Latest

• SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring
• Orchard: Heterogeneous Parallelism and Fine-grained Fusion for Complex Tree Traversals
• SABLE: Staging Blocked Evaluation of Sparse Matrix Computations
• 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