SECR 2009 is over. To learn about current SECR please visit www.secrus.org.
Important dates
October 26, 27, 30: CMMI training in Russian

October 27: Banking Day and other Collocated Events

October 28-29: main conference and SQA Days
Our sponsors

Adobe

Premium sponsor


Intel

Premium sponsor


Microsoft

Premium sponsor


Exigen Services

Gold sponsor


IBM

Gold sponsor


EMC

Silver sponsor


iCarnegie

Sponsor

Early errors detection in parallel program

Andrey Karpov, Evgeniy Ryzhkov

Abstract

Program Verification Systems

Multicore microprocessors entry to the market of personal computers opens a new period in software development. In the near future, developers of applications are to master and use in their projects the technology of parallel programming. The main difficulty in parallel software creation is detection of floating errors. The first defense line from such errors is considered in the article, which is based on source code static analysis. The use of static analysis tools allows to detect a large number of errors at the earliest stages of software creation, and this reduces significantly the costs at the stage of testing and maintenance.

Andrey Karpov

Andrey Karpov

Bio

Andrey Karpov, Ph.D., Program Verification Systems CTO. Andrey possesses practical experience in development of resource-intensive parallel applications in the sphere of computational modeling of gas-dynamic processes and visualization of large data sizes. At present, he is involved in creation of specialized static code analyzer PVS-Studio, which is intended for creation of effective resource-intensive applications. Andrey is the author of a big number of articles considering the issue of writing safety 64-bit code and parallel code in C++.

Evgeniy Ryzhkov

Evgeniy Ryzhkov

Bio

Evgeniy Ryzhkov, Program Verification Systems CEO. Evgeniy has vast experience in development of 64-bit solutions; he has taken pains in detection and description in articles of errors patterns connected with resource-intensive programs development. Evgeniy is at the head of development and promotion of PVS-Studio, a tool for developers, and is in charge of business issues.

« Previous Regular talk All Regular talks Next Regular talk »

Keynotes Invited talks Workshops Types of presentations

All talks sorted by author name All talks sorted by company name

IEEEIEEE Computer SocietyTCSEIEEE Moscow Center
TEKAMA HSE RUSSOFT AP KIT
SQALAB Infopark A-SYS Ukrainian Hi-Tech Initiative
INTSPEI IT Ukraine
Adobe Intel Microsoft
Exigen Services
EMC
iCarnegie