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: Leija:Omar_S=_Navarro
Contributed to:
2017
2017
2020Wrote 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.
- ASPLOS-2020-LeijaSSWRND
- Reproducible Containers (OSNL, KS, RGS, BW, NR, RRN, JD), pp. 167–182.