Report of the Workshop on Program Synthesis for Scientific Computing

02/02/2021
by   Hal Finkel, et al.
0

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

READ FULL TEXT

page 4

page 7

page 13

research
10/15/2020

Future Directions of the Cyberinfrastructure for Sustained Scientific Innovation (CSSI) Program

The CSSI 2019 workshop was held on October 28-29, 2019, in Austin, Texas...
research
04/19/2021

Randomized Algorithms for Scientific Computing (RASC)

Randomized algorithms have propelled advances in artificial intelligence...
research
12/09/2018

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

This is the Proceedings of the elevent Workshop on Answer Set Programmin...
research
12/07/2020

Perspectives on Sim2Real Transfer for Robotics: A Summary of the R:SS 2020 Workshop

This report presents the debates, posters, and discussions of the Sim2Re...
research
05/28/2019

MolSSI and BioExcel Workflow Workshop 2018 Report

Workflows in biomolecular science are very important as they are intrica...
research
09/24/2021

Aristotle Cloud Federation: Container Runtimes Technical Report

A National Science Foundation-sponsored container runtimes investigation...

Please sign up or login with your details

Forgot password? Click here to reset