Synthesizing Programs with Continuous Optimization

Paper

First seen 7/2/2026

Last seen 7/2/2026

Evidence 5 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

13 connections

Genesys introduces → 100% 2e

The paper presents and introduces the GENESYS program synthesis framework.

The paper mentions formal program synthesis as related work.

The paper mentions reinforcement learning as an approach used in related program synthesis work.

Javier Turek authored by → 100% 1e

Javier Turek is listed as an author of the paper.

Justin Gottschlich authored by → 100% 1e

Justin Gottschlich is listed as an author of the paper.

Abdullah Muzahid authored by → 100% 1e

Abdullah Muzahid is listed as an author of the paper.

FlashFill mentions → 85% 1e

The paper mentions FlashFill as a domain specific language application in program synthesis.

The paper references stochastic superoptimization in related work.

Machine Programming mentions → 100% 1e

The paper identifies program synthesis as a subset of machine programming.

Genetic Programming mentions → 90% 1e

The paper mentions genetic programming as related work.

The paper mentions MCMC as an approach used in related work for program synthesis.

Shantanu Mandal authored by → 100% 1e

Shantanu Mandal is listed as an author of the paper.

Todd A. Anderson authored by → 100% 1e

Todd A. Anderson is listed as an author of the paper.