#programsynthesis
🤗 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
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
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
"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
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
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
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
October 1, 2025 at 3:10 AM
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
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