{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:01:46Z","timestamp":1750309306900,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF (National Science Foundation)","award":["CCF- 1755890, CCF-1618132, CCF-2139845, CCF-1943300 and CCF-2124116"],"award-info":[{"award-number":["CCF- 1755890, CCF-1618132, CCF-2139845, CCF-1943300 and CCF-2124116"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,10]]},"DOI":"10.1145\/3664646.3664776","type":"proceedings-article","created":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T19:39:56Z","timestamp":1720640396000},"page":"147-150","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Neuro-Symbolic Approach to Certified Scientific Software Synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6686-466X","authenticated-orcid":false,"given":"Hamid","family":"Bagheri","sequence":"first","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3470-6856","authenticated-orcid":false,"given":"Mehdi","family":"Mirakhorli","sequence":"additional","affiliation":[{"name":"University of Hawaii at Manoa, Honolulu, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6152-5308","authenticated-orcid":false,"given":"Mohamad","family":"Fazelnia","sequence":"additional","affiliation":[{"name":"University of Hawaii at Manoa, Honolulu, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4181-7051","authenticated-orcid":false,"given":"Ibrahim","family":"Mujhid","sequence":"additional","affiliation":[{"name":"University of Hawaii at Manoa, Honolulu, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-3417-4352","authenticated-orcid":false,"given":"Md Rashedul","family":"Hasan","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. DOE Workshop report: The 2015 Cybersecurity for Scientific Computing Integrity-Research Pathways and Ideas Workshop. https:\/\/science.energy.gov\/~{}\/media\/ascr\/pdf\/programdocuments\/docs\/ ASCR_Cybersecurity_20_Research_Pathways_and_Ideas_Workshop.pdf. Accessed: 2019-04-28."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3184407.3184421"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377816.3381728"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","unstructured":"David E. Bernholdt Benjamin A. Allan Robert C. Armstrong Felipe Bertrand Kenneth Chiu Tamara Dahlgren Kostadin Damevski Wael R. Elwasif Thomas Epperly Madhusudhan Govindaraju Daniel S. Katz James Arthur Kohl Manojkumar Krishnan Gary Kumfert Jay Walter Larson Sophia Lefantzi Michael J. Lewis Allen D. Malony Lois C. McInnes Jarek Nieplocha Boyana Norris Steven G. Parker Jaideep Ray Sameer Shende Theresa L. Windus and Shujia Zhou. 2006. A Component Architecture for High-Performance Scientific Computing. IJHPCA 20 2 ( 2006 ) 163-202. https:\/\/doi.org\/10.1177\/1094342006064488 10.1177\/1094342006064488","DOI":"10.1177\/1094342006064488"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3144763.3144767"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00128"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2464996.2465020"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807591.2807623"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/786769.787035"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342009347711"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Sheng-Kuei Hsu and Shi-Jen Lin. 2011. MACs: Mining API code snippets for code reuse. Expert Systems with Applications 38 6 ( 2011 ).","DOI":"10.1016\/j.eswa.2010.12.021"},{"key":"e_1_3_2_1_14_1","unstructured":"Saurabh Hukerikar and Christian Engelmann. 2017. Resilience Design Patterns: A Structured Approach to Resilience at Extreme Scale. CoRR abs\/1708.07422 ( 2017 ). arXiv: 1708.07422 http:\/\/arxiv.org\/abs\/1708.07422"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2803189"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2018.2883051"},{"volume-title":"The Goal Structuring Notation-A Safety Argument Notation. In Dependable Systems and Networks (DSN) Workshop on Assurance Cases.","author":"Kelly T.","key":"e_1_3_2_1_17_1","unstructured":"T. Kelly and R. Weaver. 2004. The Goal Structuring Notation-A Safety Argument Notation. In Dependable Systems and Networks (DSN) Workshop on Assurance Cases."},{"key":"e_1_3_2_1_18_1","volume-title":"Ehinger","author":"Lei Chao","year":"2024","unstructured":"Chao Lei, Nir Lipovetzky, and Krista A. Ehinger. 2024. Generalized Planning for the Abstraction and Reasoning Corpus. arXiv: 2401.07426 [cs.AI]"},{"volume-title":"2014 Fourth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing. 1-10","author":"Patrick S.","key":"e_1_3_2_1_19_1","unstructured":"Patrick S. et al. McCormic. 2014. Exploring the Construction of a DomainAware Toolchain for High-Performance Computing.. In 2014 Fourth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing. 1-10."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/1985793.1985799","article-title":"A Lightweight Code Analysis and Its Role in Evaluation of a Dependability Case","author":"Near J. P.","year":"2011","unstructured":"J. P. Near, A. Milicevic, E. Kang, and D. Jackson. 2011. A Lightweight Code Analysis and Its Role in Evaluation of a Dependability Case. In ICSE. ACM, 31-40.","journal-title":"ICSE. ACM"},{"key":"e_1_3_2_1_21_1","first-page":"23","article-title":"Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers","author":"Pernsteiner S.","year":"2016","unstructured":"S. Pernsteiner, C. Loncaric, E. Torlak, Z. Tatlock, X. Wang, M. D. Ernst, and J. Jacky. 2016. Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers. In Proceedings of CAV. 23-41.","journal-title":"Proceedings of CAV."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46520-3_31"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10672-9_3"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993557"},{"key":"e_1_3_2_1_25_1","unstructured":"U.S. Food and Drug Administration (FDA). [n. d.]. List of Device Recalls. https: \/\/www.fda.gov\/medicaldevices\/safety\/listofrecalls. Accessed: 2018-11-14."},{"volume-title":"General principles of software validation","author":"U.S. Food and Drug Administration (FDA). 2017.","key":"e_1_3_2_1_26_1","unstructured":"U.S. Food and Drug Administration (FDA). 2017. General principles of software validation; final guidance for industry and FDA staf. https:\/\/www.fda.gov\/ downloads\/medicaldevices\/...\/ucm085371.pdf."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3623316"}],"event":{"name":"AIware '24: 1st ACM International Conference on AI-Powered Software","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Porto de Galinhas Brazil","acronym":"AIware '24"},"container-title":["Proceedings of the 1st ACM International Conference on AI-Powered Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3664646.3664776","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3664646.3664776","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:45Z","timestamp":1750291425000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3664646.3664776"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":27,"alternative-id":["10.1145\/3664646.3664776","10.1145\/3664646"],"URL":"https:\/\/doi.org\/10.1145\/3664646.3664776","relation":{},"subject":[],"published":{"date-parts":[[2024,7,10]]},"assertion":[{"value":"2024-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}