paper-with-me

홈 › Papers

Report of the Workshop on Program Synthesis for Scientific Computing

2021-02-02 · Hal Finkel, Ignacio Laguna

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/).

📄 PDF Abstract BibTeX arXiv:2102.01687

Code (0)

등록된 구현이 없습니다.

Tasks

Program Synthesis

Similar Papers 제목 키워드 기반

Workshop Scientific HPC in the pre-Exascale era (part of ITADATA 2024) Proceedings

2025-03-26 · Nicola Bena, Claudia Diamantini, Michela Natilli, Luigi Romano 외

The proceedings of Workshop Scientific HPC in the pre-Exascale era (SHPC), held in Pisa, Italy, September 18, 2024, are part of 3rd Italian Conference on Big Data and Data Science (ITADATA2024) proceedings (arXiv: 2503.1…

Management

Report of the 2025 Workshop on Next-Generation Ecosystems for Scientific Computing: Harnessing Community, Software, and AI for Cross-Disciplinary Team Science

2025-10-03 · Lois Curfman McInnes, Dorian Arnold, Prasanna Balaprakash, Mike Bernhardt 외 arxiv

This report summarizes insights from the 2025 Workshop on Next-Generation Ecosystems for Scientific Computing: Harnessing Community, Software, and AI for Cross-Disciplinary Team Science, which convened more than 40 exper…

Randomized Algorithms for Scientific Computing (RASC)

2021-04-19 · Aydin Buluc, Tamara G. Kolda, Stefan M. Wild, Mihai Anitescu 외

Randomized algorithms have propelled advances in artificial intelligence and represent a foundational research area in advancing AI for Science. Future advancements in DOE Office of Science priority areas such as climate…

Report for NSF Workshop on AI for Electronic Design Automation

2026-01-20 · Deming Chen, Vijay Ganesh, Weikai Li, Yingyan Celine Lin 외 arxiv

This report distills the discussions and recommendations from the NSF Workshop on AI for Electronic Design Automation (EDA), held on December 10, 2024 in Vancouver alongside NeurIPS 2024. Bringing together experts across…

Reinforcement LearningCode Generation

Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms 2018

2018-12-09 · Jorge Fandinno, Johannes Fichte

This is the Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2018, which was held in Oxford, UK, July 18th, 2018.