Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

48 relations
Abstract Window ToolkitAmazon Elastic Compute Cloud (EC2)AndroidApache Harmony
Expand

Broader (1)

Java

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Shenandoah: An open-source concurrent compacting garbage collector for OpenJDK
Shenandoah is an open-source region-based low-pause parallel and concurrent garbage collection (GC) algorithm targeting large… Expand
  • figure 2
  • figure 1
  • figure 3
  • table 1
  • table 2
Highly Cited
2015
Highly Cited
2015
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
We investigate the correctness of TimSort, which is the main sorting algorithm provided by the Java standard library. The goal is… Expand
2015
2015
Open JDK Meets Xeon Phi: A Comprehensive Study of Java HPC on Intel Many-Core Architecture
The increasing demand for performance has stimulated the wide adoption of many-core accelerators like Intel Xeon Phi Coprocessor… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2015
2015
Large Java arrays and their applications
All current implementations of Java Virtual Machines allow the creation of one-dimensional arrays of length smaller than 231… Expand
  • table I
  • table II
  • table III
  • table IV
  • table V
2015
2015
Combining type-analysis with points-to analysis for analyzing Java library source-code
The predominant work in static program analysis is focused on whole program analysis assuming that the whole program is present… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
2015
2015
A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report
Static program analysis has many applications including bug checking for large scale code that requires a points-to analysis. To… Expand
  • figure 1
  • figure 2
  • figure 6
  • figure 7
  • table I
2014
2014
Real-Time control of Humanoid Robots using OpenJDK
At IHMC we create state of the art walking algorithms for humanoid robots in Java. We successfully used our Java algorithms to… Expand
  • figure 1
  • figure 2
  • table 2
  • table 1
  • figure 5
2014
2014
An Efficient Approach for Distributed Regression Testing of Object Oriented Programs
Testing of software is one of the most important phases in the software development life cycle. Testing is performed to ensure… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Highly Cited
2011
Highly Cited
2011
OpenJML: JML for Java 7 by Extending OpenJDK
  • 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… Expand
2008
2008
Extensions of the theory of observational purity and a practical design for JML
To prevent erratic behavior during runtime checking, JML only allows assertions to call pure, i.e., side-effect free, methods… Expand
  • figure 1
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE