BibTeX record conf/ppopp/LiLSGGR12

• > Home > conf/ppopp/LiLSGGR12

@inproceedings{DBLP:conf/ppopp/LiLSGGR12,
  author       = {Guodong Li and
                  Peng Li and
                  Geoffrey Sawaya and
                  Ganesh Gopalakrishnan and
                  Indradeep Ghosh and
                  Sreeranga P. Rajan},
  editor       = {J. Ramanujam and
                  P. Sadayappan},
  title        = {{GKLEE:} concolic verification and test generation for GPUs},
  booktitle    = {Proceedings of the 17th {ACM} {SIGPLAN} Symposium on Principles and
                  Practice of Parallel Programming, {PPOPP} 2012, New Orleans, LA, USA,
                  February 25-29, 2012},
  pages        = {215--224},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2145816.2145844},
  doi          = {10.1145/2145816.2145844},
  timestamp    = {Mon, 23 Jan 2023 22:09:26 +0100},
  biburl       = {https://dblp.org/rec/conf/ppopp/LiLSGGR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}