Submitted version of the PhD thesis

For internal reader

Long preliminaries (20 pages, including techniques, realistic program…

… features, parallelism, C, LLVM)