Skip to content
cs-conference-ranking.org

Anna Rechtckov

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

3

Active years

2021–2026

Best venue rank

A

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2026SIGCSEDetecting Overcomplicated Conditions in Student Code Automatically.Daniel Czinege, Anna Rechtckov
2026SIGCSEEduLint: a Versatile Tool for Code Quality Feedback.Anna Rechtckov, Radek Pelnek
2025SIGCSEFinding Misleading Identifiers in Novice Code Using LLMs.Anna Rechtckov, Alexandra Maximova, Griffin Pitts
2025SIGCSEDiagnosable Code Duplication in Introductory Programming.Anna Rechtckov, Radek Pelnek
2024ITiCSEDeveloping Automatic Methods for Teaching Code Quality in Introductory Programming.Anna Rechtckov
2024ITiCSECatalog of Code Quality Defects in Introductory Programming.Anna Rechtckov, Radek Pelnek, Toms Effenberger
2022TACASSymbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution).Marek Chalupa, Vincent Mihalkovic, Anna Rechtckov, Luks Zaoral, Jan Strejcek
2021TACASSymbiotic 8: Beyond Symbolic Execution - (Competition Contribution).Marek Chalupa, Toms Jasek, Jakub Novk, Anna Rechtckov, Veronika Sokov, Jan Strejcek