Thursday 23 January 2025
EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS - AND PERFORMANCES IN THE MEDIA - TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:
- Sound Statistical Model Checking for Probabilities and Expected Rewards, by Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft. To be presented at TACAS 2025.
- Optimal spare management via statistical model checking: A case study in research reactors, by Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga. Published in The International Journal on Software Tools for Technology Transfer (FMICS 2023 special issue)
- Leveraging Search-Based and Pre-Trained Code Language Models for Automated Program Repair, by Oebele Lijzenga, Iman Hemati Moghadam, Vadim Zaytsev. To be presented at SAC/SE, ACM, April 2025.
- AI-Powered, But Power-Hungry? Energy Efficiency of LLM-Generated Code, by Lola Solovyeva, Sophie Weidmann, Fernando Castor. To be presented at FORGE 2025
- Language Models in Software Development Tasks: An Experimental Analysis of Energy and Accuracy, by Negar Alizadeh, Boris Belchev, Nishant Saurabh, Patricia Kelbert, Fernando Castor. To be presented at MSR 2025.
- Extract, model, refine: improved modelling of program verification tools through data enrichment, by Sophie Lathouwers, Yujie Liu, Vadim Zaytsev. Published in SoSyM.
- Requirements for an Automated Assessment Tool for Learning Programming by Doing, by Arthur Rump, Vadim Zaytsev and Angelika Mader. To be presented at ICST 2025.