Translator Generation Using ART
Abstract elided by the publisher.
Related papers
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization CAV 2020
- Optimizing binary translation of dynamically generated code CGO 2015
- Optimization-Directed Compiler Fuzzing for Continuous Translation Validation PLDI 2025
- Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator PLDI 2011
- Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis POPL 2025
- Kratos2: An SMT-Based Model Checker for Imperative Programs CAV 2023
- Enabling Near Real-Time NLU-Driven Natural Language Programming through Dynamic Grammar Graph-Based Translation CGO 2022
- Genie: a generator of natural language semantic parsers for virtual assistant commands PLDI 2019