Saggitarius: A DSL for Specifying Grammatical Domains

Explore a 17-minute video presentation from OOPSLA2 2023 introducing Saggitarius, a new domain-specific language (DSL) designed for specifying grammatical domains. Learn how this innovative system helps programmers reason about data formats by describing sets of context-free grammars that represent various data type representations. Discover the language's design through examples and its relational semantics. Understand how Saggitarius analyzes datasets using an algorithm based on semi-ring parsing and MaxSAT to infer the best-matching grammar within a given domain. Examine the system's effectiveness through a benchmark suite of 110 example problems and a case study on CSV dialect detection. Gain insights into how Saggitarius compares to specialized tools, offering comparable results in grammar inference and accuracy for custom-built dialect detection tools.