Anna Rechtácková

According to our database, Anna Rechtácková authored at least 9 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

EduLint: a Versatile Tool for Code Quality Feedback.

Anna Rechtácková, Radek Pelánek

Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.1, 2026

Detecting Overcomplicated Conditions in Student Code Automatically.

Daniel Czinege, Anna Rechtácková

Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.2, 2026

2025

Code Quality Defects in Introductory Programming.

Anna Rechtácková, Radek Pelánek, Tomás Effenberger

ACM Trans. Comput. Educ., 2025

Diagnosable Code Duplication in Introductory Programming.

Anna Rechtácková, Radek Pelánek

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, 2025

Finding Misleading Identifiers in Novice Code Using LLMs.

Anna Rechtácková, Alexandra Maximova, Griffin Pitts

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 2, 2025

2024

Catalog of Code Quality Defects in Introductory Programming.

Anna Rechtácková, Radek Pelánek, Tomás Effenberger

Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, 2024

Developing Automatic Methods for Teaching Code Quality in Introductory Programming.

Anna Rechtácková

Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 2, 2024

2022

Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution).

Marek Chalupa, Vincent Mihalkovic, Anna Rechtácková, Lukás Zaoral, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution).

Marek Chalupa, Tomás Jasek, Jakub Novák, Anna Rechtácková, Veronika Soková, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021