{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T12:42:29Z","timestamp":1763728949131,"version":"3.45.0"},"publisher-location":"Cham","reference-count":54,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031827020"},{"type":"electronic","value":"9783031827037"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-82703-7_6","type":"book-chapter","created":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T02:16:48Z","timestamp":1737512208000},"page":"121-136","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["LLOR: Automated Repair of\u00a0OpenMP Programs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0076-1059","authenticated-orcid":false,"given":"Utpal","family":"Bora","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8070-1525","authenticated-orcid":false,"given":"Saurabh","family":"Joshi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3632-7801","authenticated-orcid":false,"given":"Gautam","family":"Muduganti","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5290-3266","authenticated-orcid":false,"given":"Ramakrishna","family":"Upadrasta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,23]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Amighi, A., Darabi, S., Blom, S., Huisman, M.: Specification and verification of atomic operations in GPGPU programs. In: SEFM 2015, pp. 69\u201383. Springer (2015)","DOI":"10.1007\/978-3-319-22969-0_5"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Atzeni, S., Gopalakrishnan, G., Rakamaric, Z., Laguna, I., Lee, G.L., Ahn, D.H.: SWORD: a bounded memory-overhead detector of OpenMP data races in production runs. In: IPDPS 2018, pp. 845\u2013854. IEEE Computer Society (2018)","DOI":"10.1109\/IPDPS.2018.00094"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Barnett, M., Chang, B.E., DeLine, R., Jacobs, B., Leino, K.R.M.: Boogie: a modular reusable verifier for object-oriented programs. In: FMCO 2005, pp. 364\u2013387. Springer (2005)","DOI":"10.1007\/11804192_17"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-21487-5_4","volume-title":"OpenMP in the Petascale Era","author":"V Basupalli","year":"2011","unstructured":"Basupalli, V., et al.: ompVerify: polyhedral analysis for the OpenMP programmer. In: Chapman, B.M., Gropp, W.D., Kumaran, K., M\u00fcller, M.S. (eds.) IWOMP 2011. LNCS, vol. 6665, pp. 37\u201353. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21487-5_4"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Betts, A., et al.: The design and implementation of a verification technique for GPU kernels. TOPLAS 37(3), 10:1\u201310:49 (2015)","DOI":"10.1145\/2743017"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Betts, A., Chong, N., Donaldson, A.F., Qadeer, S., Thomson, P.: GPUVerify: a verifier for GPU kernels. In: OOPSLA 2012, pp. 113\u2013132. ACM (2012)","DOI":"10.1145\/2384616.2384625"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, N., Phan, A., Fleckenstein, L.: $$\\nu $$Z - an optimizing SMT solver. In: TACAS 2015, pp. 194\u2013199. Springer (2015)","DOI":"10.1007\/978-3-662-46681-0_14"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Blackshear, S., Gorogiannis, N., O\u2019Hearn, P.W., Sergey, I.: RacerD: compositional static race detection. Proc. ACM Program. Lang. 2(OOPSLA), 144:1\u2013144:28 (2018)","DOI":"10.1145\/3276514"},{"key":"6_CR9","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., Mihelcic, M.: Specification and verification of GPGPU programs. Sci. Comput. Program. 95, 376\u2013388 (2014)","journal-title":"Sci. Comput. Program."},{"issue":"10","key":"6_CR10","doi-asserted-by":"publisher","first-page":"1462","DOI":"10.1109\/32.6191","volume":"14","author":"BW Boehm","year":"1988","unstructured":"Boehm, B.W., Papaccio, P.N.: Understanding and controlling software costs. IEEE Trans. Software Eng. 14(10), 1462\u20131477 (1988)","journal-title":"IEEE Trans. Software Eng."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Bora, U., Das, S., Kukreja, P., Joshi, S., Upadrasta, R., Rajopadhye, S.V.: LLOV: a fast static data-race checker for OpenMP programs. ACM Trans. Archit. Code Optim. 17(4), 35:1\u201335:26 (2020)","DOI":"10.1145\/3418597"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Bora, U., Joshi, S., Muduganti, G., Upadrasta, R.: LLOR: automated repair of OpenMP programs (2024). https:\/\/arxiv.org\/abs\/2411.14590","DOI":"10.1007\/978-3-031-82703-7_6"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-22110-1_20","volume-title":"Computer Aided Verification","author":"P \u010cern\u00fd","year":"2011","unstructured":"\u010cern\u00fd, P., Chatterjee, K., Henzinger, T.A., Radhakrishna, A., Singh, R.: Quantitative synthesis for concurrent programs. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 243\u2013259. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_20"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Chandra, S., Torlak, E., Barman, S., Bod\u00edk, R.: Angelic debugging. In: ICSE 2011, pp. 121\u2013130. ACM (2011)","DOI":"10.1145\/1985793.1985811"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Chatarasi, P., Shirako, J., Kong, M., Sarkar, V.: An extended polyhedral model for SPMD programs and its use in static data race detection. In: LCPC 2016, pp. 106\u2013120. Springer (2016)","DOI":"10.1007\/978-3-319-52709-3_10"},{"key":"6_CR16","unstructured":"Chatarasi, P., Shirako, J., Sarkar, V.: Static data race detection for SPMD programs via an extended polyhedral representation. In: IMPACT 2016, vol.\u00a016 (2016)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Che, S., Boyer, M., Meng, J., Tarjan, D., Sheaffer, J.W., Lee, S., Skadron, K.: Rodinia: a benchmark suite for heterogeneous computing. In: IISWC 2009, pp. 44\u201354. IEEE Computer Society (2009)","DOI":"10.1109\/IISWC.2009.5306797"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/99.660313","volume":"5","author":"L Dagum","year":"1998","unstructured":"Dagum, L., Menon, R.: OpenMP: an industry-standard API for shared-memory programming. IEEE Comput. Sci. Eng. 5(1), 46\u201355 (1998)","journal-title":"IEEE Comput. Sci. Eng."},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-11957-6_13","volume-title":"Programming Languages and Systems","author":"J Deshmukh","year":"2010","unstructured":"Deshmukh, J., Ramalingam, G., Ranganath, V.-P., Vaswani, K.: Logical concurrency control from sequential proofs. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol. 6012, pp. 226\u2013245. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11957-6_13"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Dinning, A., Schonberg, E.: Detecting access anomalies in programs with critical sections. In: PADD 1991, pp. 85\u201396. ACM (1991)","DOI":"10.1145\/122759.122767"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-40698-0_13","volume-title":"OpenMP in the Era of Low Power Devices and Accelerators","author":"AE Eichenberger","year":"2013","unstructured":"Eichenberger, A.E., et al.: OMPT: an OpenMP tools application programming interface for performance analysis. In: Rendell, A.P., Chapman, B.M., M\u00fcller, M.S. (eds.) IWOMP 2013. LNCS, vol. 8122, pp. 171\u2013185. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40698-0_13"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Engler, D.R., Ashcraft, K.: RacerX: effective, static detection of race conditions and deadlocks. In: SOSP 2003, pp. 237\u2013252. ACM (2003)","DOI":"10.1145\/945445.945468"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/11814948_25","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2006","author":"Z Fu","year":"2006","unstructured":"Fu, Z., Malik, S.: On solving the partial MAX-SAT problem. In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, vol. 4121, pp. 252\u2013265. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11814948_25"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/11817963_33","volume-title":"Computer Aided Verification","author":"A Griesmayer","year":"2006","unstructured":"Griesmayer, A., Bloem, R., Cook, B.: Repair of Boolean programs with an application to C. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 358\u2013371. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11817963_33"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Jin, G., Song, L., Zhang, W., Lu, S., Liblit, B.: Automated atomicity-violation fixing. In: PLDI 2011, pp. 389\u2013400. ACM (2011)","DOI":"10.1145\/1993498.1993544"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11513988_23","volume-title":"Computer Aided Verification","author":"B Jobstmann","year":"2005","unstructured":"Jobstmann, B., Griesmayer, A., Bloem, R.: Program repair as a game. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 226\u2013238. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11513988_23"},{"issue":"3","key":"6_CR27","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1016\/S0022-0000(74)80044-9","volume":"9","author":"DS Johnson","year":"1974","unstructured":"Johnson, D.S.: Approximation algorithms for combinatorial problems. J. Comput. Syst. Sci. 9(3), 256\u2013278 (1974)","journal-title":"J. Comput. Syst. Sci."},{"key":"6_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-319-19249-9_19","volume-title":"FM 2015: Formal Methods","author":"S Joshi","year":"2015","unstructured":"Joshi, S., Kroening, D.: Property-driven fence insertion using reorder bounded model checking. In: Bj\u00f8rner, N., de Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 291\u2013307. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19249-9_19"},{"key":"6_CR29","unstructured":"Joshi, S., Lal, A.: Automatically finding atomic regions for fixing bugs in Concurrent programs. CoRR abs\/1403.1749 (2014)"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-030-67067-2_18","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"S Joshi","year":"2021","unstructured":"Joshi, S., Muduganti, G.: GPURepair: automated repair of GPU kernels. In: Henglein, F., Shoham, S., Vizel, Y. (eds.) VMCAI 2021. LNCS, vol. 12597, pp. 401\u2013414. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-67067-2_18"},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"Joshi, S., Shyamasundar, R.K., Aggarwal, S.K.: A new method of MHP analysis for languages with dynamic barriers. In: IPDPS 2012, pp. 519\u2013528. IEEE Computer Society (2012)","DOI":"10.1109\/IPDPSW.2012.70"},{"key":"6_CR32","unstructured":"Kernels, P.R.: Parallel Research Kernels. https:\/\/github.com\/ParRes\/Kernels. Accessed 30 Sept 2024"},{"issue":"7","key":"6_CR33","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"6_CR34","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.S.: LLVM: a compilation framework for lifelong program analysis & transformation. In: CGO 2004, pp. 75\u201388. IEEE Computer Society (2004)","DOI":"10.1109\/CGO.2004.1281665"},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Li, G., Gopalakrishnan, G.: Scalable SMT-based verification of GPU kernel functions. In: FSE 2010, pp. 187\u2013196. ACM (2010)","DOI":"10.1145\/1882291.1882320"},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"Li, G., Li, P., Sawaya, G., Gopalakrishnan, G., Ghosh, I., Rajan, S.P.: GKLEE: concolic verification and test generation for GPUs. In: PPOPP 2012, pp. 215\u2013224. ACM (2012)","DOI":"10.1145\/2145816.2145844"},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"Liao, C., Lin, P., Asplund, J., Schordan, M., Karlin, I.: DataRaceBench: a benchmark suite for systematic evaluation of data race detection tools. In: SC 2017, p.\u00a011. ACM (2017)","DOI":"10.1145\/3126908.3126958"},{"key":"6_CR38","unstructured":"LLOR: LLOR Github Repository. https:\/\/github.com\/cs17resch01003\/llor. Accessed 30 Sept 2024"},{"key":"6_CR39","doi-asserted-by":"publisher","unstructured":"LLOR: LLOR VMCAI 2025 Artifacts. https:\/\/doi.org\/10.5281\/zenodo.13886253. Accessed 30 Sept 2024","DOI":"10.5281\/zenodo.13886253"},{"key":"6_CR40","doi-asserted-by":"crossref","unstructured":"Malik, M.Z., Siddiqui, J.H., Khurshid, S.: Constraint-based program debugging using data structure repair. In: ICST 2011, pp. 190\u2013199. IEEE Computer Society (2011)","DOI":"10.1109\/ICST.2011.65"},{"key":"6_CR41","doi-asserted-by":"crossref","unstructured":"Mellor-Crummey, J.M.: On-the-fly detection of data races for programs with nested fork-join parallelism. In: SC 1991, pp. 24\u201333. ACM (1991)","DOI":"10.1145\/125826.125861"},{"key":"6_CR42","unstructured":"Microsoft: Microsoft Azure Fsv2-Series Virtual Machine Sizes. https:\/\/docs.microsoft.com\/en-us\/azure\/virtual-machines\/fsv2-series. Accessed 30 Sept 2024"},{"key":"6_CR43","doi-asserted-by":"crossref","unstructured":"Monteiro, F.R., da\u00a0S.\u00a0Alves, E.H., da\u00a0Silva, I., Ismail, H., Cordeiro, L.C., de\u00a0Lima\u00a0Filho, E.B.: ESBMC-GPU a context-bounded model checking tool to verify CUDA programs. Sci. Comput. Program. 152, 63\u201369 (2018)","DOI":"10.1016\/j.scico.2017.09.005"},{"key":"6_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"6_CR45","doi-asserted-by":"crossref","unstructured":"Muzahid, A., Otsuki, N., Torrellas, J.: AtomTracker: a comprehensive approach to atomic region inference and violation detection. In: MICRO 2010, pp. 287\u2013297. IEEE Computer Society (2010)","DOI":"10.1109\/MICRO.2010.32"},{"key":"6_CR46","unstructured":"Netzer, R.: Race condition detection for debugging shared-memory parallel programs. Ph.D. thesis, University of Wisconsin Madison (1991)"},{"key":"6_CR47","doi-asserted-by":"crossref","unstructured":"Perkovic, D., Keleher, P.J.: Online data-race detection via coherency guarantees. In: OSDI 1996, pp. 47\u201357. ACM (1996)","DOI":"10.1145\/238721.238760"},{"key":"6_CR48","doi-asserted-by":"crossref","unstructured":"Pratikakis, P., Foster, J.S., Hicks, M.: LOCKSMITH: practical static race detection for C. TOPLAS 33(1), 3:1\u20133:55 (2011)","DOI":"10.1145\/1889997.1890000"},{"key":"6_CR49","unstructured":"Project, E.C.: ECP Proxy Applications. https:\/\/proxyapps.exascaleproject.org\/. Accessed 30 Sept 2024"},{"issue":"4","key":"6_CR50","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.E.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15(4), 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"6_CR51","unstructured":"Valgrind-project: Helgrind: a thread error detector. http:\/\/valgrind.org\/docs\/manual\/hg-manual.html. Accessed 30 Sept 2024"},{"key":"6_CR52","doi-asserted-by":"crossref","unstructured":"Vechev, M.T., Yahav, E., Yorsh, G.: Abstraction-guided synthesis of synchronization. In: POPL 2010, pp. 327\u2013338. ACM (2010)","DOI":"10.1145\/1706299.1706338"},{"key":"6_CR53","doi-asserted-by":"crossref","unstructured":"Voung, J.W., Jhala, R., Lerner, S.: RELAY: static race detection on millions of lines of code. In: FSE 2007, pp. 205\u2013214. ACM (2007)","DOI":"10.1145\/1287624.1287654"},{"key":"6_CR54","doi-asserted-by":"crossref","unstructured":"Ye, F., Schordan, M., Liao, C., Lin, P., Karlin, I., Sarkar, V.: Using polyhedral analysis to verify openmp applications are data race free. In: CORRECTNESS 2018, pp. 42\u201350. IEEE (2018)","DOI":"10.1109\/Correctness.2018.00010"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-82703-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T06:14:07Z","timestamp":1763705647000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-82703-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031827020","9783031827037"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-82703-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"23 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VMCAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification, Model Checking, and Abstract Interpretation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denver, CO","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 January 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 January 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vmcai2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/VMCAI-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}