Tuesday 9 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.
