Dear all, We continue our Formal Methods Teaching tutorials series with a lecture on Friday, August 1st, at 3 pm CEST!
(first Friday of the month...) Dragana Milovancevic is a doctoral assistant in the LARA group (Laboratory for Automated Reasoning and Analysis) at EPFL, under the supervision of Prof. Viktor Kuncak. Her research interests are in the field of formal verification, and include equivalence checking and automated grading. Dragana will talk about a recent paper on formal autograding. Here comes the abstract of the talk: In this talk, I will present our work on automated grading of functional programming assignments, and share our experience in enhancing automated grading in an undergraduate programming course using formal verification. In our experiment, we deploy a program verifier to check the equivalence between student submissions and reference solutions, alongside the existing, testing-based grading infrastructure. Consequently, we achieve higher confidence in correctness of idiomatic solutions but also more thorough assessment of solution landscape that reveals solutions beyond those envisioned by instructors. The event will last about an hour. Warmly welcome!! Best wishes, Luigia __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
