OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

The work

TitleOpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
AuthorsStijn de Gouw; Jurriaan Rot; Frank S. de Boer; Richard Bubel; Reiner Hähnle
Typeconference paper
Year2015
Citekeygouw2015openjdks

Where it appeared

Published inComputer Aided Verification
PublisherSpringer
Pages273--289

Identifiers

DOI10.1007/978-3-319-21690-4_16
OpenAlexW1002779697

Access

Landing pagehttps://doi.org/10.1007/978-3-319-21690-4_16

Copy held

KindPDF, 368.1 kB
Retrieved2026-08-05
Heldlocal, for personal reference
Where it came fromhttps://doi.org/10.1007/978-3-319-21690-4_16

Where this came from

How it got herethe agent went looking · found via openalex
First seen2026-08-04
Standingendorsed
Approved2026-08-07
In: Computer Aided Verification (CAV) venue Lecture Notes in Computer Science series

Cite it as

@inproceedings{gouw2015openjdks,
  title = {OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case},
  author = {Stijn de Gouw and Jurriaan Rot and Frank S. de Boer and Richard Bubel and Reiner Hähnle},
  year = {2015},
  booktitle = {Computer Aided Verification},
  pages = {273--289},
  publisher = {Springer},
  doi = {10.1007/978-3-319-21690-4_16},
  url = {https://doi.org/10.1007/978-3-319-21690-4_16},
}

This record lives at https://refs.drheap.org/gouw2015openjdks/ and will keep doing so.