Red Hat Research Quarterly
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.