Talk:Program synthesis

message: Please discuss the merge at Talk:Automatic programming ---- CharlesGillingham 05:53, 26 August 2007 (UTC)

message: I am a postdoc at UC Berkeley working on program synthesis User:MarkusRabe. I tried to address some of the problems with the previous version of this article (vagueness, poor writing, missing references, sometimes even wrong statements). I rewrote the introduction, origin, and current developments and I deleted "Problems and limitations" as it used too specific technical terms, such as 'factoring' and was very vague. 
From here on, the article should be extended by more detailed discussions on modern algorithms for program synthesis, for example FlashFill by Sumit Gulwani, enumerative program synthesis, component-based synthesis, and so on. The current section on Manna and Waldinger's work is okay, but their approach does not play a big role today. - 4 July 2017‎ User:MarkusRabe
:I agree that the Manna+Waldinger section currently has undue weight; it got even longer due to (apparently necessary) additional explanations. I hope this problem will vanish if some people add new sections on other, in particular, more common, approaches. Maybe, we will have to split the article eventually. - Jochen Burghardt (talk) 12:09, 11 February 2019 (UTC)
thread_title:  Rewrote the article (July 2017) 

message: Prior content in this article duplicated one or more previously published sources.  Copied or closely paraphrased material has been rewritten or removed and must not be restored, unless it is duly released under a compatible license. (For more information, please see "using copyrighted works from others" if you are not the copyright holder of this material, or "donating copyrighted materials" if you are.) For legal reasons, we cannot accept copyrighted text or images borrowed from other web sites or published material; such additions will be deleted. Contributors may use copyrighted publications as a source of information, but not as a source of sentences or phrases. Accordingly, the material may be rewritten, but only if it does not infringe on the copyright of the original or plagiarize from that source. Please see our guideline on non-free text for how to properly implement limited quotations of copyrighted text. Wikipedia takes copyright violations very seriously, and persistent violators will be blocked from editing. While we appreciate contributions, we must require all contributors to understand and comply with these policies. Thank you.  Osiris (talk) 13:04, 7 July 2012 (UTC)
thread_title:  Copyright problem removed 

message: The current contents of this page describe the state of program synthesis prior to 2000 (the only citation is from a 2004 review paper looking back at the eras from 1960-2000).
I am postdoc at UC Berkeley with primary research focus on Program Synthesis. My PhD was on Program Synthesis as well. I am starting on a project to revamp this page to make it current with the developments in the field, and I will ensure that the updated page contains contributions from faculty and researchers at all prominent establishments (including Berkeley, MIT, Microsoft, etc.) working in the area. The end result will bring the page up to par with, for example, the Software testing page.
If any of the current contributors have significant objections to a rewrite, please respond.  — Preceding unsigned comment added by Saurabh.berkeley (talk • contribs) 19:28, 23 April 2013 (UTC)
thread_title:  This page needs a complete rewrite 

message: This page only considers program synthesis from formal specification,e.g., LTL or CTL temporal logic. The important topic of program synthesis from input/output examples is omitted. Currently, the later is more actively pursued and has been already transferred to the industry, e.g,  MS Excel's FlashFill feature. I refer here to the recent and remarkable works of Sumit Gulwani of MSR.  — Preceding unsigned comment added by 131.246.78.12 (talk) 07:36, 14 July 2016 (UTC)
thread_title:  Other aspects of program synthesis 

message: To recap the above discussion: In Program Synthesis, 2017 (text available online), Gulwani, Polozov and Singh write, “Program synthesis is the task of automatically finding a program in the underlying programming language that satisfies the user intent expressed in the form of some specification.”  Do you agree?  If yes, then does the example meet this definition?  If it does not, then why call it an “example” of Program Synthesis?  If what these authors describe is not Program Synthesis, then what is the correct term for what they are describing and where on Wikipedia is that subject covered?
If your procedure is a manual system for producing computer programs rather than an automated one, then you are describing a Programming Language or, more generally, an Integrated Development Environment (IDE) and it needs to be moved to that page in Wikipedia.
Thanks.
M. Davis
Mdaviscs (talk) 11:53, 15 April 2020 (UTC)
thread_title:  Correct Location for Example