Anton A. Vasilyev

According to our database, Anton A. Vasilyev authored at least 2 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness.

Anton A. Vasilyev, Vadim S. Mutilin

Program. Comput. Softw., 2020

2018

CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution).

Pavel S. Andrianov, Vadim S. Mutilin, Mikhail U. Mandrykin, Anton A. Vasilyev

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018