Report of the Workshop on Program Synthesis for Scientific Computing.

Hal Finkel Ignacio Laguna

Published in: CoRR (2021)

Keyphrases

program synthesis
scientific computing
high performance computing
file system
distributed memory
database
inductive logic programming
database systems
workflow management
highly parallel
computational geometry