Doerfert, Johannes International Max Planck Research School, MPI for Informatics, Max Planck Society;
https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/28318 (Any fulltext)
Doerfert, J. (2018). Applicable and sound polyhedral optimization of low-level programs. PhD Thesis, Universität des Saarlandes, Saarbrücken. doi:10.22028/D291-29814.