Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Parallel Shear Sort

Email Gateway (Sep 30 2024 at 14:29):

From: Lawrence Paulson <lp15@cam.ac.uk>
I'm happy to announce a remarkable new entry: Parallel Shear Sort, by Manuel Eberl and Peter Lammich.

From the abstract:

This entry provides a formalisation of parallel shear sort, a comparison-based sorting algorithm intended for highly parallel systems. It sorts n elements in O(log n) steps, each of which involves sorting sqrt(n) independent lists of sqrt(n) elements each.

https://www.isa-afp.org/entries/Parallel_Shear_Sort.html

Larry

Last updated: Jan 04 2025 at 20:18 UTC