2024

• Vera Vasilieva, Alexey Borodin, Alexander Volkov. Detection of Dead Function Calls as Source Code Defects through Static Analysis
• Antonina Nepeivoda, Aleksandr Delman, Anna Terentyeva. Bisimulations in Memory Finite Automata
• Maria Lapina, Nikita Fisenko, Egor Shiriaev, S Neelakandan. Methods for Designing Privacy-Preserving Neural Networks