Pattern-based Synthesis of Synchronization for the C++ Memory Model.

Yuri Meshman, Noam Rinetzky, Eran Yahav

Browse the full FMCAD paper archive.