Velesevich Evgeny Aleksandrovich

Publications in Math-Net.Ru

1. Source code annotation for static analysis
   
   Proceedings of ISP RAS, 37:6(1) (2025),  135–148
2. Evaluating a number of cache coherency misses based on a statistical model
   
   Proceedings of ISP RAS, 27:4 (2015),  39–48
3. Analyzing C/C++ code entities and relations for program understanding
   
   Proceedings of ISP RAS, 27:2 (2015),  53–64