Papers of the month: January 2024

Each month, the FormaL Methods and Tools (FMT) group selects papers to highlight. For this month, they've chosen:

• Dré van Oorschot, Marieke Huisman and Ömer Şakar: First Steps towards Deductive Verification of LLVM IR, accepted at the 27th International Conference on Fundamental Approaches to Software Engineering FASE 2024 (etaps.org)
• Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga: Fuzzy quantitative attack tree analysis, accepted at the 27th International Conference on Fundamental Approaches to Software Engineering FASE 2024 (etaps.org)
• Lars B. van den Haak, Anton Wijs, Marieke Huisman and Mark van den Brand: HaliVer: Deductive Verification and Scheduling Languages Join Forces, accepted at TACAS 2024 (etaps.org)
• Marcus Gerhold, Lola Solovyeva and Vadim Zaytsev: The Limits of the Identifiable: Challenges in Python Version Identification with Deep Learning, accepted at SANER 2024 (researchr.org) in the RENE track (Reproducibility Studies and Negative Results (RENE) Track).
• Céline Deknop, Johan Fabry, Kim Mens, Vadim Zaytsev: Visual Assurance in Refactoring through Trace Equivalence of Control Flow Graphs, accepted at SANER 2024, the Tools Demo Track
• Iman Hemati Moghadam, Mohammad Mehdi Afkhami, Parsa Kamalipour, Vadim Zaytsev: Extending Refactoring Detection to Kotlin: A Dataset and Comparative Study, accepted at SANER 2024, the ERA Track.