Our work on leveraging LLMs for 1) generating verifiable code, 2) discovering software vulnerabilities, and 3) reducing the size of code-generation transformer-based models have been accepted for publication at the LLM4Code workshop!
- From Scientific Texts to Verifiable Code: Automating the Process with Transformers
In the International Workshop on Large Language Models for Code (LLM4Code), published within ICSE, 2025.
C. Wang, M. Scazzariello, M. Chiesa
[arXiv] [ Demo video] - Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues
In the International Workshop on Large Language Models for Code (LLM4Code), published within ICSE, 2025.
D. Cipollone, C. Wang, M. Scazzariello,, S. Ferlin, M. Izadi D. Kostić, M. Chiesa
[arXiv] - Deriving Coding-Specific Sub-Models from LLMs using Resource-Efficient Pruning
In the International Workshop on Large Language Models for Code (LLM4Code), published within ICSE, 2025.
L. Puccioni, A. Farshin, M. Scazzariello, C. Wang, M. Chiesa, D. Kostić
[arXiv]