paper-with-me

Papers

Learning-Based Automatic Synthesis of Software Code and Configuration

2023-05-25 · Shantanu Mandal

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.

📄 PDF Abstract BibTeX arXiv:2305.15642

Code (0)

등록된 구현이 없습니다.

Tasks

Program Synthesis

Similar Papers 제목 키워드 기반

Large Language Models Based Automatic Synthesis of Software Specifications

2023-04-18 · Shantanu Mandal, Adhrik Chethan, Vahid Janfaza, S M Farabi Mahmud 외

Software configurations play a crucial role in determining the behavior of software systems. In order to ensure safe and error-free operation, it is necessary to identify the correct configuration, along with their valid…

Language ModelingLanguage ModellingLarge Language Model

One Stack, Diverse Vehicles: Checking Safe Portability of Automated Driving Software

2025-01-30 · Vladislav Nenchev

Integrating an automated driving software stack into vehicles with variable configuration is challenging, especially due to different hardware characteristics. Further, to provide software updates to a vehicle fleet in t…

Diversity

LLM4TDD: Best Practices for Test Driven Development Using Large Language Models

2023-12-07 · Sanyogita Piya, Allison Sullivan

In today's society, we are becoming increasingly dependent on software systems. However, we also constantly witness the negative impacts of buggy software. Program synthesis aims to improve software correctness by automa…

Program Synthesistest driven development

Choose Your Programming Copilot: A Comparison of the Program Synthesis Performance of GitHub Copilot and Genetic Programming

2021-11-15 · Dominik Sobania, Martin Briesch, Franz Rothlauf

GitHub Copilot, an extension for the Visual Studio Code development environment powered by the large-scale language model Codex, makes automatic program synthesis available for software developers. This model has been ex…

Language ModelingLanguage ModellingProgram Synthesis

LLMSecConfig: An LLM-Based Approach for Fixing Software Container Misconfigurations

2025-02-04 · Ziyang Ye, Triet Huynh Minh Le, M. Ali Babar

Security misconfigurations in Container Orchestrators (COs) can pose serious threats to software systems. While Static Analysis Tools (SATs) can effectively detect these security vulnerabilities, the industry currently l…

ManagementRAGRetrieval-augmented Generation