Pattern-based Synthesis of Synchronization for the C++ Memory Model - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuri Meshman, Noam Rinetzky, Eran Yahav. Pattern-based Synthesis of Synchronization for the C++ Memory Model. In Roope Kaivola, Thomas Wahl, editors, Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015. pages 120-127, IEEE, 2015.

This author has not been identified. Look up 'Yuri Meshman' in GoogleThis author has not been identified. Look up 'Noam Rinetzky' in GoogleThis author has not been identified. Look up 'Eran Yahav' in Google

runs on WebDSL