Neuro-Symbolic Approach to Certified Scientific Software Synthesis-Reference-Cited by-同舟云学术

Neuro-Symbolic Approach to Certified Scientific Software Synthesis

Published:2024-07-10 Issue: Volume: Page:147-150
ISSN:
Container-title:Proceedings of the 1st ACM International Conference on AI-Powered Software
language:
Short-container-title:

Author:

Bagheri Hamid¹^ORCID,Mirakhorli Mehdi²^ORCID,Fazelnia Mohamad³^ORCID,Mujhid Ibrahim³^ORCID,Hasan Md Rashedul¹^ORCID

Affiliation:

1. University of Nebraska-Lincoln, Lincoln, USA

2. University of Hawaii at Manoa, Honolulu, USA

3. University of Hawaii at Manoa, Honolulu, United States

Funder

NSF (National Science Foundation)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3664646.3664776

Reference27 articles.

1. [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.

2. Pattern-based Modeling of Multiresilience Solutions for High-Performance Computing

3. Synthesis of assurance cases for software certification

4. 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