Skip to search formSkip to main contentSkip to account menu

OpenJDK

Known as: Open JDK, Open Java Development Kit 
OpenJDK (Open Java Development Kit) is a free and open source implementation of the Java Platform, Standard Edition (Java SE). It is the result of an… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Cloud Service Providers deliver their products in form of ”as-a-Service”, which are typically categorized by the level of… 
2016
2016
Shenandoah is an open-source region-based low-pause parallel and concurrent garbage collection (GC) algorithm targeting large… 
Highly Cited
2015
Highly Cited
2015
We investigate the correctness of TimSort, which is the main sorting algorithm provided by the Java standard library. The goal is… 
2015
2015
The increasing demand for performance has stimulated the wide adoption of many-core accelerators like Intel Xeon Phi Coprocessor… 
2015
2015
All current implementations of Java Virtual Machines allow the creation of one-dimensional arrays of length smaller than 231… 
2015
2015
The predominant work in static program analysis is focused on whole program analysis assuming that the whole program is present… 
2014
2014
At IHMC we create state of the art walking algorithms for humanoid robots in Java. We successfully used our Java algorithms to… 
Review
2014
Review
2014
  • D. Cok
  • F-IDE
  • 2014
  • Corpus ID: 17505427
OpenJML is a tool for checking code and specifications of Java programs. We describe our experience building the tool on the… 
Highly Cited
2011
Highly Cited
2011
  • D. Cok
  • NASA Formal Methods
  • 2011
  • Corpus ID: 46602870
The Java Modeling Language is a widely used specification language for Java. However, the tool support has not kept pace with… 
2008
2008
To prevent erratic behavior during runtime checking, JML only allows assertions to call pure, i.e., side-effect free, methods…