Computer science, Computer programming, Program management, Programming language, Computer program, Computer

Click here to read the article

On Oct 30, 2020
@YadKonrad shared
Yea Excel is cool, the first ever mass industry level application using Program Synthesis was Excel probably. Excel is an incredible piece of software surrounded by lots of Junk, including the actual OS. RobustFill: https://t.co/rOMf3GiG1c FlashMeta: https://t.co/l79Nr7FHNe https://t.co/YxH4qKf915
Open

Categories and Subject Descriptors D.1.2 [Programming Techniques]: Automatic Programming; D.2.13 [Software Engineering]: Reusable Software — Domain Engineering; I.2.2 [Artificial Intelligence]: Automatic Programming — Program Synthesis General Terms Algorithms, Languages Keywords ...

www.microsoft.com
On Oct 30, 2020
@YadKonrad shared
Yea Excel is cool, the first ever mass industry level application using Program Synthesis was Excel probably. Excel is an incredible piece of software surrounded by lots of Junk, including the actual OS. RobustFill: https://t.co/rOMf3GiG1c FlashMeta: https://t.co/l79Nr7FHNe https://t.co/YxH4qKf915
Open

Click here to read the article

Click here to read the article

Categories and Subject Descriptors D.1.2 [Programming Techniques]: Automatic Programming; D.2.13 [Software Engineering]: Reusable Software — Domain Engineering; I.2.2 [Artificial ...

Click here to read the article

Click here to read the article

A Framework for Mass-Market Inductive Program Synthesis Oleksandr Polozov A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy ...

Interactive Program Synthesis by Augmented Examples

Interactive Program Synthesis by Augmented Examples

Interactive Program Synthesis by Augmented Examples Tianyi Zhang†, London Lowmanstone†, Xinyu Wang§, Elena L. Glassman† †Harvard University, MA, USA §University of Michigan, Ann Arbor, MI, ...

Learning to Infer Graphics Programs from Hand-Drawn Images

Learning to Infer Graphics Programs from Hand-Drawn Images

Image (Observed) line , line , rectangle , line , ... Spec/Drawing Commands (Latent) for (j < 3) for (i < 3) if (...) line (...) line (...) rectangle (...) Program (Latent) Extrapolation ...

Program synthesis and the art of programming by intent with Dr. Sumit Gulwani

Program synthesis and the art of programming by intent with Dr. Sumit Gulwani

Episode 99 | November 20, 2019 - Dr. Sumit Gulwani is a programmer’s programmer. Literally. A Partner Research Manager in the Program Synthesis, or PROSE, group at Microsoft Research, Dr. ...