BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
J.Devietti R.G.Scott R.R.Newton R.Alur N.Singhania Kelly Shiptoski Baojun Wang Nicholas Renner
Talks about:
gpu (2) determinist (1) uncoalesc (1) reproduc (1) parallel (1) composit (1) program (1) process (1) contain (1) detect (1)

Person: Omar S. Navarro Leija

DBLP DBLP: Leija:Omar_S=_Navarro

Contributed to:

CAV (1) 20172017
OOPSLA 20172017
ASPLOS 20202020

Wrote 3 papers:

CAV-2017-AlurDLS #detection #gpu #named #source code
GPUDrano: Detecting Uncoalesced Accesses in GPU Programs (RA, JD, OSNL, NS), pp. 507–525.
OOPSLA-2017-ScottLDN #composition #monad #parallel
Monadic composition for deterministic, parallel batch processing (RGS, OSNL, JD, RRN), p. 26.
Reproducible Containers (OSNL, KS, RGS, BW, NR, RRN, JD), pp. 167–182.

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.