Search for dissertations about: "Carl Leonardsson"

Found 1 swedish dissertation containing the words Carl Leonardsson.

2. 1. Verification of Software under Relaxed Memory

   Author : Carl Leonardsson; Bengt Jonsson; Parosh Aziz Abdulla; Mohamed Faouzi Atig; Viktor Vafeiadis; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; verification; relaxed memory models; Datavetenskap; Computer Science;

   Abstract : The work covered in this thesis concerns automatic analysis of correctness of parallel programs running under relaxed memory models.When a parallel program is compiled and executed on a modern architecture, various optimizations may cause it to behave in unexpected ways. READ MORE