Program Synthesis using Examples

Показать описание

Program Synthesis is a very old idea where we generate programs from a high-level specification.

Recently there has been a lot of buzz about using Program Synthesis to generate software and making developer's jobs easier. I don't agree with this idea, Program Synthesis works flawlessly where it's applied to isolated small problems, the ones that a user would have in a day to day work; formatting tables, extracting information from files, text transformations, file copies, searching, etc.

This video shows how an example based program synthesis can help with user pains.

This is a short introduction to example-based program synthesis and it's based on an old research project of mine.

#dotnet #synthesis #machinelearning

Рекомендации по теме

Комментарии

Good format quality and I really liked the example, very intuitive :)
I mainly came here because I wanted to find out what an upcoming Seminar is about, so thanks a lot!

Nitoru

This is really cool! Can you share the source code?

unnoticedspacegoat

how is this all done ?
can you teach this or drop the sources for learning .

aniketbhura

Came across your video. Trying to learn Program Synthesis on my own (a very beginner stage). Is it possible for we both to connect

SAICHAREN

I came here to watch the video because I have to do research on program synthesis using boolean satisfiability solvers.

nahiyanalamgir

Program Synthesis using Examples

Program Synthesis using Examples

[HATRA] Program Synthesis Using Example Propagation

Program Synthesis meets Notebooks

Program Synthesis by Examples for Object Repositioning Tasks

[PADL'23] Program Synthesis Using Example Propagation

Program Synthesis using Conflict-Driven Learning

Program Synthesis with Large Language Models

Exploring Human-in-the-loop Program Synthesis with Live Coding

Interactive Program Synthesis by Augmented Examples

Interactive Program Synthesis by Augmented Examples

Tutorial on Deductive Program Synthesis Part 2

[OOPSLA] FlashMeta: A Framework for Inductive Program Synthesis

SIGCOMM 2020: Session 1: Switch Code Generation using Program Synthesis

Program Synthesis by Examples for Object Repositioning Tasks

Augmented Example-based Synthesis using Relational Perturbation Properties

[PLDI24] Recursive Program Synthesis using Paramorphisms

William E Byrd - Relational Interpreters, Program Synthesis, and Barliman - Code Mesh 2017

Demo: Program Synthesis using SMT solvers

Gauss: Program Synthesis by Reasoning Over Graphs

[POPL'18] Program Synthesis using Abstraction Refinement

SYNT 2020: Neuro-Symbolic Program Synthesis from Natural Language and Demonstrations

Accelerating Search-Based Program Synthesis using Learned Probabilistic Models

(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxPESU

An Introduction to (Inductive) Program Synthesis, by Ali Shokri