Add to ORKGA challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data races. Towards this goal, we present a concurrent language employing safe region-based memory management and hierarchical locking of regions. Both regions and locks are treated uniformly, and the language supports ownership transfer, early deallocation of regions and early release of locks in a safe manner.
Many concurrency models have been developed for high-level programming lan-guages such as Java. A tr...
The multi-core revolution has pushed programmers and algorithm designers to build algorithms that le...
The only reason to parallelize a program is to gain performance. However, the synchronization primit...
We present the design of a formal low-level multithreaded language with advanced region-based memory...
A current challenge for programming language research is to design and implement multithreaded low-l...
We present the design of a formal low-level multi-threaded lan-guage with advanced region-based memo...
We propose a type system to guarantee safe resource deal-location for shared-memory concurrent progr...
Concurrent object-oriented programming languages coordinate conflicting memory accesses through lock...
A desirable concurrency semantics to provide for programs is region serializability. This strong sem...
A description is given of language constructs for specifying concurrency in CDL*. The main goals in ...
Since the early 2000s, in order to keep up with the performance predictions of Moore's law, hardware...
We extend Cyclone, a type-safe polymorphic language at the C level of abstraction, with threads and ...
Before moving beyond locks, we’ll first describe how to use locks in some common data structures. Ad...
Region-based memory management is an alternative to standard tracing garbage collection that makes o...
\ua9 2017 by John Wiley & Sons, Inc. All rights reserved. Concurrent data structures are the data sh...
Many concurrency models have been developed for high-level programming lan-guages such as Java. A tr...
The multi-core revolution has pushed programmers and algorithm designers to build algorithms that le...
The only reason to parallelize a program is to gain performance. However, the synchronization primit...
We present the design of a formal low-level multithreaded language with advanced region-based memory...
A current challenge for programming language research is to design and implement multithreaded low-l...
We present the design of a formal low-level multi-threaded lan-guage with advanced region-based memo...
We propose a type system to guarantee safe resource deal-location for shared-memory concurrent progr...
Concurrent object-oriented programming languages coordinate conflicting memory accesses through lock...
A desirable concurrency semantics to provide for programs is region serializability. This strong sem...
A description is given of language constructs for specifying concurrency in CDL*. The main goals in ...
Since the early 2000s, in order to keep up with the performance predictions of Moore's law, hardware...
We extend Cyclone, a type-safe polymorphic language at the C level of abstraction, with threads and ...
Before moving beyond locks, we’ll first describe how to use locks in some common data structures. Ad...
Region-based memory management is an alternative to standard tracing garbage collection that makes o...
\ua9 2017 by John Wiley & Sons, Inc. All rights reserved. Concurrent data structures are the data sh...
Many concurrency models have been developed for high-level programming lan-guages such as Java. A tr...
The multi-core revolution has pushed programmers and algorithm designers to build algorithms that le...
The only reason to parallelize a program is to gain performance. However, the synchronization primit...