A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://link.springer.com/content/pdf/10.1007%2F978-3-030-51054-1_18.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Filters
Efficient Verified Implementation of Introsort and Pdqsort
[chapter]
<span title="">2020</span>
<i title="Springer International Publishing">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
Preserved Fulltext
We verify introsort and pdqsort in the Isabelle LLVM verification framework, closely following the state-of-the-art implementations from GNU and Boost. ...
The Boost C++ Libraries implement pdqsort, an extension of introsort that achieves linear runtime on inputs with certain patterns. ...
We received funding from DFG grant LA 3292/1 "Verifizierte Model Checker" and VeTSS grant "Formal Verification of Information Flow Security for Relational Databases". ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-51054-1_18">doi:10.1007/978-3-030-51054-1_18</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ak2rbwdsfzge3ovvgjcynsg66m">fatcat:ak2rbwdsfzge3ovvgjcynsg66m</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200905205637/https://link.springer.com/content/pdf/10.1007%2F978-3-030-51054-1_18.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/75/46/7546d8885e848489dc12ce3e5574af41ef222b15.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-51054-1_18">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Worst-Case Efficient Sorting with QuickMergesort
[article]
<span title="2018-11-02">2018</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/1811.00833v1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
We experimentally confirm the theoretical estimates and show that the new algorithm outperforms Heapsort by far and is only around 10 Introsort (std::sort implementation of stdlibc++), which has a rather ...
Worst-case efficient in-place sorting, however, remains a challenge: the standard solution, Heapsort, suffers from a bad cache behavior and is also not overly fast for in-cache instances. ...
For both Quicksort and Mergesort efficient parallel implementations are known. Thus, an efficient parallel implementation of MoMQuickMergesort is not out of reach. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1811.00833v1">arXiv:1811.00833v1</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bz5wjb46jza4zbjnqavhud5rme">fatcat:bz5wjb46jza4zbjnqavhud5rme</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200911050337/https://arxiv.org/pdf/1811.00833v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/9c/de/9cde27c848c592152cb85b1a52e43afb91386cf3.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1811.00833v1" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>