An Interactive Feedback System for Grammar Development (Tool Paper)

on YouTube ↗15m

" summary

Tool gtutr provides automated, interactive feedback for students developing ANTLR context-free grammars, using test suites generated from a hidden golden grammar, clustering failing tests by applying the Needleman-Wunsch alignment to rule traces, and ranking suspicious productions with spectrum-based fault localization. The demo shows a 44% score improvement after one fix, students submit on average six versions in a small module, and a penalty meter charges 5 points to discourage overuse.

AI-written summary · about

" chapters (6)

1. 0:00Introduction
2. 1:49Explanation
3. 3:36Classification
4. 6:23Architecture Workflow
5. 7:31System Demonstration
6. 13:53Conclusion

" related talks

• 12mAutomatic Grammar RepairMoeketsi Raselimo, Bernd Fischer · SLE 2021
• 24mAutomated extraction of grammar optimization rule configurations in a metamodel-gr...Weixing Zhang, Regina Hebig, Daniel Strüber, Jan-Philipp Steghöfer · SLE 2023
• 20mAn Approach to Generate Text-Based IDEs for Syntax Correction based on Syntax SpecificationIsao Sasano · PEPM 2020
• 15mDetecting and explaining (in-)equivalence of context-free grammarsMarko Schmellenkamp, Thomas Zeume, Sven Argo, Sandra Kiefer, Cedric Siems, Fynn Stebel · OOPSLA 2025
• 29mGrammar Inference for Ad Hoc ParsersMichael Schröder · SPLASH 2022 Doctoral Symposium
• 22mImproving Swift Tools with libSyntaxHarlan Haskins · try! Swift NYC 2017
• 29mMy Little Parser: Tooling is MagicChris Dickinson · CascadiaJS 2013
• 12mToward Grammar Inference via Refinement Types (Extended Abstract)Michael Schröder, Jürgen Cito · TyDe 2022