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 …

This paper introduces GC assertions, a system interface that programmers can use to check
for errors, such as data structure invariant violations, and to diagnose performance …

Automatic race detection of C programs requires fast, yet sufficiently precise analysis of
dynamic memory. Therefore, we present a region-based pointer analysis which seeks to …

There is a strong industry trend to transition manual activities, such as driving, medical
monitoring, infrastructure monitoring and management, etc, to real-time automated …

Many researches aim to improve memory management for performance, efficiency, ease of
use, and safety. Region-based memory management, a newly investigated technique for …

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 …

Program-specific bugs are a growing problem with modern software. General bugs—
language-level bugs that would be errors in any program, such as memory leaks and buffer …

ABSTRACT A particularly elusive flaw in shared-memory concurrent systems is the data
race, a situation where multiple threads may simultaneously access the same memory …

This paper introduces GC assertions, a system interface that programmers can use to check
for errors, such as data structure invariant violations, and to diagnose performance …