Publications

SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring
Automated code generation and performance enhancements for sparse tensor algebra have become essential in many real-world applications, …
Preprint PDF Code Slides
Orchard: Heterogeneous Parallelism and Fine-grained Fusion for Complex Tree Traversals
Many applications are designed to perform traversals on tree-like data structures. Fusing and parallelizing these traversals enhance …
PDF Code
SABLE: Staging Blocked Evaluation of Sparse Matrix Computations
Sparse Matrices found in the real world often have some structure in how the dense elements are organized. While the inspector-executor …
PDF
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 …
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 …
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 …
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, …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
PDF Video