In contrast, a data structure is a concrete implementation of one or more ADTs, similar to how Java classes implement interfaces. Examples of ADTs include Employee, Vehicle, Array, and List.

Key to the proposal is evaluating and incubating a thread sanitizer, which could provide a dynamic data-race detector for Java and JNI code. The Atlantis Project participants note there is an ...