Pavel S. Andrianov

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 5

Top Topics

Dependency Analysis

Operating System

False Positives

Finer Granularity

Top Venues

Program. Comput. Softw.

Publications

Pavel S. Andrianov, Vadim S. Mutilin, Alexey V. Khoroshilov
cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution). TACAS (2) (2021)
Pavel S. Andrianov
Analysis of Correct Synchronization of Operating System Components. Program. Comput. Softw. 46 (8) (2020)
Pavel S. Andrianov, Vadim S. Mutilin
Scalable Thread-Modular Approach for Data Race Detection. FISEE (2019)
Pavel S. Andrianov, Vadim S. Mutilin, Mikhail U. Mandrykin, Anton A. Vasilyev
CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution). TACAS (2) (2018)
Pavel S. Andrianov, Karlheinz Friedberger, Mikhail U. Mandrykin, Vadim S. Mutilin, Anton Volkov
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). TACAS (2) (2017)