Herz, Alexander
Programming Language Design, Analysis and Implementation for Automated and Effective Program Parallelization
2015
Dissertation
168 p.

Mihaila, Bogdan Andrei
Adaptable Static Analysis of Executables for proving the Absence of Vulnerabilities
2015
Dissertation
191 p.