Jan Fiedor: Praktické metody automatizované verifikace paralelních programů

Prezentace se bude zabývat monitorováním paralelních C/C++ programů využívajících transakční paměť a dynamickou validací kontraktů v paralelním kódu. Budou zmíněny postupy, jak monitorovat programy využívajících transakční paměť, a shrnuty jejich dopady na chování monitorovaného programu. Dále budou představeny metody pro dynamickou validaci kontraktů v paralelním kódu, jenž lze použít pro detekci chyb způsobujících porušení atomičnosti programu.