Herz, AlexanderProgramming Language Design, Analysis and Implementation for Automated and Effective Program Parallelization2015Dissertation168 Seiten
Mihaila, Bogdan AndreiAdaptable Static Analysis of Executables for proving the Absence of Vulnerabilities2015Dissertation191 Seiten