SATCheck: SAT-directed stateless model checking for SC and TSO
Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 20-36, 2015.
Writing low-level concurrent code is well known to be challenging and error prone. The widespread deployment of multi-core hardware and the shift towards using low-level concurrent data structures has moved the problem into the mainstream. Finding bugs in such code may require finding a specific bug-revealing thread interleaving out of a ...More
PPT (Upload PPT)