HOL4P4 presented at the P4 Developer Days
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/
NetConfEval receives the IETF/IRTF Applied Networking Research Prize
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.
Three papers accepted at LLM4Code!
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]
Talk at the Smartness consortium
Marco Chiesa presented our recent results from the SEMLA projectto the SMARTNESS consortium, a research collaboration among multiple Brazilian universities, organizations, and Ericsson.