Browse by Tags

All Tags » Performance » Parallel Programming » Concurrency Bugs (RSS)
New Research from the University of Michigan duo Jie Yu and Satish Narayanasamy looks into encoding a set of tested correct interleavings in a program’s binary executable using Predecessor Set (PSet) constraints. These constraints are efficiently...