About
Hello, I am Yiannis Charalambous. Welcome to my domain.
Research Papers
- Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches
- Automated Repair of AI Code with Large Language Models and Formal Verification
- A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
My Tools
Made by me:- ESBMC-AI [ Website ] [ Download ] An automated program repair tool that uses ESBMC as the backend for verifiying the software, and an LLM of choice to conduct the repair.
- ipykernel-ctl [ Website ] [ Download ] Easily deploy and manage IPyKernel for Python Environments.
Software
A collection of software I use:- ESBMC - Multi-language support software verifier. Use it to find bugs.
- Lapce - Still really early in development but is shaping up to be a powerful and extensible code editor.
- Librewolf - Firefox with better defaults and additional privacy addons.
- NeoVim - My code editor.
- Thunderbird - Very customizable, recent updates were pretty nice as well.
- VSCodium - My other code editor.
- Zotero - Used to track all the research papers read. Can sync between devices and supports NextCloud syncing.