Shugaley Nikita Yurievich

Publications in Math-Net.Ru

1. Developing a clang-based safe compiler
   
   Proceedings of ISP RAS, 36:4 (2024),  27–40
2. Detecting potentially clobbered variables due to the use of nonlocal jumps functions
   
   Proceedings of ISP RAS, 35:6 (2023),  121–134