4 papers
Large Language Models and Language Server Protocol: a match made in context
Alessandro Schena, Ilgiz Mustafin, Julia Kotovich
This article introduces Eiffel-tools, a language server protocol (LSP) implementation for the Eiffel programming language that uses Large Language Models (LLMs) to aid the developm…
Do AI models help produce verified bug fixes?
Li Huang, Ilgiz Mustafin, Marco Piccioni +3
Among areas of software engineering where AI techniques -- particularly, Large Language Models -- seem poised to yield dramatic improvements, an attractive candidate is Automatic P…
Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair
Victoria Kananchuk, Ilgiz Mustafin, Bertrand Meyer
Automatic Program Repair (APR) is a brilliant idea: when detecting a bug, also provide suggestions for correcting the program. Progress towards that goal is hindered by the absence…
Execution-free Program Repair
Li Huang, Bertrand Meyer, Ilgiz Mustafin +1
Automatic program repair usually relies heavily on test cases for both bug identification and fix validation. The issue is that writing test cases is tedious, running them takes mu…