Research output per year
Research output per year
Personal profile
Overview
Automated Program Repair with Formal Verification and Large Language Models
Fingerprint
Dive into the research topics where Yiannis Charalambous is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Charalambous, Y., Tihanyi, N., Jain, R., Sun, Y., Ferrag, M. A. & Cordeiro, L. C., 13 Jan 2025, (Accepted/In press) 6th ACM/IEEE International Conference on Automation of Software Test (AST 2025).Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
Automated Repair of AI Code with Large Language Models and Formal Verification
Charalambous, Y., Manino, E. & Cordeiro, L. C., 14 May 2024.Research output: Preprint/Working paper › Preprint
File118 Downloads (Pure) -
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches
Braberman, V. A., Bonomo-Braberman, F., Charalambous, Y., Colonna, J. G., Cordeiro, L. C. & Freitas, R. D., 2024Research output: Other contribution
-
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Charalambous, Y., Tihanyi, N., Jain, R., Sun, Y., Ferrag, M. A. & Cordeiro, L. C., 24 May 2023.Research output: Preprint/Working paper › Preprint
File63 Downloads (Pure)