To get a trial key
fill out the form below
Team license
Enterprise license
** By clicking this button you agree to our Privacy Policy statement

Request our prices
New License
License Renewal
--Select currency--
USD
EUR
RUB
* By clicking this button you agree to our Privacy Policy statement

Free PVS-Studio license for Microsoft MVP specialists
** By clicking this button you agree to our Privacy Policy statement

To get the licence for your open-source project, please fill out this form
** By clicking this button you agree to our Privacy Policy statement

I am interested to try it on the platforms:
** By clicking this button you agree to our Privacy Policy statement

Message submitted.

Your message has been sent. We will email you at


If you haven't received our response, please do the following:
check your Spam/Junk folder and click the "Not Spam" button for our message.
This way, you won't miss messages from our team in the future.

>
>
CEE-SECR 2009

CEE-SECR 2009

Oct 28 2009
Author:

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.

n0046_news/image1.png

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.

Latest articles:

Poll:

Comments (0)

Next comments
Unicorn with delicious cookie
Our website uses cookies to enhance your browsing experience.
Accept