Shoaib Kamil

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 33

Top Topics

Code Generation

Program Synthesis

Matrix Multiplication

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Graph.

Publications

Maaz Bin Safeer Ahmad, Alexander J. Root, Andrew Adams, Shoaib Kamil, Alvin Cheung
Vector instruction selection for digital signal processors using program synthesis. ASPLOS (2022)
Yong Li, Shoaib Kamil, Alec Jacobson, Yotam I. Gingold
I$\heartsuit$LA: Compilable Markdown for Linear Algebra. CoRR (2021)
Philipp Herholz, Xuan Tang, Teseo Schneider, Shoaib Kamil, Daniele Panozzo, Olga Sorkine-Hornung
Sparsity-Specific Code Optimization using Expression Trees. CoRR (2021)
Yong Li, Shoaib Kamil, Alec Jacobson, Yotam I. Gingold
I♥LA: compilable markdown for linear algebra. ACM Trans. Graph. 40 (6) (2021)
Jessica Ray, Ajay Brahmakshatriya, Richard Wang, Shoaib Kamil, Albert Reuther, Vivienne Sze, Saman P. Amarasinghe
Domain-Specific Language Abstractions for Compression. DCC (2021)
Ajay Brahmakshatriya, Yunming Zhang, Changwan Hong, Shoaib Kamil, Julian Shun, Saman P. Amarasinghe
Compiling Graph Applications for GPU s with GraphIt. CGO (2021)
Xuan Tang, Zachary Ferguson, Teseo Schneider, Denis Zorin, Shoaib Kamil, Daniele Panozzo
A Cross-Platform Benchmark for Interval Computation Libraries. CoRR (2021)
Ajay Brahmakshatriya, Yunming Zhang, Changwan Hong, Shoaib Kamil, Julian Shun, Saman P. Amarasinghe
Compliation Techniques for Graphs Algorithms on GPUs. CoRR (2020)
Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman P. Amarasinghe, Fredrik Kjolstad
A sparse iteration space transformation framework for sparse tensor algebra. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Yunming Zhang, Ajay Brahmakshatriya, Xinyi Chen, Laxman Dhulipala, Shoaib Kamil, Saman P. Amarasinghe, Julian Shun
Optimizing ordered graph algorithms with GraphIt. CGO (2020)
Kazem Cheshmi, Danny M. Kaufman, Shoaib Kamil, Maryam Mehri Dehnavi
NASOQ: numerically accurate sparsity-oriented QP solver. ACM Trans. Graph. 39 (4) (2020)
Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodík, Shoaib Kamil
Verifying and improving Halide's term rewriting system with program synthesis. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Xuan Tang, Teseo Schneider, Shoaib Kamil, Aurojit Panda, Jinyang Li, Daniele Panozzo
EGGS: Sparsity-Specific Code Generation. Comput. Graph. Forum 39 (5) (2020)
Ryan Senanayake, Fredrik Kjolstad, Changwan Hong, Shoaib Kamil, Saman P. Amarasinghe
A Unified Iteration Space Transformation Framework for Sparse and Dense Tensor Algebra. CoRR (2020)
Riyadh Baghdadi, Jessica Ray, Malek Ben Romdhane, Emanuele Del Sozzo, Abdurrahman Akkas, Yunming Zhang, Patricia Suriana, Shoaib Kamil, Saman P. Amarasinghe
Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code. CGO (2019)
Yunming Zhang, Ajay Brahmakshatriya, Xinyi Chen, Laxman Dhulipala, Shoaib Kamil, Saman P. Amarasinghe, Julian Shun
PriorityGraph: A Unified Programming Model for Optimizing Ordered Graph Algorithms. CoRR (2019)
Fredrik Kjolstad, Peter Ahrens, Shoaib Kamil, Saman P. Amarasinghe
Tensor Algebra Compilation with Workspaces. CGO (2019)
Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil
Modular verification of web page layout. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Maaz Bin Safeer Ahmad, Jonathan Ragan-Kelley, Alvin Cheung, Shoaib Kamil
Automatically translating image processing libraries to halide. ACM Trans. Graph. 38 (6) (2019)
Fredrik Kjolstad, Shoaib Kamil, Saman P. Amarasinghe
Automatic Generation of Sparse Tensor Kernels with Workspaces. CoRR (2018)
Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil
Verifying that web pages have accessible layout. PLDI (2018)
Kazem Cheshmi, Shoaib Kamil, Michelle Mills Strout, Maryam Mehri Dehnavi
ParSy: inspection and transformation of sparse matrix computations for parallelism. SC (2018)
Riyadh Baghdadi, Jessica Ray, Malek Ben Romdhane, Emanuele Del Sozzo, Abdurrahman Akkas, Yunming Zhang, Patricia Suriana, Shoaib Kamil, Saman P. Amarasinghe
Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code. CoRR (2018)
Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi, Shoaib Kamil, Julian Shun, Saman P. Amarasinghe
GraphIt: a high-performance graph DSL. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi, Shoaib Kamil, Julian Shun, Saman P. Amarasinghe
GraphIt - A High-Performance DSL for Graph Analytics. CoRR (2018)
Kazem Cheshmi, Shoaib Kamil, Michelle Mills Strout, Maryam Mehri Dehnavi
Sympiler: Transforming Sparse Matrix Codes by Decoupling Symbolic Analysis. CoRR (2017)
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, Saman P. Amarasinghe
taco: a tool to generate tensor algebra kernels. ASE (2017)
Patricia Suriana, Andrew Adams, Shoaib Kamil
Parallel associative reductions in halide. CGO (2017)
Fredrik Kjolstad, Shoaib Kamil, Stephen Chou, David Lugato, Saman P. Amarasinghe
The tensor algebra compiler. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Kazem Cheshmi, Shoaib Kamil, Michelle Mills Strout, Maryam Mehri Dehnavi
Sympiler: transforming sparse matrix codes by decoupling symbolic analysis. SC (2017)
Tyler Denniston, Shoaib Kamil, Saman P. Amarasinghe
Distributed Halide. PPOPP (2016)
Fredrik Kjolstad, Shoaib Kamil, Jonathan Ragan-Kelley, David I. W. Levin, Shinjiro Sueda, Desai Chen, Etienne Vouga, Danny M. Kaufman, Gurtej Kanwar, Wojciech Matusik, Saman P. Amarasinghe
Simit: A Language for Physical Simulation. ACM Trans. Graph. 35 (2) (2016)
Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama
Verified lifting of stencil computations. PLDI (2016)
Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, Saman P. Amarasinghe
Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code. PLDI (2015)
Adam Lugowski, Shoaib Kamil, Aydin Buluç, Samuel Williams, Erika Duriakova, Leonid Oliker, Armando Fox, John R. Gilbert
Parallel processing of filtered queries in attributed semantic graphs. J. Parallel Distributed Comput. (2015)
Alvin Cheung, Shoaib Kamil, Armando Solar-Lezama
Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis. SNAPL (2015)
Zhilei Xu, Shoaib Kamil, Armando Solar-Lezama
MSL: A Synthesis Enabled Language for Distributed Implementations. SC (2014)
Shoaib Kamil, Saman P. Amarasinghe, P. Sadayappan
WOSC 2014: second workshop on optimizing stencil computations. SPLASH (Companion Volume) (2014)
Jason Ansel, Shoaib Kamil, Kalyan Veeramachaneni, Jonathan Ragan-Kelley, Jeffrey Bosboom, Una-May O'Reilly, Saman P. Amarasinghe
OpenTuner: an extensible framework for program autotuning. PACT (2014)
Aydin Buluç, Erika Duriakova, Armando Fox, John R. Gilbert, Shoaib Kamil, Adam Lugowski, Leonid Oliker, Samuel Williams
High-Productivity and High-Performance Analysis of Filtered Semantic Graphs. IPDPS (2013)
James Demmel, David Eliahu, Armando Fox, Shoaib Kamil, Benjamin Lipshitz, Oded Schwartz, Omer Spillinger
Communication-Optimal Parallel Recursive Rectangular Matrix Multiplication. IPDPS (2013)
Jeffrey Morlan, Shoaib Kamil, Armando Fox
Auto-tuning the Matrix Powers Kernel with SEJITS. VECPAR (2012)
James Demmel, David Eliahu, Armando Fox, Shoaib Kamil, Benjamin Lipshitz, Oded Schwartz, Omer Spillinger
Poster: Beating MKL and ScaLAPACK at Rectangular Matrix Multiplication Using the BFS/DFS Approach. SC Companion (2012)
Aydin Buluç, Armando Fox, John R. Gilbert, Shoaib Kamil, Adam Lugowski, Leonid Oliker, Samuel Williams
High-performance analysis of filtered semantic graphs. PACT (2012)
Shoaib Kamil, Derrick Coetzee, Scott Beamer, Henry Cook, Ekaterina Gonina, Jonathan Harper, Jeffrey Morlan, Armando Fox
Portable parallel performance from sequential, productive, embedded domain-specific languages. PPOPP (2012)
Henry Cook, Ekaterina Gonina, Shoaib Kamil, Gerald Friedland, David A. Patterson, Armando Fox
CUDA-level Performance with Python-level Productivity for Gaussian Mixture Model Applications. HotPar (2011)
Gilbert Hendry, Johnnie Chan, Shoaib Kamil, Leonid Oliker, John Shalf, Luca P. Carloni, Keren Bergman
Silicon Nanophotonic Network-on-Chip Using TDM Arbitration. Hot Interconnects (2010)
Shoaib Kamil, Leonid Oliker, Ali Pinar, John Shalf
Communication Requirements and Interconnect Optimization for High-End Scientific Applications. IEEE Trans. Parallel Distributed Syst. 21 (2) (2010)
Shoaib Kamil, Cy P. Chan, Leonid Oliker, John Shalf, Samuel Williams
An auto-tuning framework for parallel multicore stencil computations. IPDPS (2010)
Gilbert Hendry, Shoaib Kamil, Aleksandr Biberman, Johnnie Chan, Benjamin G. Lee, Marghoob Mohiyuddin, Ankit Jain, Keren Bergman, Luca P. Carloni, John Kubiatowicz, Leonid Oliker, John Shalf
Analysis of photonic networks for a chip multiprocessor using scientific applications. NOCS (2009)
Kaushik Datta, Shoaib Kamil, Samuel Williams, Leonid Oliker, John Shalf, Katherine A. Yelick
Optimization and Performance Modeling of Stencil Computations on Modern Microprocessors. SIAM Rev. 51 (1) (2009)
David Donofrio, Leonid Oliker, John Shalf, Michael F. Wehner, Chris Rowen, Jens Krueger, Shoaib Kamil, Marghoob Mohiyuddin
Energy-Efficient Computing for Extreme-Scale Science. Computer 42 (11) (2009)
Shoaib Kamil, John Shalf, Erich Strohmaier
Power efficiency in high performance computing. IPDPS (2008)
Samuel Williams, John Shalf, Leonid Oliker, Shoaib Kamil, Parry Husbands, Katherine A. Yelick
Scientific Computing Kernels on the Cell Processor. Int. J. Parallel Program. 35 (3) (2007)
Leonid Oliker, Andrew Canning, Jonathan Carter, Costin Iancu, Michael Lijewski, Shoaib Kamil, John Shalf, Hongzhang Shan, Erich Strohmaier, Stéphane Ethier, Tom Goodale
Scientific Application Performance on Candidate PetaScale Platforms. IPDPS (2007)
Shoaib Kamil, Ali Pinar, Daniel K. Gunter, Michael Lijewski, Leonid Oliker, John Shalf
Reconfigurable hybrid interconnection for static and dynamic scientific applications. Conf. Computing Frontiers (2007)
Shoaib Kamil, Kaushik Datta, Samuel Williams, Leonid Oliker, John Shalf, Katherine A. Yelick
Implicit and explicit optimizations for stencil computations. Memory System Performance and Correctness (2006)
Samuel Williams, John Shalf, Leonid Oliker, Shoaib Kamil, Parry Husbands, Katherine A. Yelick
The potential of the cell processor for scientific computing. Conf. Computing Frontiers (2006)
John Shalf, Shoaib Kamil, Leonid Oliker, David Skinner
Analyzing Ultra-Scale Application Communication Requirements for a Reconfigurable Hybrid Interconnect. SC (2005)
Shoaib Kamil, Parry Husbands, Leonid Oliker, John Shalf, Katherine A. Yelick
Impact of modern memory subsystems on cache optimizations for stencil computations. Memory System Performance (2005)
Rich Vuduc, James Demmel, Katherine A. Yelick, Shoaib Kamil, Rajesh Nishtala, Benjamin C. Lee
Performance optimizations and bounds for sparse matrix-vector multiply. SC (2002)