https://marti2203.github.io/portfolio/2019-11-26-kernel 2019-11-26T00:00:00+08:00 https://marti2203.github.io/portfolio/2021-01-09-antlrstudio 2021-01-09T00:00:00+08:00 https://marti2203.github.io/portfolio/2023-05-14-cerberus 2023-05-14T00:00:00+08:00 https://marti2203.github.io/portfolio/2024-02-26-chatafl 2024-02-26T00:00:00+08:00 https://marti2203.github.io/portfolio/2026-07-01-verus-contributions 2026-07-01T00:00:00+08:00 https://marti2203.github.io/portfolio/2026-07-26-frama-clang 2026-07-26T00:00:00+08:00 https://marti2203.github.io/portfolio/2026-08-22-verifying-nanoda 2026-08-22T00:00:00+08:00 https://marti2203.github.io/publication/2023-05-14-automated-repair-of-programs-from-large-language-models 2023-05-14T00:00:00+08:00 https://marti2203.github.io/publication/2023-05-14-cerberus-program-repair-framework 2023-05-14T00:00:00+08:00 https://marti2203.github.io/publication/2023-05-14-program-repair-competition 2023-05-14T00:00:00+08:00 https://marti2203.github.io/publication/2024-02-26-llm-guided-protocol-fuzzing 2024-02-26T00:00:00+08:00 https://marti2203.github.io/publication/2024-04-15-apr-competition-2024 2024-04-15T00:00:00+08:00 https://marti2203.github.io/publication/2024-06-01-assured-automatic-programming-via-llms 2024-06-01T00:00:00+08:00 https://marti2203.github.io/publication/2025-04-27-detecting-python-malware-in-the-software-supply-chain 2025-04-27T00:00:00+08:00 https://marti2203.github.io/publication/2025-06-01-ctl-guided-program-repair 2025-06-01T00:00:00+08:00 https://marti2203.github.io/publication/2026-04-01-fixing-security-vulnerabilities-with-agentic-ai-in-oss-fuzz 2026-04-01T00:00:00+08:00 https://marti2203.github.io/publication/2026-06-01-llms-in-software-security-analysis 2026-06-01T00:00:00+08:00 https://marti2203.github.io/publication/2026-07-01-autocoderover-agentic-program-repair-sonarqube 2026-07-01T00:00:00+08:00 https://marti2203.github.io/teaching/2020-11-01-eindhoven-teaching-assistant 2020-11-01T00:00:00+08:00 https://marti2203.github.io/teaching/2023-01-01-nus-cs3213-teaching-assistant 2023-01-01T00:00:00+08:00 https://marti2203.github.io/teaching/2026-01-01-nus-cs3234-teaching-assistant 2026-01-01T00:00:00+08:00 https://marti2203.github.io/ https://marti2203.github.io/cv/ https://marti2203.github.io/portfolio/ https://marti2203.github.io/publications/ https://marti2203.github.io/resume/ https://marti2203.github.io/sitemap/ https://marti2203.github.io/teaching/ https://marti2203.github.io/year-archive/