-
Proving Correctness of Highly-Concurrent Linearisable Objects
We study a family of implementations for linked lists using fine-grain synchronisation. This approach enables greater concurrency, but correctness is a greater... -
Compiling Pattern Matching in Join-Patterns
We propose an extension of the join-calculus with pattern matching on algebraic data types. Our initial motivation is twofold: to provide an intuitive semantics of the... -
Fastlane: Streamlining transactions for low thread counts
International audience -
On improving the ease of use of the software transactional memory abstraction
Multicore architectures are changing the way we write programs. Writing concurrent programs is well known to be difficult task. Traditionally, the use of locks... -
Type-based complexity analysis for fork processes
International audience -
Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive ...
Context-aware pervasive computing has attracted a significant research interest from both academy and industry worldwide. It covers a broad range of applications that...
