News

Java at 30: How a language designed for a failed gadget became a global powerhouse
It was never the sexiest language, but for decades Java has been a mainstay of modern technology, and it's going to be with ...
GitHub3d
Java Client Library for the GitLab REST API
As of GitLab 11.0 support for the GitLab API v3 has been removed from the GitLab server (see https://about.gitlab.com/2018/06/01/api-v3-removal-impending/). Support ...
IEEE5d
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)
In this paper, we present the tool LARVA, for the runtime verification of properties of Java programs, including real-time properties. Properties can be expressed in a number of notations, including ...