On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M20Pueschel
From WG 2.11
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.
