Tractable Refinement Checking for Concurrent Objects
Published in Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages • Dec 19, 2014
NobleIDNI5P14W32R40S67
Authors:,,
Ahmed Bouajjani
Michael Emmi
Constantin Enea
Abstract
Efficient implementations of concurrent objects such as semaphores, locks, and atomic collections are essential to modern computing. Yet programming such objects is error prone: in minimizing the synchronization overhead between concurrent object invocations, one risks the conformance to reference i...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!