Результаты

  1. Brahma.FSharp: Power of Functional Programming to Create Portable GPGPU-Enabled .NET Applications

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

  2. Universal High-Performance CFL-Reachability via Matrix Multiplication

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

Просмотреть все (28) »

Проекты

  1. Логические и алгебраические методы в теории формальных языков: 2022 г. этап 5

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

  2. Логические и алгебраические методы в теории формальных языков: 2021 г. этап 4

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

  3. Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2020 г. этап 3

    Проект: исполнение гранта/договора › исполнение этапа гранта/договора

Просмотреть все () »

Деятельность

  1. Brahma.FSharp: Power of Functional Programming to Create Portable GPGPU-Enabled .NET Applications

    Деятельность: Выступление на научной конференции › выступление с устным докладом

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

    Деятельность: Выступление на научной конференции › выступление с устным докладом

Просмотреть все (2) »

ID: 218973