Reverse Template Processing using Abstract Interpretation

on YouTube ↗26m

" summary

A reverse-template engine converts templates into an ambiguous parser and an abstract semantics that returns all input databases that can produce a given output; it targets non‑injective, affine and erasing templates and proves soundness while giving up completeness. Key techniques are abstract interpretation, custom abstract domains with an intersection operation, and a forward completeness design that avoids fixpoints by ignoring non‑output elements in sequences. Implemented on industrial aeronautics templates, it recovers every template‑mentioned field precisely and performs efficiently thanks to abundant constant text.

AI-written summary · about

" chapters (15)

1. 0:00Reverse template processing intro
2. 2:25Reverse template processing goals
3. 3:49Motivations and applications
4. 5:13Why exact reverse is hard
5. 7:01Abstract interpretation for finite abstractions
6. 9:33Parsing and abstract evaluation trees
7. 11:28Constraint propagation and unification
8. 13:14Abstract database representation
9. 14:18Handling infinite sequences
10. 15:52Precision loss and matching
11. 17:16Industrial case study
12. 18:44Performance and backtracking
13. 20:29Formalization and theory
14. 21:54Summary of contributions
15. 22:16Q&A