Developer and Business Community

Andrey's Blog (6)

An unsuccessful attempt to compare PVS-Studio (VivaMP) and Intel C/C++ ("Parallel Lint")

Andrey Karpov
OOO "Program Verification Systems"

September 2009

Abstract

Brief reference information

Introduction

… Continue

Added by Andrey on October 8, 2009 at 7:16pm — No Comments

Parallel Lint

Abstract

The article describes a new direction in development of static code analyzers - verification of parallel programs. The article reviews several static analyzers which can claim to be called "Parallel Lint".

Introduction

The article is intended for developers of Windows-applications using C/C++ languages but may be also useful for many people interested in the issues of static cod

… Continue

Added by Andrey on June 13, 2009 at 9:30pm — No Comments

VivaMP, system of detecting errors in the code of parallel C++ programs using OpenMP

Alexey Kolosov
Andrey Karpov
Evgeniy Ryzhkov
OOO "Program Verification Systems"

Abstract

… Continue

Added by Andrey on April 19, 2009 at 2:34pm — No Comments

Interview with Dmitriy Vyukov - the author of Relacy Race Detector (RRD)

Andrey Karpov
OOO "Program Verification Systems"

April 2009

Abstract

Introduction

The

… Continue

Added by Andrey on April 7, 2009 at 1:00pm — No Comments

Debugging and optimization of multi-thread OpenMP-programs

Andrey Karpov
Evgeniy Romanovsky

January 2009

In this article we discuss OpenMP technology whose main value is the possibility of improving and optimizing the already created code. OpenMP standard is a set of s

… Continue

Added by Andrey on February 21, 2009 at 7:01pm — No Comments