@doctoralThesis{Doerfert_2018,
title={Applicable and sound polyhedral optimization of low-level programs},
author={Doerfert, Johannes},
doi={http://dx.doi.org/10.22028/D291-29814},
year={2018}
}