#programsynthesis
LightNews LightNews
jul-p.bsky.social
🤗 This project wouldn't have been possible without my incredible co-author team, @ccolas.bsky.social & @pyoudeyer.bsky.social
#LLM #AI #ProgramSynthesis #ICML2025
July 10, 2025 at 4:04 PM
gpem.bsky.social
New issue just announced, including several items with open access:
link.springer.com/journal/1071...

#geneticprogramming
#programsynthesis
Genetic Programming and Evolvable Machines | Volume 25, issue 2
Volume 25, issue 2 articles listing for Genetic Programming and Evolvable Machines
link.springer.com
November 27, 2024 at 2:42 PM
gpem.bsky.social
New book review!

“Computational evolution of neural and morphological development”, Yaochu Jin, reviewed by Renske Vroomans.

link.springer.com/article/10.1...

No paywall.

#geneticprogramming #programsynthesis #alife
Review: “Computational evolution of neural and morphological development”, Yaochu Jin, ISBN 978-981-99-1853-9, Springer, 2023 - Genetic Programming and Evolvable Machines
Genetic Programming and Evolvable Machines -
link.springer.com
November 29, 2024 at 2:00 PM
puretech.news
The Role of Mutation Path Algorithms in Tree-Diffusion Program Synthesis #Technology #SoftwareEngineering #Other #ProgramSynthesis #Algorithms #MutationPath
The Role of Mutation Path Algorithms in Tree-Diffusion Program Synthesis
Table of Links Abstract and 1. Introduction Background & Related Work Method 3.1 Sampling Small Mutations 3.2 Policy 3.3 Value Network & Search 3.4 Architecture Experiments 4.1 Environments 4.2 Baselines...
puretech.news
September 28, 2025 at 6:45 AM
moorejh.bsky.social
A Comparison of Large Language Models and Genetic Programming for Program Synthesis ieeexplore.ieee.org/document/105... #LLMs #geneticprogramming #programsynthesis
A Comparison of Large Language Models and Genetic Programming for Program Synthesis
Large language models have recently become known for their ability to generate computer programs, especially through tools such as GitHub Copilot, a domain where genetic programming has been very succ...
ieeexplore.ieee.org
August 29, 2024 at 3:00 PM
paperswelove.org
"Computer-aided Concurrent Programming" by Roopsha Samanta [PWLConf 2018] (2018)

https://www.youtube.com/watch?v=_gvTS_XdcPA

#pwlconf #concurrency #programsynthesis
August 2, 2026 at 12:15 PM
pneumetron.bsky.social
SpecFirst: Decoupling Requirements from Implementation in Agentic Coding

https://pneumetron.com/news/ai_research/specfirst-agentic-program-synthesis-494183

#AIAgents #SoftwareEngineering #ProgramSynthesis #LLM
July 31, 2026 at 4:58 PM
pneumetron.bsky.social
MindForge: Bridging the Gap in From-Scratch Program Synthesis

https://pneumetron.com/news/ai_research/mindforge-from-scratch-program-synthesis-b2ba2d

#AI #MachineLearning #SoftwareEngineering #ProgramSynthesis
July 31, 2026 at 5:00 PM
getnews-me.bsky.social
A new algorithm can automatically synthesize loops with branching polynomial updates using algebraic geometry and an SMT solver. Reported in September 2025. Read more: https://getnews.me/algorithm-generates-branching-polynomial-loops-via-algebraic-geometry/ #programsynthesis #algebraicgeometry
Algorithm Generates Branching Polynomial Loops via Algebraic Geometry
October 1, 2025 at 3:10 AM
rmathew4bs.bsky.social
Nice article, but the all-lowercase titling is so jarring:

“Six Thoughts On Generating C”, Andy Wingo (wingolog.org/archives/202...).

Via HN: news.ycombinator.com/item?id=4694...

On Lobsters: lobste.rs/s/j8jnqq/six...

#Programming #C #PLDI #Compilers #CodeGeneration #ProgramSynthesis
six thoughts on generating c — wingolog
wingolog: article: six thoughts on generating c
wingolog.org
February 21, 2026 at 1:35 PM
gpem.bsky.social
New issue just announced, including several items with open access:

link.springer.com/journal/1071...

#geneticprogramming
#programsynthesis
Genetic Programming and Evolvable Machines | Volume 25, issue 2
Volume 25, issue 2 articles listing for Genetic Programming and Evolvable Machines
link.springer.com
November 27, 2024 at 11:00 AM