Modeling optimistic concurrency using quantitative dependence analysis.

Christoph von Praun, Rajesh Bordawekar, Calin Cascaval

Browse the full PPoPP paper archive.