Automatic generation of a parallel sorting algorithm | IEEE Conference Publication | IEEE Xplore