Shoaib Kamil

Registered user since Thu 7 Aug 2014

Name: Shoaib Kamil

Affiliation: Adobe

Contributions

SPLASH 2020Author of Verifying and Improving Halide’s Term Rewriting System with Program Synthesis within the OOPSLA-track
Author of A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra within the OOPSLA-track
PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-track
PPoPP 2020Committee Member in Program Committee
SPLASH 2019Author of Modular Verification of Web Page Layout within the OOPSLA-track
PLMW @ PLDI 2018Panelist of Panel: "Charting your Path" within the PLMW @ PLDI 2018-track
Speaker in Speakers within the PLMW @ PLDI 2018-track
GPCE 2018Committee Member in Program Committee within the GPCE 2018-track
Session Chair of I (part of GPCE 2018)
SPLASH 2018Author of GraphIt - A High-Performance Graph DSL within the OOPSLA-track
Author of GraphIt - A High-Performance Graph DSL within the Artifacts-track
Author of GraphIt - A High-Performance Graph DSL within the Posters-track
PLDI 2018Author of Verifying That Web Pages Have Accessible Layout within the PLDI Research Papers-track
Committee Member in External Review Committee
SPLASH 2017Author of The Tensor Algebra Compiler within the OOPSLA-track
PLDI 2016Author of Verified Lifting of Stencil Computations within the Research Papers-track
PPoPP 2016Author of Distributed Halide within the Main conference-track
WOSCCommittee Member in Organizing Committee within the WOSC-track
PLDI 2015Author of AutoTune:Autotuning programs with OpenTuner within the Tutorials-track
Author of Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code within the Research Papers-track