Program synthesis is an active research field in academia, national labs, and industry. Yet, work directly applicable to scientific computing, while having some impressive successes, has been limited. This report reviews the relevant areas of program synthesis work for scientific computing, discusses successes to date, and outlines opportunities for future work. This report is the result of the Workshop on Program Synthesis for Scientific Computing was held virtually on August 4-5 2020 (https://prog-synth-science.github.io/2020/).

中文翻译：

---

科学计算程序综合研讨会报告

程序综合是学术界，国家实验室和行业中活跃的研究领域。但是，尽管直接成就了可用于科学计算的工作，但取得了一些令人印象深刻的成功，但是它仍然是有限的。该报告回顾了科学计算程序综合工作的相关领域，讨论了迄今为止的成功，并概述了未来工作的机会。该报告实际上是2020年8月4日至5日举行的科学计算程序综合研讨会的结果（https://prog-synth-science.github.io/2020/）。