{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T18:20:04Z","timestamp":1784830804199,"version":"3.55.0"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030634605","type":"print"},{"value":"9783030634612","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-63461-2_9","type":"book-chapter","created":{"date-parts":[[2020,11,13]],"date-time":"2020-11-13T16:03:28Z","timestamp":1605283408000},"page":"160-177","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Formal Methods for GPGPU Programming: Is the Demand Met?"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0330-5016","authenticated-orcid":false,"given":"Lars B.","family":"van den Haak","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2071-9624","authenticated-orcid":false,"given":"Anton","family":"Wijs","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3529-6182","authenticated-orcid":false,"given":"Mark","family":"van den Brand","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4467-072X","authenticated-orcid":false,"given":"Marieke","family":"Huisman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,11,13]]},"reference":[{"key":"9_CR1","unstructured":"CUDA-MEMCHECK, June 2020. https:\/\/docs.nvidia.com\/cuda\/cuda-memcheck"},{"key":"9_CR2","unstructured":"CUDA Programming Guide, July 2020. http:\/\/docs.nvidia.com\/cuda\/cuda-c-programming-guide\/"},{"key":"9_CR3","unstructured":"Parallel Thread Execution ISA Version 7.0, July 2020. http:\/\/docs.nvidia.com\/cuda\/parallel-thread-execution\/index.html"},{"key":"9_CR4","unstructured":"SPIR - The Industry Open Standard Intermediate Language for Parallel Compute and Graphics, July 2020. https:\/\/www.khronos.org\/spir\/"},{"key":"9_CR5","doi-asserted-by":"publisher","unstructured":"Ahmed, S., Bagherzadeh, M.: What do concurrency developers ask about? a large-scale study using stack overflow. In: Proceedings of the 12th ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2018, pp. 1\u201310. Association for Computing Machinery, Oulu, October 2018. https:\/\/doi.org\/10.1145\/3239235.3239524","DOI":"10.1145\/3239235.3239524"},{"key":"9_CR6","doi-asserted-by":"publisher","unstructured":"Alglave, J., et al.: GPU concurrency: weak behaviours and programming assumptions. In: Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS 2015, pp. 577\u2013591. ACM Press, Istanbul (2015). https:\/\/doi.org\/10.1145\/2694344.2694391","DOI":"10.1145\/2694344.2694391"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-319-99725-4_9","volume-title":"Static Analysis","author":"R Alur","year":"2018","unstructured":"Alur, R., Devietti, J., Singhania, N.: Block-size independence for GPU programs. In: Podelski, A. (ed.) SAS 2018. LNCS, vol. 11002, pp. 107\u2013126. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99725-4_9"},{"key":"9_CR8","doi-asserted-by":"publisher","unstructured":"Atzeni, S., et al.: ARCHER: effectively spotting data races in large OpenMP applications. In: 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp. 53\u201362. IEEE, Chicago, May 2016. https:\/\/doi.org\/10.1109\/IPDPS.2016.68","DOI":"10.1109\/IPDPS.2016.68"},{"key":"9_CR9","volume-title":"Advances in GPU Research and Practice","author":"HS Azad","year":"2016","unstructured":"Azad, H.S.: Advances in GPU Research and Practice, 1st edn. Morgan Kaufmann Publishers Inc., San Francisco (2016)","edition":"1"},{"key":"9_CR10","doi-asserted-by":"publisher","unstructured":"Banerjee, K., Banerjee, S., Sarkar, S.: Data-race detection: the missing piece for an end-to-end semantic equivalence checker for parallelizing transformations of array-intensive programs. In: Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY 2016, pp. 1\u20138. Association for Computing Machinery, Santa Barbara, June 2016. https:\/\/doi.org\/10.1145\/2935323.2935324","DOI":"10.1145\/2935323.2935324"},{"key":"9_CR11","doi-asserted-by":"publisher","unstructured":"Betts, A., Chong, N., Donaldson, A., Qadeer, S., Thomson, P.: GPUVerify: a verifier for GPU kernels. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2012, pp. 113\u2013132. ACM, New York (2012). https:\/\/doi.org\/10.1145\/2384616.2384625","DOI":"10.1145\/2384616.2384625"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-319-06410-9_9","volume-title":"FM 2014: Formal Methods","author":"S Blom","year":"2014","unstructured":"Blom, S., Huisman, M.: The VerCors tool for verification of concurrent programs. In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014. LNCS, vol. 8442, pp. 127\u2013131. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06410-9_9"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1016\/j.scico.2014.03.013","volume":"95","author":"S Blom","year":"2014","unstructured":"Blom, S., Huisman, M., Mihel\u010di\u0107, M.: Specification and verification of GPGPU programs. Sci. Comput. Program. 95, 376\u2013388 (2014). https:\/\/doi.org\/10.1016\/j.scico.2014.03.013","journal-title":"Sci. Comput. Program."},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-34188-5_18","volume-title":"Hardware and Software: Verification and Testing","author":"P Collingbourne","year":"2012","unstructured":"Collingbourne, P., Cadar, C., Kelly, P.H.J.: Symbolic testing of OpenCL code. In: Eder, K., Louren\u00e7o, J., Shehory, O. (eds.) HVC 2011. LNCS, vol. 7261, pp. 203\u2013218. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34188-5_18"},{"key":"9_CR15","doi-asserted-by":"publisher","unstructured":"Donaldson, A.F., Ketema, J., Sorensen, T., Wickerson, J.: Forward progress on GPU concurrency (invited talk). In: Meyer, R., Nestmann, U. (eds.) 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs), vol. 85, pp. 1:1\u20131:13. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl (2017). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2017.1","DOI":"10.4230\/LIPIcs.CONCUR.2017.1"},{"key":"9_CR16","doi-asserted-by":"publisher","unstructured":"Eizenberg, A., Peng, Y., Pigli, T., Mansky, W., Devietti, J.: BARRACUDA: binary-level analysis of runtime RAces in CUDA programs. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, pp. 126\u2013140. Association for Computing Machinery, Barcelona, June 2017. https:\/\/doi.org\/10.1145\/3062341.3062342","DOI":"10.1145\/3062341.3062342"},{"key":"9_CR17","doi-asserted-by":"publisher","unstructured":"Holey, A., Mekkat, V., Zhai, A.: HAccRG: hardware-accelerated data race detection in GPUs. In: 2013 42nd International Conference on Parallel Processing, pp. 60\u201369. IEEE, Lyon, October 2013. https:\/\/doi.org\/10.1109\/ICPP.2013.15","DOI":"10.1109\/ICPP.2013.15"},{"key":"9_CR18","unstructured":"Islam, M.J., Nguyen, H.A., Pan, R., Rajan, H.: What do developers ask about ML libraries? A large-scale study using stack overflow. ArXiv: 1906.11940 (Cs), June 2019"},{"key":"9_CR19","doi-asserted-by":"publisher","unstructured":"Kamil, S., Cheung, A., Itzhaky, S., Solar-Lezama, A.: Verified lifting of stencil computations. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, pp. 711\u2013726. Association for Computing Machinery, Santa Barbara, June 2016. https:\/\/doi.org\/10.1145\/2908080.2908117","DOI":"10.1145\/2908080.2908117"},{"issue":"1","key":"9_CR20","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/3001834","volume":"18","author":"K Kojima","year":"2017","unstructured":"Kojima, K., Igarashi, A.: A hoare logic for GPU kernels. ACM Trans. Comput. Log. 18(1), 3:1\u20133:43 (2017). https:\/\/doi.org\/10.1145\/3001834","journal-title":"ACM Trans. Comput. Log."},{"issue":"3","key":"9_CR21","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s10817-017-9428-2","volume":"60","author":"K Kojima","year":"2018","unstructured":"Kojima, K., Imanishi, A., Igarashi, A.: Automated verification of functional correctness of race-free GPU programs. J. Autom. Reason. 60(3), 279\u2013298 (2018). https:\/\/doi.org\/10.1007\/s10817-017-9428-2","journal-title":"J. Autom. Reason."},{"issue":"6","key":"9_CR22","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1145\/2345156.2254110","volume":"47","author":"A Leung","year":"2012","unstructured":"Leung, A., Gupta, M., Agarwal, Y., Gupta, R., Jhala, R., Lerner, S.: Verifying GPU kernels by test amplification. SIGPLAN Not. 47(6), 383\u2013394 (2012). https:\/\/doi.org\/10.1145\/2345156.2254110","journal-title":"SIGPLAN Not."},{"key":"9_CR23","doi-asserted-by":"publisher","unstructured":"Li, G., Gopalakrishnan, G.: Scalable SMT-based verification of GPU kernel functions. In: Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2010, p. 187. ACM Press, Santa Fe (2010). https:\/\/doi.org\/10.1145\/1882291.1882320","DOI":"10.1145\/1882291.1882320"},{"key":"9_CR24","doi-asserted-by":"publisher","unstructured":"Li, G., Li, P., Sawaya, G., Gopalakrishnan, G., Ghosh, I., Rajan, S.P.: GKLEE: concolic verification and test generation for GPUs. In: Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2012, pp. 215\u2013224. ACM, New York (2012). https:\/\/doi.org\/10.1145\/2145816.2145844","DOI":"10.1145\/2145816.2145844"},{"key":"9_CR25","doi-asserted-by":"publisher","unstructured":"Li, P., Li, G., Gopalakrishnan, G.: Practical symbolic race checking of GPU programs. In: SC 2014: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 179\u2013190, November 2014. https:\/\/doi.org\/10.1109\/SC.2014.20","DOI":"10.1109\/SC.2014.20"},{"issue":"1","key":"9_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3046678","volume":"14","author":"P Li","year":"2017","unstructured":"Li, P., et al.: LD: low-overhead GPU race detection without access monitoring. ACM Trans. Archit. Code Optim. 14(1), 1\u201325 (2017). https:\/\/doi.org\/10.1145\/3046678","journal-title":"ACM Trans. Archit. Code Optim."},{"key":"9_CR27","volume-title":"Perspectives on Data Science for Software Engineering","author":"T Menzies","year":"2016","unstructured":"Menzies, T., Williams, L., Zimmermann, T.: Perspectives on Data Science for Software Engineering, 1st edn. Morgan Kaufmann Publishers Inc., San Francisco (2016)","edition":"1"},{"key":"9_CR28","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.scico.2017.09.005","volume":"152","author":"FR Monteiro","year":"2018","unstructured":"Monteiro, F.R., et al.: ESBMC-GPU a context-bounded model checking tool to verify CUDA programs. Sci. Comput. Program. 152, 63\u201369 (2018). https:\/\/doi.org\/10.1016\/j.scico.2017.09.005","journal-title":"Sci. Comput. Program."},{"key":"9_CR29","doi-asserted-by":"publisher","unstructured":"Peng, Y., Grover, V., Devietti, J.: CURD: a dynamic CUDA race detector. In: PLDI 2018, pp. 390\u2013403. Association for Computing Machinery, Philadelphia, June 2018. https:\/\/doi.org\/10.1145\/3192366.3192368","DOI":"10.1145\/3192366.3192368"},{"key":"9_CR30","doi-asserted-by":"publisher","unstructured":"Pinto, G., Torres, W., Castor, F.: A study on the most popular questions about concurrent programming. In: Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools - PLATEAU 2015, pp. 39\u201346. ACM Press, Pittsburgh (2015). https:\/\/doi.org\/10.1145\/2846680.2846687","DOI":"10.1145\/2846680.2846687"},{"key":"9_CR31","doi-asserted-by":"publisher","unstructured":"Price, J., McIntosh-Smith, S.: Oclgrind: an extensible OpenCL device simulator. In: Proceedings of the 3rd International Workshop on OpenCL - IWOCL 2015, pp. 1\u20137. ACM Press, Palo Alto (2015). https:\/\/doi.org\/10.1145\/2791321.2791333","DOI":"10.1145\/2791321.2791333"},{"issue":"3","key":"9_CR32","doi-asserted-by":"publisher","first-page":"1192","DOI":"10.1007\/s10664-015-9379-3","volume":"21","author":"C Rosen","year":"2016","unstructured":"Rosen, C., Shihab, E.: What are mobile developers asking about? A large scale study using stack overflow. Empir. Softw. Eng. 21(3), 1192\u20131223 (2016). https:\/\/doi.org\/10.1007\/s10664-015-9379-3","journal-title":"Empir. Softw. Eng."},{"key":"9_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-030-55754-6_10","volume-title":"NASA Formal Methods","author":"M Safari","year":"2020","unstructured":"Safari, M., Oortwijn, W., Joosten, S., Huisman, M.: Formal verification of parallel prefix sum. In: Lee, R., Jha, S., Mavridou, A. (eds.) NFM 2020. LNCS, vol. 12229, pp. 170\u2013186. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55754-6_10"},{"key":"9_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-030-48340-1_19","volume-title":"Euro-Par 2019: Parallel Processing Workshops","author":"A Schmitz","year":"2020","unstructured":"Schmitz, A., Protze, J., Yu, L., Schwitanski, S., M\u00fcller, M.S.: DataRaceOnAccelerator \u2013 a micro-benchmark suite for evaluating correctness tools targeting accelerators. In: Schwardmann, U., et al. (eds.) Euro-Par 2019. LNCS, vol. 11997, pp. 245\u2013257. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-48340-1_19"},{"key":"9_CR35","doi-asserted-by":"publisher","unstructured":"Sharma, R., Bauer, M., Aiken, A.: Verification of producer-consumer synchronization in GPU programs. In: PLDI 2015, pp. 88\u201398. Association for Computing Machinery, Portland, June 2015. https:\/\/doi.org\/10.1145\/2737924.2737962","DOI":"10.1145\/2737924.2737962"},{"key":"9_CR36","doi-asserted-by":"publisher","unstructured":"Siegel, S.F., et al.: CIVL: the concurrency intermediate verification language. In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis on - SC 2015, pp. 1\u201312. ACM Press, Austin (2015). https:\/\/doi.org\/10.1145\/2807591.2807635","DOI":"10.1145\/2807591.2807635"},{"key":"9_CR37","doi-asserted-by":"publisher","unstructured":"Sorensen, T., Donaldson, A.F., Batty, M., Gopalakrishnan, G., Rakamaric, Z.: Portable inter-workgroup barrier synchronisation for GPUs. In: OOPSLA 2016, p. 20 (2016). https:\/\/doi.org\/10.1145\/3022671.2984032","DOI":"10.1145\/3022671.2984032"},{"key":"9_CR38","doi-asserted-by":"publisher","unstructured":"van den Haak, L.B., Wijs, A., van den Brand, M., Huisman, M.: Card sorting data for Formal methods for GPGPU programming: is the demand met?, September 2020. https:\/\/doi.org\/10.4121\/12988781","DOI":"10.4121\/12988781"},{"key":"9_CR39","unstructured":"Wu, M., Zhou, H., Zhang, L., Liu, C., Zhang, Y.: Characterizing and detecting CUDA program bugs. ArXiv: 1905.01833 (Cs), May 2019"},{"key":"9_CR40","doi-asserted-by":"publisher","unstructured":"Xing, Y., Huang, B.Y., Gupta, A., Malik, S.: A formal instruction-level GPU model for scalable verification. In: 2018 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD), pp. 1\u20138, November 2018. https:\/\/doi.org\/10.1145\/3240765.3240771","DOI":"10.1145\/3240765.3240771"},{"issue":"8","key":"9_CR41","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1145\/2038037.1941574","volume":"46","author":"M Zheng","year":"2011","unstructured":"Zheng, M., Ravi, V.T., Qin, F., Agrawal, G.: GRace: a low-overhead mechanism for detecting data races in GPU programs. SIGPLAN Not. 46(8), 135\u2013146 (2011). https:\/\/doi.org\/10.1145\/2038037.1941574","journal-title":"SIGPLAN Not."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-63461-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,13]],"date-time":"2020-11-13T16:33:24Z","timestamp":1605285204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-63461-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030634605","9783030634612"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-63461-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"13 November 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Integrated Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lugano","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 November 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ifm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ifm20.si.usi.ch\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"64","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"24","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6,5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the Corona pandemic this event was held virtually.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}