Dolgodvorov Egor Viktorovich

Publications in Math-Net.Ru

1. Checking programs for compliance with MISRA C standard using the clang framework
   
   Proceedings of ISP RAS, 35:5 (2023),  169–192
2. JIT-aware DBMS planner configuration
   
   Proceedings of ISP RAS, 34:4 (2022),  101–116