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

Stijn de Gouw; Jurriaan Rot; Frank S. de Boer; Richard Bubel; Reiner Hähnle

doi:10.1007/978-3-319-21690-4_16

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

Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle

Research Line Resilience (part of LIRS program)

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Original language	English
Title of host publication	Computer Aided Verification
Subtitle of host publication	27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Editors	Daniel Kroening , Corina S. Păsăreanu
Publisher	Springer
Pages	273-289
Number of pages	17
ISBN (Electronic)	978-3-319-21690-4
ISBN (Print)	978-3-319-21689-8
DOIs	https://doi.org/10.1007/978-3-319-21690-4_16
Publication status	Published - 2015
Event	27th International Conference on Computer Aided Verification - San Francisco, United States Duration: 18 Jul 2015 → 24 Jul 2015 http://i-cav.org/2015/

Conference

Conference	27th International Conference on Computer Aided Verification
Abbreviated title	CAV 2015
Country/Territory	United States
City	San Francisco
Period	18/07/15 → 24/07/15
Internet address	http://i-cav.org/2015/

Access to Document

10.1007/978-3-319-21690-4_16

Cite this

Gouw, S. D., Rot, J., Boer, F. S. D., Bubel, R., & Hähnle, R. (2015). OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. In D. K., & C. S. Păsăreanu (Eds.), Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (pp. 273-289). Springer. https://doi.org/10.1007/978-3-319-21690-4_16

@inproceedings{63f9bada1b3c40d1ba5dc3ca2687a9c7,

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

author = "Gouw, {Stijn de} and Jurriaan Rot and Boer, {Frank S. de} and Richard Bubel and Reiner H{\"a}hnle",

year = "2015",

doi = "10.1007/978-3-319-21690-4_16",

language = "English",

isbn = "978-3-319-21689-8",

pages = "273--289",

editor = "{Daniel Kroening} and P{\u a}s{\u a}reanu, {Corina S.}",

booktitle = "Computer Aided Verification",

publisher = "Springer",

address = "United States",

note = "27th International Conference on Computer Aided Verification, CAV 2015 ; Conference date: 18-07-2015 Through 24-07-2015",

url = "http://i-cav.org/2015/",

}

Gouw, SD, Rot, J, Boer, FSD, Bubel, R & Hähnle, R 2015, OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. in DK & CS Păsăreanu (eds), Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. Springer, pp. 273-289, 27th International Conference on Computer Aided Verification, San Francisco, California, United States, 18/07/15. https://doi.org/10.1007/978-3-319-21690-4_16

OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. / Gouw, Stijn de; Rot, Jurriaan; Boer, Frank S. de et al.
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. ed. / Daniel Kroening; Corina S. Păsăreanu. Springer, 2015. p. 273-289.

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - OpenJDK's Java.utils.Collection.sort() Is Broken

T2 - 27th International Conference on Computer Aided Verification

AU - Gouw, Stijn de

AU - Rot, Jurriaan

AU - Boer, Frank S. de

AU - Bubel, Richard

AU - Hähnle, Reiner

PY - 2015

Y1 - 2015

UR - https://link.springer.com/book/10.1007/978-3-319-21690-4

U2 - 10.1007/978-3-319-21690-4_16

DO - 10.1007/978-3-319-21690-4_16

M3 - Conference Article in proceeding

SN - 978-3-319-21689-8

SP - 273

EP - 289

BT - Computer Aided Verification

A2 - , Daniel Kroening

A2 - Păsăreanu, Corina S.

PB - Springer

Y2 - 18 July 2015 through 24 July 2015

ER -

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

Conference

Access to Document

Other files and links

Fingerprint

Cite this