Travelled to:2 × USA
Collaborated with:S.P.Amarasinghe P.Panchekha M.D.Ernst Z.Tatlock F.Kjolstad S.Chou D.Lugato A.Cheung S.Itzhaky A.Solar-Lezama Adam T. Geller Yunming Zhang Mengjiao Yang R.Baghdadi J.Shun C.Mendis J.Bosboom K.Wu J.Ragan-Kelley S.Paris Q.Zhao D.Coetzee S.Beamer H.Cook E.Gonina J.Harper J.Morlan A.Fox
Talks about:perform (3) stencil (2) algebra (2) verifi (2) tensor (2) layout (2) kernel (2) graph (2) page (2) lift (2)
Person: Shoaib Kamil
DBLP: Kamil:Shoaib
Contributed to:
2015
2012
2017
20172018201920162018Wrote 8 papers:
- PLDI-2015-MendisBWKRPZA #domain-specific language #kernel #named
- Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code (CM, JB, KW, SK, JRK, SP, QZ, SPA), pp. 391–402.
- PPoPP-2012-KamilCBCGHMF #domain-specific language #effectiveness #embedded #parallel #performance
- Portable parallel performance from sequential, productive, embedded domain-specific languages (SK, DC, SB, HC, EG, JH, JM, AF), pp. 303–304.
- ASE-2017-KjolstadCLKA #algebra #kernel #named
- taco: a tool to generate tensor algebra kernels (FK, SC, DL, SK, SPA), pp. 943–948.
- OOPSLA-2017-KjolstadKCLA #algebra #compilation
- The tensor algebra compiler (FK, SK, SC, DL, SPA), p. 29.
- OOPSLA-2018-ZhangYBKSA #domain-specific language #graph #named
- GraphIt: a high-performance graph DSL (YZ, MY, RB, SK, JS, SPA), p. 30.
- OOPSLA-2019-PanchekhaETK #composition #layout #verification #web
- Modular verification of web page layout (PP, MDE, ZT, SK), p. 26.
- PLDI-2016-KamilCIS
- Verified lifting of stencil computations (SK, AC, SI, ASL), pp. 711–726.
- PLDI-2018-PanchekhaGETK #layout #verification #web
- Verifying that web pages have accessible layout (PP, ATG, MDE, ZT, SK), pp. 1–14.