This project's goal is making the Linux kernel more error-proof through the detection of data races with the help of static verification tools. However, even the best verification tools can give false alarms and because of that this project would require extensive analysis of the verification results and communication with maintainers. Its desired result is finding the existing data races in Linux kernel and making steps towards their correction by maintainers.

Organization

Student

Anton Volkov

Mentors

  • Pavel Andrianov
  • Alexey Khoroshilov
close

2017