Memory-Model-Aware Analysis of Parallel Programs PhD Thesis Proposal, September 2017 author: Vladimír Štill supervisor: prof. RNDr. Jiří Barnat, Ph.D. thesis archive thesis PDF