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://2009.secrus.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.
OOO "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.
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.