mlsanityData to 7 Oct 2026

Report of the Workshop on Program Synthesis for Scientific Computing

arXiv 2102.01687 ↗First posted 2 Feb 2021cs.LG cs.AI cs.PLcited by 0

Not on the map. Why?

Abstract (arXiv)

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

Key facts. No citing papers in the map yet (data through 7 Oct 2026). Builds on 19 of its 108 references that are in the map. First posted on arXiv 2 Feb 2021.

Builds on

19 of 108 references.

References · 19

  1. 2020Unsupervised Translation of Programming Languagescited by 262
  2. 2018Neural Code Comprehension: A Learnable Representation of Code Semanticscited by 59
  3. 2020LambdaNet: Probabilistic Type Inference using Graph Neural Networkscited by 44
  4. 2019Parsl: Pervasive Parallel Programming in Pythoncited by 36
  5. 2019TypeWriter: Neural Type Prediction with Search-based Validationcited by 32
  6. 2018Aroma: Code Recommendation via Structural Code Searchcited by 29
  7. 2018The Three Pillars of Machine Programmingcited by 12
  8. 2016Hazelnut: A Bidirectionally Typed Structure Editor Calculuscited by 8
  9. 2018Live Functional Programming with Typed Holescited by 7
  10. 2020Autotuning Search Space for Loop Transformationscited by 6
  11. 2017A Zero-Positive Learning Approach for Diagnosing Software Performance Regressionscited by 5
  12. 2020ControlFlag: A Self-Supervised Idiosyncratic Pattern Detection System for Software Control Structurescited by 5
7 more
  1. 2018Automatically Leveraging MapReduce Frameworks for Data-Intensive Applicationscited by 3
  2. 2017Toward Semantic Foundations for Program Editorscited by 2
  3. 2020Characterizing the Roles of Contributors in Open-source Scientific Software Projectscited by 2
  4. 2016HPAT: High Performance Analytics with Scripting Ease-of-Usecited by 1
  5. 2019Report on the performance portability demonstrated for the relevant Weather & Climate Dwarfscited by 1
  6. 2019Reasoning About Recursive Tree Traversalscited by 1
  7. 2020FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluationcited by 1

Built on by

Not cited yet.