- Poster – Google Slides
- Full abstract – ACM DL, PDF
- EduLint’s Documentation
- User Guides
- complete list of custom checkers, look for those marked
[REQUIRES Z3]
- Authors
- Daniel Czinege; Masaryk University, Czechia
- Anna Řechtáčková; Masaryk University, Czechia; Scholar; contact me at anna.rechtackova@mail.muni.cz
SIGCSE TS 2026 – Detecting Overcomplicated Conditions in Student Code Automatically
Links for a poster published at SIGCSE TS 2026