Friday 3 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
