Automated Program Synthesis and Optimization Using Foundation Models in Software Engineering

Authors

  • Dr. Soo-Yeon Choi Department of Computer Science and Engineering, Seoul National University, Seoul, South Korea. Author

DOI:

https://doi.org/10.63282/3117-5481/AIJCST-V2I3P101

Keywords:

Automated program synthesis, foundation models, deep learning, software optimization, transformer models, code generation, semantic understanding, performance enhancement

Abstract

Synthesis and optimization of programs run on computers have become two key research topics in the current software engineering. The emergence of foundation models, which are trained on massive pretexts on large code and natural language datasets, presents new possibilities in interpreting, creating and optimizing code. The paper explores the use of foundation models in the synthesis of programs in a self-managed manner and in enhancing the performance of programs. We recommend a structural approach that incorporates deep learning models into existing software engineering pipelines to produce, execute, and improve code in an automated approach. The given framework uses transformer based models to represent codes, understand them and predict errors. Empirical experience has shown that foundation model-based synthesis can save a great deal of development time, result in better code quality, and higher accuracy as compared to the conventional heuristic-based methods. Besides, the framework offers information on optimization strategies such as minimization of computational resources and energy consumption. Based on an analysis we also draw attention to challenges that may be faced, such as model interpretability, data bias and scalability, which provides avenues upon which future research may be based in regard to developing intelligent software. This paper gives a broad outlook of how foundation models can be exploited to provide automated program synthesis and optimization, and offers viable implications to the academic and industry sectors

References

[1] Gulwani, S., Polozov, O., & Singh, R. (2017). Program Synthesis. Foundations and Trends® in Programming Languages, 4(1-2), 1–119.

[2] Jha, S., & Seshia, S. A. (2017). A Theory of Formal Synthesis via Inductive Learning.

[3] Enabling Mission-Critical Communication via VoLTE for Public Safety Networks - Varinder Kumar Sharma - IJAIDR Volume 10, Issue 1, January-June 2019. DOI 10.71097/IJAIDR.v10.i1.1539

[4] Designing LTE-Based Network Infrastructure for Healthcare IoT Application - Varinder Kumar Sharma - IJAIDR Volume 10, Issue 2, July-December 2019. DOI 10.71097/IJAIDR.v10.i2.1540

[5] Gulwani, S., Polozov, O., & Singh, R. “Program Synthesis.” Foundations and Trends® in Programming Languages, Vol. 4, No. 1–2, 2017.

[6] Srivastava, S., Gulwani, S., & Foster, J. “From Program Verification to Program Synthesis.” In POPL ‘10, 2010.

[7] Wang, Z., & O’Boyle, M. F. “Machine Learning in Compiler Optimization.” Proceedings of the IEEE, Vol. 106, No. 11, 2018, pp. 1879-1901.

[8] Petke, J., Haraldsson, S. O., Harman, M., Langdon, W. B., White, D. R., & Woodward, J. “Genetic Improvement of Software: a Comprehensive Survey.” IEEE Transactions on Evolutionary Computation, Vol. 22, No. 3, 2018, pp. 415-432.

[9] Kocsis, Z. A., & Swan, J. “Genetic Programming + Proof Search = Automatic Improvement.” Journal of Automated Reasoning, 60(2), 2018 (published online 2017) pp. 157-176.

[10] •Memeti, S., Pllana, S., Binotto, A., Kolodziej, J., & Brandic, I. “Using Meta-heuristics and Machine Learning for Software Optimization of Parallel Computing Systems: A Systematic Literature Review.” Computing, Vol. 101, 2018 (published 2019) pp. 893-936.

[11] Mohan, M., & Greer, D. “MultiRefactor: Automated Refactoring To Improve Software Quality.” (arXiv preprint) 2017.

[12] Mao, N. “Research On Software Performance Optimization Strategy Based on Machine Learning.” Highlights in Science, Engineering and Technology, (year unspecified but within range) (2018 approx).

Downloads

Published

2020-05-02

Issue

Section

Articles

How to Cite

[1]
S.-Y. Choi, “ Automated Program Synthesis and Optimization Using Foundation Models in Software Engineering”, AIJCST, vol. 2, no. 3, pp. 1–10, May 2020, doi: 10.63282/3117-5481/AIJCST-V2I3P101.

Similar Articles

1-10 of 102

You may also start an advanced similarity search for this article.