1 - 7 out of 7Page size: 10
  1. 2025

  2. PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine

    Григорьев, С. В., Чистякова, А. А., Шеметова, Е. Н., Нигматулин, М. В., Парфенов, Д. И. & Ахмедов, Д. Х., 29 Apr 2025, 2025 IEEE/ACM 1st International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering (STATIC). Institute of Electrical and Electronics Engineers Inc., p. 13-16 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. LAMeD: LLM-generated Annotations for Memory Leak Detection

    Шеметова, Е. Н., Шенбин, И., Смирнов, И. З., Алексеев, А. М., Рухович, А., Николенко, С. И., Ломшаков, В. & Пионтковская, И., 2025, (E-pub ahead of print) LAMeD: LLM-generated Annotations for Memory Leak Detection. 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  4. 2024

  5. Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees

    Шеметова, Е. Н., Охотин, А. С. & Григорьев, С. В., 1 Jun 2024, In: Theory of Computing Systems. 68, 3, p. 487-511 25 p.

    Research output: Contribution to journal › Article › peer-review

  6. 2022

  7. Rational Index of Languages with Bounded Dimension of Parse Trees

    Shemetova, E., Okhotin, A. & Grigorev, S., May 2022, Developments in Language Theory - 26th International Conference, DLT 2022, Proceedings. Diekert, V. & Volkov, M. (eds.). Springer Nature, p. 263-273 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13257 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  8. 2021

  9. One Algorithm to Evaluate Them All: Unified Linear Algebra Based Approach to Evaluate Both Regular and Context-Free Path Queries

    Shemetova, E., Azimov, R., Orachev, E., Epelbaum, I. & Grigorev, S., 26 Mar 2021.

    Research output: Working paper › Preprint

  10. 2020

  11. Rational index of bounded-oscillation languages

    Shemetova, E., Okhotin, A. & Grigorev, S., 7 Dec 2020.

    Research output: Working paper › Preprint

  12. 2019

  13. Интерактивный поиск неточных повторов в документации программного обеспечения

    Луцив, Д. В., Кознов, Д. В., Шелиховский, А. А., Романовский, К. Ю., Чернышев, Г. А., Григорьев, Д. А., Терехов, А. Н., Смирнова, А. Н., Боровков, Д. В., Васенина, А. И. & Шеметова, Е. Н., Nov 2019, In: ПРОГРАММИРОВАНИЕ. 6, p. 55-66

    Research output: Contribution to journal › Article › peer-review

ID: 39437091