Learning-Based Automatic Synthesis of Software Code and Configuration

05/25/2023
by   Shantanu Mandal, et al.
0

Increasing demands in software industry and scarcity of software engineers motivates researchers and practitioners to automate the process of software generation and configuration. Large scale automatic software generation and configuration is a very complex and challenging task. In this proposal, we set out to investigate this problem by breaking down automatic software generation and configuration into two different tasks. In first task, we propose to synthesize software automatically with input output specifications. This task is further broken down into two sub-tasks. The first sub-task is about synthesizing programs with a genetic algorithm which is driven by a neural network based fitness function trained with program traces and specifications. For the second sub-task, we formulate program synthesis as a continuous optimization problem and synthesize programs with covariance matrix adaption evolutionary strategy (a state-of-the-art continuous optimization method). Finally, for the second task, we propose to synthesize configurations of large scale software from different input files (e.g. software manuals, configurations files, online blogs, etc.) using a sequence-to-sequence deep learning mechanism.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/02/2022

Synthesizing Programs with Continuous Optimization

Automatic software generation based on some specification is known as pr...
research
04/18/2023

Large Language Models Based Automatic Synthesis of Software Specifications

Software configurations play a crucial role in determining the behavior ...
research
11/11/2020

GRCNN: Graph Recognition Convolutional Neural Network for Synthesizing Programs from Flow Charts

Program synthesis is the task to automatically generate programs based o...
research
08/27/2021

Recent Developments in Program Synthesis with Evolutionary Algorithms

The automatic generation of computer programs is one of the main applica...
research
11/13/2018

FrAngel: Component-Based Synthesis with Control Structures

In component-based program synthesis, the synthesizer generates a progra...
research
08/16/2021

A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base

Automatically constructing a program based on given specifications has b...
research
07/13/2017

Dependency Injection for Programming by Optimization

Programming by Optimization tools perform automatic software configurati...

Please sign up or login with your details

Forgot password? Click here to reset