35 citations · 50 across the 4 of their papers we have counts for
4 papers
Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
Yihong Zhang, Derek Gerstmann, Andrew Adams +1
Tensor accelerators now represent a growing share of compute resources in modern CPUs and GPUs. However, they are hard to program, leading developers to use vendor-provided kernel…
Zero-shot CAD Program Re-Parameterization for Interactive Manipulation
Milin Kodnongbua, Benjamin T. Jones, Maaz Bin Safeer Ahmad +2
Parametric CAD models encode entire families of shapes that should, in principle, be easy for designers to explore. However, in practice, parametric CAD models can be difficult to…
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications
Maaz Bin Safeer Ahmad, Alvin Cheung
MapReduce is a popular programming paradigm for developing large-scale, data-intensive computation. Many frameworks that implement this paradigm have recently been developed. To le…
Leveraging Parallel Data Processing Frameworks with Verified Lifting
Maaz Bin Safeer Ahmad, Alvin Cheung
Many parallel data frameworks have been proposed in recent years that let sequential programs access parallel processing. To capitalize on the benefits of such frameworks, existing…