Papers of the Month: February 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:

• With a little help from your friends: semi-cooperative games via Joker moves (journal version), by Petra van den Bos and Marielle Stoelinga. Accepted by Logical Methods in Computer Science, 2025. https://arxiv.org/abs/2304.13417
• AI-Powered, But Power-Hungry? Energy Efficiency of LLM-Generated Code, by Lola Solovyeva, Sophie Weidmann, Fernando Castor. Proceedings of the 2nd ACM International Conference on AI Foundation Models and Software Engineering (FORGE 2025). Ottawa, Canada. April 2025. Accepted for publication. https://arxiv.org/abs/2502.02412
• Language Models in Software Development Tasks: An Experimental Analysis of Energy and Accuracy, by Negar Alizadeh, Boris Belchev, Nishant Saurabh, Patricia Kelbert, Fernando Castor. Proceedings of the 22nd International Conference on Mining Software Repositories (MSR 2025). Ottawa, Canada. April 2025. https://arxiv.org/abs/2412.00329