Red Hat Research Quarterly

Vladimír Štill
About the author
Vladimír Štill is a PhD candidate at the Faculty of Informatics, Masaryk University in Brno. His research topic is the correctness analysis of parallel programs written in C and C++. His work includes finding new analysis techniques and their implementation in the DIVINE tool.
Articles by this author
Parallelism promises to make programs faster, yet it also opens many new pitfalls and makes testing programs much harder.