Polyakov Sergey Andreyevich

Publications in Math-Net.Ru

1. Kotlin from the perspective of a static analyzer developer
   
   Proceedings of ISP RAS, 33:6 (2021),  67–82
2. Deadlock detection using static analysis
   
   Proceedings of ISP RAS, 32:5 (2020),  21–34
3. Supporting Java programming in the Svace static analyzer
   
   Proceedings of ISP RAS, 29:3 (2017),  57–74