Author
As part of the P4 Developer Days series of live educational webinars, Didrik Lundberg presented an overview of the HOL4P4 formalisation and some of the tools that are built on top of it. The presentation was recorded and is now available online.
YouTube: https://www.youtube.com/watch?v=ZkOKQ-e97YQ
p4.org: https://p4.org/event/p4-developer-days-from-semantics-to-software-building-a-verification-ecosystem-for-p4-using-hol4p4/
Author
Our work on large language models and network management has received the IRTF/IETF Applied Networking Research Prize. Congratulations to Changjie Wang, our doctoral student funded by Vinnova who has led the work.
Read more about the award on this KTH News article.
Author
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]
Author
Marco Chiesa presented our recent results from the SEMLA projectto the SMARTNESS consortium, a research collaboration among multiple Brazilian universities, organizations, and Ericsson.
Author
Changjie Wang and Mariano Scazzariello have attended ACM CoNEXT in Los Angeles this week! Our work, NetConfEval, has been shortlisted among the three top papers in the conference out of 38 accepted papers (and 250 submitted ones)! Congratulations to the team!

Enjoy the presentation talk from Changjie Wang: