2 papers
cs.SE2026
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…
cs.SE2025
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…