Papers of the Month: May 2024

EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:

• Surpassing Threshold Barriers: Evaluating the Efficacy of Nature-Inspired Algorithms in Detecting Applied Refactorings, Iman Hemati Moghadam, Matthias Sleurink, and Vadim Zaytsev, at the International Conference on Computer Technology Applications, ACM, 2024.
• Refinement of Parallel Algorithms down to LLVM - applied to practically efficient parallel sorting, Peter Lammich, in Journal of Automated Reasoning
• Interview on nu.nl (in Dutch) with Marielle Stoelinga: https://www.nu.nl/tech/6310196/gebrek-aan-diversiteit-bij-ai-ontwikkeling-vaak-man-wit-en-hoogopgeleid.html