BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kamil:Shoaib

Contributed to:

PLDI 20152015
PPoPP 20122012
ASE 20172017
OOPSLA 20172017
OOPSLA 20182018
OOPSLA 20192019
PLDI 20162016
PLDI 20182018

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.