synthesis

Program synthesis is cool. Learn more about it!

Deterministic methods aren't as useful as they sound… a completespecification that can generate a program is the program, and isusually just harder than writing the program that follows thatspecification - though it does act as a second implementation that canprecisely validate the first.

If we recognize that we're okay with some undefined behavior, we candescribe and synthesize programs with a series of property tests; thiscan be useful for checking work or if we have a human in the loop tovalidate everything we're generating (but in this case, we wantnondeterminism, deep learning and these sorts of things).

Question Selection for Interactive Program Synthesis (PLDI 2020 - PLDIResear…Writing a Test Case Generator for a ProgrammingLanguage:Generating test cases (fuzzing?) for WASM.

Why care about ProgramSynthesis

In this article
Revisions
DateHash
2023-02-22
Navigation
Previousshaving
Nextactivitypub
Uppages