{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:51Z","timestamp":1772164011558,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T00:00:00Z","timestamp":1330128000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,2,25]]},"DOI":"10.1145\/2145816.2145844","type":"proceedings-article","created":{"date-parts":[[2012,2,28]],"date-time":"2012-02-28T07:58:45Z","timestamp":1330415925000},"page":"215-224","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":83,"title":["GKLEE"],"prefix":"10.1145","author":[{"given":"Guodong","family":"Li","sequence":"first","affiliation":[{"name":"Fujitsu Labs of America, Sunnyvale, CA, USA"}]},{"given":"Peng","family":"Li","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}]},{"given":"Geof","family":"Sawaya","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}]},{"given":"Indradeep","family":"Ghosh","sequence":"additional","affiliation":[{"name":"Fujitsu Labs of America, Sunnyvale, CA, USA"}]},{"given":"Sreeranga P.","family":"Rajan","sequence":"additional","affiliation":[{"name":"Fujitsu Labs of America, Sunnyvale, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2012,2,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882320"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941574"},{"key":"e_1_3_2_1_3_1","unstructured":"M. Boyer K. Skadron and W. Weimer \"Automated dynamic analysis of CUDA programs \" in Third Workshop on Software Tools for MultiCore Systems 2008.  M. Boyer K. Skadron and W. Weimer \"Automated dynamic analysis of CUDA programs \" in Third Workshop on Software Tools for MultiCore Systems 2008."},{"key":"e_1_3_2_1_4_1","volume-title":"8th USENIX Symposium","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. R. Engler , \" KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs,\" in OSDI , 8th USENIX Symposium , 2008 . C. Cadar, D. Dunbar, and D. R. Engler, \"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs,\" in OSDI, 8th USENIX Symposium, 2008."},{"key":"e_1_3_2_1_5_1","unstructured":"\"SMT-COMP. http:\/\/www.smtcomp.org\/2011.\"  \"SMT-COMP. http:\/\/www.smtcomp.org\/2011.\""},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_7_1","unstructured":"\"KLEE open projects \" http:\/\/klee.llvm.org\/OpenProjects.html.  \"KLEE open projects \" http:\/\/klee.llvm.org\/OpenProjects.html."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_9_1","unstructured":"\"CUDA zone. www.nvidia.com\/object\/cuda_home.html.\"  \"CUDA zone. www.nvidia.com\/object\/cuda_home.html.\""},{"key":"e_1_3_2_1_10_1","unstructured":"OpenCL. http:\/\/www.khronos.org\/opencl.  OpenCL. http:\/\/www.khronos.org\/opencl."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69330-7_13"},{"key":"e_1_3_2_1_12_1","unstructured":"\"The LLVM compiler infrastructure. http:\/\/www.llvm.org\/.\"  \"The LLVM compiler infrastructure. http:\/\/www.llvm.org\/.\""},{"key":"e_1_3_2_1_13_1","unstructured":"\"GKLEE Technical Report. http:\/\/www.cs.utah.edu\/fv\/GKLEE.\"  \"GKLEE Technical Report. http:\/\/www.cs.utah.edu\/fv\/GKLEE.\""},{"key":"e_1_3_2_1_14_1","unstructured":"\"Cuda programming guide version 4.0. http:\/\/developer.download.nvidia.com\/compute\/cuda\/4_0\/toolkit\/docs\/CUDA_C_Programming_Guide.pdf.\"  \"Cuda programming guide version 4.0. http:\/\/developer.download.nvidia.com\/compute\/cuda\/4_0\/toolkit\/docs\/CUDA_C_Programming_Guide.pdf.\""},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993534"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/115952.115976"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/42190.42277"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268974"},{"key":"e_1_3_2_1_19_1","unstructured":"NVIDIA \"CUDA-GDB \" Jan. 2009 an extension to the GDB debugger for debugging CUDA kernels in the hardware.  NVIDIA \"CUDA-GDB \" Jan. 2009 an extension to the GDB debugger for debugging CUDA kernels in the hardware."},{"key":"e_1_3_2_1_20_1","unstructured":"Nvidia \"Parallel Nsight \" Jul. 2010.  Nvidia \"Parallel Nsight \" Jul. 2010."},{"key":"e_1_3_2_1_21_1","unstructured":"Rogue Wave \"Totalview for CUDA \" Jan. 2010.  Rogue Wave \"Totalview for CUDA \" Jan. 2010."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0140"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_38"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.63"},{"key":"e_1_3_2_1_25_1","volume-title":"Performance degradation analysis of GPU kernels,\" in EC2 Workshop","author":"Lv J.","year":"2011","unstructured":"J. Lv , G. Li , A. Humphrey , and G. Gopalakrishnan , \" Performance degradation analysis of GPU kernels,\" in EC2 Workshop , 2011 . J. Lv, G. Li, A. Humphrey, and G. Gopalakrishnan, \"Performance degradation analysis of GPU kernels,\" in EC2 Workshop, 2011."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966475"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34188-5_18"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1854273.1854318"}],"event":{"name":"PPoPP '12: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","location":"New Orleans Louisiana USA","acronym":"PPoPP '12","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2145816.2145844","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2145816.2145844","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:54:52Z","timestamp":1750226092000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2145816.2145844"}},"subtitle":["concolic verification and test generation for GPUs"],"short-title":[],"issued":{"date-parts":[[2012,2,25]]},"references-count":28,"alternative-id":["10.1145\/2145816.2145844","10.1145\/2145816"],"URL":"https:\/\/doi.org\/10.1145\/2145816.2145844","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2370036.2145844","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,2,25]]},"assertion":[{"value":"2012-02-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}