Mateusz-Grzelinski/program-synthesis-documentation

Many resources about program synthesis

Research about current status of program synthesis

I am gathering information about program synthesis as for year 2020. Note, this is my personal documentation for project I am doing for course at AGH university.

Usage

You can search for .rst files in this repository and read it online, or compile it using Sphinx: I recommend reading order:

• how_to_program_synthesis.rst
• overview.rst - overview of existing implementations of program synthesis

and then for more papers:

• publications/code_repair.rst
• publications/microsoft.rst
• publications/others.rst