• Home
  • Search
  • Refinement of Parallel Algorithms Down to LLVM: Applied to Practically Efficient Parallel Sorting
  • https://doi.org/10.1007/s10817-024-09701-wCopy DOI Icon

Refinement of Parallel Algorithms Down to LLVM: Applied to Practically Efficient Parallel Sorting

Show More
  • Abstract
  • Highlights & Summary
  • PDF
  • Literature Map
  • References
  • Similar Papers
Abstract

We present a stepwise refinement approach to develop verified parallel algorithms, down to efficient LLVM code. The resulting algorithms’ performance is competitive with their counterparts implemented in C++. Our approach is backwards compatible with the Isabelle Refinement Framework, such that existing sequential formalizations can easily be adapted or re-used. As case study, we verify a parallel quicksort algorithm that is competitive to unverified state-of-the-art algorithms.

Loading PDF

Similar Papers
  • Research Article
  • Citations35

Efficient and scalable quicksort on a linear array with a reconfigurable pipelined bus system

  • May 01, 1998
  • Future Generation Computer Systems
  • Yi Pan +2
  • Research Article

Electronic circuits: by E. J. Angelo, Jr. 450 pages, diagrams, 6 × 9 in. New York, McGraw-Hill Book Co. Inc., 1958.Price, $9.00.

  • Nov 01, 1958
  • Journal of the Franklin Institute
  • Research Article
  • Citations12

Sorting strings and constructing digital search trees in parallel

  • Feb 01, 1996
  • Theoretical Computer Science
  • Joseph F Jájá +2
  • Research Article

Performance Comparison of Parallel Sorting Algorithms on Homogeneous Cluster of Workstations

  • Jan 03, 2012
  • Advanced Materials Research
  • Lai Lai Win Kyi +1
  • Conference Article
  • Citations2

Efficient Parallel All-Pairs Shortest Paths Algorithm for Complex Graph Analysis

  • Aug 13, 2018
  • Jong Wook Kim +2
  • Research Article
  • Citations17

Efficient parallel and fast convergence chaotic Jaya algorithms

  • May 01, 2020
  • Swarm and Evolutionary Computation
  • H Migallón +3
  • Conference Article
  • Citations2

An Algorithm-Based Fault Tolerance Strategy for the Bitonic Sort Parallel Algorithm

  • Nov 01, 2021
  • Edson T Camargo +1
  • Book Chapter
  • Citations5

Parallel Prediction Algorithms for Heterogeneous Data: A Case Study with Real-Time Big Datasets

  • Dec 12, 2018
  • Y V Lokeswari +2
  • Research Article
  • Citations14

A novel approach for nurse rerostering based on a parallel algorithm

  • Dec 02, 2015
  • European Journal of Operational Research
  • Zdeněk Bäumelt +3
  • Research Article
  • Citations32

Optimal parallel algorithms for computing convex hulls and for sorting

  • Mar 01, 1984
  • Computing
  • S G Akl
  • PDF
  • Research Article
  • Citations8

A GPU-based solution for fast calculation of the betweenness centrality in large weighted networks

  • Dec 04, 2017
  • PeerJ Computer Science
  • Rui Fan +2
  • Conference Article

Efficient parallel processing algorithm for fast calculation of 3D filtering using the VR FHT

  • Aug 01, 2008
  • Mohamed Aziz
  • Research Article

Parallel generalized delaunay mesh refinement

  • Jan 01, 2007
  • W&M Publish (College of William & Mary)
  • Andrey N Chernikov
  • Book Chapter
  • Citations6

Binary trees and parallel scheduling algorithms

  • Jun 10, 1981
  • Eliezer Dekel +1
  • Research Article
  • Citations6

Fast and scalable algorithm for product large data on multicore system

  • Apr 16, 2019
  • Concurrency and Computation: Practice and Experience
  • Hazem M Bahig +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.