{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:40Z","timestamp":1750220860136,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,23]],"date-time":"2019-09-23T00:00:00Z","timestamp":1569196800000},"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":[[2019,9,23]]},"DOI":"10.1145\/3355378.3355380","type":"proceedings-article","created":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T12:16:25Z","timestamp":1567685785000},"page":"62-69","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories"],"prefix":"10.1145","author":[{"given":"Breno C F","family":"Guimar\u00e3es","sequence":"first","affiliation":[{"name":"DCC UFMG Belo Horizonte, Minas Gerais, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Wesley de S","family":"Magalh\u00e3es","sequence":"additional","affiliation":[{"name":"DCC UFMG Belo Horizonte, Minas Gerais, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anderson Faustino","family":"da Silva","sequence":"additional","affiliation":[{"name":"DIN UEM Maring\u00e1, Paran\u00e1, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando M Q","family":"Pereira","sequence":"additional","affiliation":[{"name":"DCC UFMG Belo Horizonte, Minas Gerais, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,9,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Instructions' Latencies Characterization for NVIDIA GPGPUs. CoRR abs\/1905.08778","author":"Arafa Yehia","year":"2019","unstructured":"Yehia Arafa , Abdel-Hameed A. Badawy , Gopinath Chennupati , Nandakishore Santhi , and Stephan Eidenbenz . 2019. Instructions' Latencies Characterization for NVIDIA GPGPUs. CoRR abs\/1905.08778 ( 2019 ), 65. Yehia Arafa, Abdel-Hameed A. Badawy, Gopinath Chennupati, Nandakishore Santhi, and Stephan Eidenbenz. 2019. Instructions' Latencies Characterization for NVIDIA GPGPUs. CoRR abs\/1905.08778 (2019), 65."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3197978"},{"key":"e_1_3_2_1_3_1","volume-title":"CCG: A Random C code generator. https:\/\/github.com\/Mrktn\/ccg","author":"Balestrat Antoine","year":"2016","unstructured":"Antoine Balestrat . 2016 . CCG: A Random C code generator. https:\/\/github.com\/Mrktn\/ccg Antoine Balestrat. 2016. CCG: A Random C code generator. https:\/\/github.com\/Mrktn\/ccg"},{"key":"e_1_3_2_1_4_1","unstructured":"Gerg\u00f6 Barany. 2017. Liveness-Driven Random Program Generation. In LOPSTR. CoRR arxiv 1--15.  Gerg\u00f6 Barany. 2017. Liveness-Driven Random Program Generation. In LOPSTR. CoRR arxiv 1--15."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178372.3179521"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2854038.2854052"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/255215.255225"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(95)01055-6"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213848"},{"volume-title":"Synthesizing Benchmarks for Predictive Modeling","author":"Cummins Chris","key":"e_1_3_2_1_10_1","unstructured":"Chris Cummins , Pavlos Petoumenos , Zheng Wang , and Hugh Leather . 2017. Synthesizing Benchmarks for Predictive Modeling . In CGO. IEEE Press , Piscataway, NJ, USA , 86--99. Chris Cummins, Pavlos Petoumenos, Zheng Wang, and Hugh Leather. 2017. Synthesizing Benchmarks for Predictive Modeling. In CGO. IEEE Press, Piscataway, NJ, USA, 86--99."},{"volume-title":"Use of Synthetic Benchmarks for Machine-Learning-Based Performance Auto-Tuning. In IPDPS Workshops. IEEE Press","author":"Han Tianyi David","key":"e_1_3_2_1_11_1","unstructured":"Tianyi David Han and Tarek S. Abdelrahman . 2017 . Use of Synthetic Benchmarks for Machine-Learning-Based Performance Auto-Tuning. In IPDPS Workshops. IEEE Press , Piscataway, NJ, USA, 1350--1361. Tianyi David Han and Tarek S. Abdelrahman. 2017. Use of Synthetic Benchmarks for Machine-Learning-Based Performance Auto-Tuning. In IPDPS Workshops. IEEE Press, Piscataway, NJ, USA, 1350--1361."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.94.0242"},{"key":"e_1_3_2_1_13_1","volume-title":"Dissecting the NVidia Turing T4 GPU via Microbenchmarking. CoRR abs\/1903.07486","author":"Jia Zhe","year":"2019","unstructured":"Zhe Jia , Marco Maggioni , Jeffrey Smith , and Daniele Paolo Scarpazza . 2019. Dissecting the NVidia Turing T4 GPU via Microbenchmarking. CoRR abs\/1903.07486 ( 2019 ), 9. Zhe Jia, Marco Maggioni, Jeffrey Smith, and Daniele Paolo Scarpazza. 2019. Dissecting the NVidia Turing T4 GPU via Microbenchmarking. CoRR abs\/1903.07486 (2019), 9."},{"key":"e_1_3_2_1_14_1","volume-title":"LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation","author":"Lattner Chris","year":"2004","unstructured":"Chris Lattner and Vikram Adve . 2004 . LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation . In CGO. IEEE Computer Society , Washington, DC, USA , 75--. Chris Lattner and Vikram Adve. 2004. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In CGO. IEEE Computer Society, Washington, DC, USA, 75--."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357071"},{"key":"e_1_3_2_1_16_1","first-page":"100","article-title":"Differential Testing for Software","volume":"10","author":"McKeeman William M.","year":"1998","unstructured":"William M. McKeeman . 1998 . Differential Testing for Software . Digital Technical Journal 10 , 1 (1998), 100 -- 107 . William M. McKeeman. 1998. Differential Testing for Software. Digital Technical Journal 10, 1 (1998), 100--107.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158117"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048119"},{"volume-title":"Generation of In-bounds Inputs for Arrays in Memory-unsafe Languages","author":"Rodrigues Marcus","key":"e_1_3_2_1_19_1","unstructured":"Marcus Rodrigues , Breno Guimar\u00e3es , and Fernando Magno Quint\u00e3o Pereira . 2019. Generation of In-bounds Inputs for Arrays in Memory-unsafe Languages . In CGO. IEEE Press , Piscataway, NJ, USA , 136--148. Marcus Rodrigues, Breno Guimar\u00e3es, and Fernando Magno Quint\u00e3o Pereira. 2019. Generation of In-bounds Inputs for Arrays in Memory-unsafe Languages. In CGO. IEEE Press, Piscataway, NJ, USA, 136--148."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199464"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMSCS.2018.2791955"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103136"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"}],"event":{"name":"SBLP 2019: XXIII Brazilian Symposium on Programming Languages","sponsor":["SBC Sociedade Brasileira de Computa\u00e7\u00e3o"],"location":"Salvador Brazil","acronym":"SBLP 2019"},"container-title":["Proceedings of the XXIII Brazilian Symposium on Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3355378.3355380","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3355378.3355380","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:33Z","timestamp":1750202613000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3355378.3355380"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,23]]},"references-count":23,"alternative-id":["10.1145\/3355378.3355380","10.1145\/3355378"],"URL":"https:\/\/doi.org\/10.1145\/3355378.3355380","relation":{},"subject":[],"published":{"date-parts":[[2019,9,23]]},"assertion":[{"value":"2019-09-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}