Synthesis of Sorting Kernels.

Marcel Ullrich, Sebastian Hack

Browse the full CGO paper archive.