OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Abstract elided by the publisher.
Related papers
- Verifying OpenJDK's LinkedList using KeY TACAS 2020
- Schism: fragmentation-tolerant real-time garbage collection PLDI 2010
- Giga-scale exhaustive points-to analysis for Java in under a minute OOPSLA 2015
- Non-polynomial Worst-Case Analysis of Recursive Programs TOPLAS 2019
- Non-polynomial Worst-Case Analysis of Recursive Programs CAV 2017
- Efficient local type inference OOPSLA 2008
- Understanding and improving JVM GC work stealing at the data center scale ISMM 2016
- Smalltalk in the Business World: The Good, the Bad, and the Future (Panel) OOPSLA 1994