Birkbeck Knowledge Lab and Logical Methods joint Seminar: Formal Autograding in the Classroom
When:
—
Venue:
Birkbeck Main Building, Malet Street
In this talk, I will present our work on automated grading of programming assignments, and share our experience with using a program
verifier as an autograder in our functional programming course. Our approach takes as input student submissions and reference solutions, and
uses equivalence checking to automatically prove or disprove the correctness of each submission. We achieve robustness by handling recursion using functional induction and by handling auxiliary functions using function call matching. We achieve scalability using a clustering algorithm that leverages the transitivity of equivalence to discover intermediate reference solutions among student submissions. We find that the clusters of equivalent submissions provide useful insights into different program structures, beyond those envisioned by a single reference solution. We illustrate the underlying techniques on example exercises throughout the talk.
Contact name:
George Magoulas
-
Dragana Milovancevic
-
Dragana Milovancevic is a PhD student in the LARA group at EPFL, under the supervision of Prof. Viktor Kuncak, and an Academic Collaborator at Birkbeck, University of London. Previously, she received her master's degree from the University of Belgrade, where she was working as a teaching assistant. Her research interests are in the field of formal verification, where she applies equivalence checking to a variety of domains, including automated grading.