WG211/M20Pueschel

Polyhedra domain analysis has been considered unpractical for most real world applications due to its worst case exponential complexity. In this talk I will present techniques to speed up the analysis by several orders of magnitude in many cases. Specifically, this includes dynamic partitioning of variables and the use of learned transformers that can adaptively lose precision to speed up analysis.