🏢
🌐 Entity
Program synthesis
Task to construct a program meeting a formal specification
📊 Rating
1 news mentions · 👍 0 likes · 👎 0 dislikes
📌 Topics
- Software Optimization (1)
- Machine Learning (1)
- GPU Computing (1)
🏷️ Keywords
OptiML (1) · CUDA kernels (1) · Program synthesis (1) · Performance optimization (1) · Large language models (1) · Natural language processing (1) · GPU computing (1) · Code optimization (1)
📖 Key Information
In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both comprise approaches of different degrees of automation. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in an appropriate logical calculus.
📰 Related News (1)
-
🇺🇸 OptiML: An End-to-End Framework for Program Synthesis and CUDA Kernel Optimization
arXiv:2602.12305v1 Announce Type: cross Abstract: Generating high-performance CUDA kernels remains challenging due to the need to navigate a combinat...
🔗 Entity Intersection Graph
People and organizations frequently mentioned alongside Program synthesis:
-
🌐
Large language model · 1 shared articles