Conference paper
Conference paper
Flint: Fixing linearizability violations
Abstract
Writing concurrent software while achieving both correctness and efficiency is a grand challenge. To facilitate this task, concurrent data structures have been introduced into the standard library of popular languages like Java and C#. Unfortunately, while the operations exposed by concurrent data structures are atomic (or linearizable), compositions of these operations are not necessarily atomic. Recent studies have found many erroneous implementations of composed concurrent operations. Copyright 2014 ACM.
Related
Conference paper
Automatically solving NP-complete problems on a quantum computer
Conference paper
Foraging goes mobile: Foraging while debugging on mobile devices
Conference paper