📄📄📄 3 Papers accepted @ FLoC 2026!! 🎉🎉🎉
Excited to share that three of our papers have been accepted at FLoC 2026, covering automated feedback for Prolog education, data-driven mutation testing for Prolog, and …
Can Automated Feedback Turn Students into Happy Prologians?
In this work, we present ProHelp, an automated assessment platform for Prolog built on top of the GitSEED framework, and we evaluate it through a survey of 144 students from a …
Ricardo Brancas
•
•
1 min read
What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework
In this work, we present an empirical study of 7,201 Prolog submissions from 265 undergraduate students, from which we derive a fine-grained taxonomy of student bugs through manual …
Ricardo Brancas
•
•
1 min read