Deep learning has become the standard model for object detection and recognition.
Recently, there is progress on using CNN models for geometric vision tasks like depth …

Variant parametric types represent the successful integration of subtype and parametric
polymorphism to support a more flexible subtyping for Java like languages. A key feature …

Region-based memory management has been proposed as a viable alternative to garbage
collection for real-time applications and embedded software. In our previous work we have …

In the last decade, multiple Real-Time Specification for Java (RTSJ) compliant Java Virtual
Machines have been developed and used in safety critical applications. Region-based …

A common practice for rapid prototyping of an object-oriented program analysis is to define a
lightweight fragment of Java, that is sufficiently small to facilitate a rigorous analysis of key …

Region-based memory management has been shown to be an effective alternative that can
co-exist with garbage collectors in memory managed languages especially for Real-Time …

Improving software quality is one of the most challenging problems facing software industry
today. Software engineering methods, development tools, and programming languages all …