![ITEA 4 page header grey golden ratio](https://image.itea3.org/gL4tN2SkUX31dhWsQPrxrXs5duU=/https://itea3.org/img/i/9558-1623850802.jpg)
Saarland University
Saarland University will participate as research lab with a long established record in the development of static-analysis methods and of application of static analysis in different domains.
Reinhard Wilhelm’s group at Saarland University also has a strong profile in compiler construction including compilers for embedded processors: Post-pass code optimizations have been realized resulting in extremely high code quality. Commercialization of a tool, aiPop, has been performed by the spin-off company AbsInt.
![](https://image.itea4.org/Az46N5YKB6E6x7Rc51ZnfBQ2Pa8=/250x/center/https://itea4.org/index.php/img/o/1106-.jpg)
- Type
- University
- Country
Germany
- Website
-
http://www.cs.uni-sb.de
http://www.uni-saarland.de/en/