🎉 MSCA Postdoctoral Fellowship Awarded @ IIIA-CSIC 🎉
Awarded a Marie Skłodowska-Curie Actions (MSCA) Postdoctoral Fellowship for the project Sherlock4Py.
Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
In this paper, we propose a novel approach that combines the strengths of both FM-based fault localization and LLMs, via zero-shot learning, to enhance APR for IPAs. Our method …
📄 Paper accepted @ AAAI 2025!! 🎉
I am very happy to share that our paper that combines the strengths of both MaxSAT-based fault localisation and Large Language Models, via zero-shot learning, to enhance automated …