Our company participated in the conference CEE-SECR 2009 that took place on October, 28-29, and presented the report "Diagnosis of errors in parallel programs at early stages".

CEE-SECR conference held since 2005 is a crucial event in the sphere of software development in Central and East Europe. It gathers annually more than 500 participants - leading representatives of programming industry of the region's countries. Initially, the conference was positioned as a Russian event but in 2007-2008 it attracted reporters from more than 15 countries and audience from even more countries. In 2009 a decision was made to consider the conference an East-European event. The conference's site - http://cee-secr.org/ .

At CEE-SECR 2009 conference there were reports of such people as, for example:

  • Grady Booch - the "father" of object-oriented programming, one of the creators of UML language;
  • Igor Agamirzyan - chief manager of the Russian Venture Company, one of the leading Russian experts in the sphere of post-industrial economy and high tech;
  • Lars Bak - the leading developer of Google Chrome browser.

ООО "Program Verification Systems" company was represented at the conference by Andrey Karpov who spoke about the methodology and tools for detecting errors in parallel programs at the stage of writing the code.

Picture 931724

Using static code analysis methodology allows to significantly reduce costs on fixing defects at the stage of testing and maintenance. By the examples of PC-Lint, VivaMP and Intel C++ "Parallel Lint" analyzers Andrey demonstrated diagnosis of some errors in multi-thread applications. The report was oriented on the programmers creating parallel Windows-applications in C/C++ languages.

Use PVS-Studio to search for bugs in C, C++, C# and Java

We offer you to check your project code with PVS-Studio. Just one bug found in the project will show you the benefits of the static code analysis methodology better than a dozen of the articles.

goto PVS-Studio;

Bugs Found

Checked Projects
Collected Errors
12 743