MICHELLE for high-level optimization, large scale problems and HPC environments | IEEE Conference Publication | IEEE Xplore