Report of the Workshop on Program Synthesis for Scientific Computing

• URL: http://arxiv.org/abs/2102.01687v1
• Date: Tue, 2 Feb 2021 18:55:23 GMT
• Title: Report of the Workshop on Program Synthesis for Scientific Computing
• Authors: Hal Finkel, Ignacio Laguna
• Abstract summary: Program synthesis is an active research field in academia, national labs, and industry. This report reviews the relevant areas of program synthesis work for scientific computing, discusses successes to date, and outlines opportunities for future work.
• Score: 1.609950046042424
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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/).

Related papers

• Ten Years of Teaching Empirical Software Engineering in the context of Energy-efficient Software [12.26887943861433]
  We share our experience in running ten editions of the Green Lab course at the Vrije Universiteit Amsterdam, the Netherlands. The course is given in the Software Engineering and Green IT track of the Computer Science Master program of the VU.
  arXiv  Detail & Related papers  (2024-07-08T07:44:49Z)
• MASSW: A New Dataset and Benchmark Tasks for AI-Assisted Scientific Workflows [58.56005277371235]
  We introduce MASSW, a comprehensive text dataset on Multi-Aspect Summarization of ScientificAspects. MASSW includes more than 152,000 peer-reviewed publications from 17 leading computer science conferences spanning the past 50 years. We demonstrate the utility of MASSW through multiple novel machine-learning tasks that can be benchmarked using this new dataset.
  arXiv  Detail & Related papers  (2024-06-10T15:19:09Z)
• Cycling on the Freeway: The Perilous State of Open Source Neuroscience Software [46.83624918571962]
  We will argue that the existing ecosystem of neuroscientific open source software is brittle. In recent years there has been a shift toward relying on free, open-source scientific software (FOSSS) for neuroscience data analysis.
  arXiv  Detail & Related papers  (2024-03-28T13:11:09Z)
• SciOps: Achieving Productivity and Reliability in Data-Intensive Research [0.8414742293641504]
  Scientists are increasingly leveraging advances in instruments, automation, and collaborative tools to scale up their experiments and research goals. Various scientific disciplines, including neuroscience, have adopted key technologies to enhance collaboration, inspiration and automation. We introduce a five-level Capability Maturity Model describing the principles of rigorous scientific operations.
  arXiv  Detail & Related papers  (2023-12-29T21:37:22Z)
• Hierarchical Neural Program Synthesis [19.94176152035497]
  Program synthesis aims to automatically construct human-readable programs that satisfy given task specifications. We present a scalable program synthesis framework that instead synthesizes a program by hierarchically composing programs. We extensively evaluate our proposed framework in a string transformation domain with input/output pairs.
  arXiv  Detail & Related papers  (2023-03-09T18:20:07Z)
• Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing [80.72844751804166]
  In 2021, the Coordinated Science Laboratory CSL hosted the Future of Computing Symposium to celebrate its 70th anniversary. We summarize the major technological points, insights, and directions that speakers brought forward during the symposium. Participants discussed topics related to new computing paradigms, technologies, algorithms, behaviors, and research challenges to be expected in the future.
  arXiv  Detail & Related papers  (2022-10-04T17:32:27Z)
• Training the next generation of computational scientists through a new undergraduate course [0.0]
  The course aims to prepare students as the next generation of research-oriented computational scientists and engineers. The training includes how to think about, formulate, organize, and implement programs in scientific computing.
  arXiv  Detail & Related papers  (2022-03-17T19:42:52Z)
• Latent Execution for Neural Program Synthesis Beyond Domain-Specific Languages [97.58968222942173]
  We take the first step to synthesize C programs from input-output examples. In particular, we propose La Synth, which learns the latent representation to approximate the execution of partially generated programs. We show that training on these synthesized programs further improves the prediction performance for both Karel and C program synthesis.
  arXiv  Detail & Related papers  (2021-06-29T02:21:32Z)
• Interleaving Computational and Inferential Thinking: Data Science for Undergraduates at Berkeley [81.01051375191828]
  The undergraduate data science curriculum at the University of California, Berkeley is anchored in five new courses. These courses emphasize computational thinking, inferential thinking, and working on real-world problems. These courses have become some of the most popular on campus and have led to a surging interest in a new undergraduate major and minor program in data science.
  arXiv  Detail & Related papers  (2021-02-13T22:51:24Z)
• Shape of synth to come: Why we should use synthetic data for English surface realization [72.62356061765976]
  In the 2018 shared task there was very little difference in the absolute performance of systems trained with and without additional, synthetically created data. We show, in experiments on the English 2018 dataset, that the use of synthetic data can have a substantial positive effect. We argue that its use should be encouraged rather than prohibited so that future research efforts continue to explore systems that can take advantage of such data.
  arXiv  Detail & Related papers  (2020-05-06T10:00:55Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.