Papers of the Month: April 2024

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

• Replication of a Deductive Synthesizer for Programs with Pointers, Serge Johanns and Marieke Huisman, at RRRR 2024, a workshop at ETAPS 2024
• Using Horn Solvers to Generate Memory Access Permissions for Deductive Verification – A Preliminary Report, Lukas Armborst and Marieke Huisman, at HCVS 2024, a workshop at ETAPS 2024
• Teaching Assistants as Assessors: An Experience Based Narrative, Ahmed, F., Bouali, N. and Gerhold, M. In Proceedings of the 16th International Conference on Computer Supported Education - Volume 1, ISBN 978-989-758-697-2, ISSN 2184-5026, pages 122-130.
• Investigating the Impact of Code Generation Tools (ChatGPT & Github CoPilot) on Programming Education, Nizamudeen, F., Gatti, L., Bouali, N. and Ahmed, F. In Proceedings of the 16th International Conference on Computer Supported Education - Volume 2, ISBN 978-989-758-697-2, ISSN 2184-5026, pages 221-229. 
• Fast and Verified UNSAT Certificate Checking, Peter Lammich, at IJCAR 2024.