Research output

  1. FastMatrixCFPQ: an efficient linear-algebra-based approach to CFL-reachability

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

  2. GraphBLAS-like API Design in Functional Style

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

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

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

View all (30) »

Projects

  1. Методы искусственного интеллекта в задачах механики сплошных сред: 2026 год. этап 2.

    Project: Grant fulfilment › Grant stage fulfilment

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

    Project: Grant fulfilment › Grant stage fulfilment

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

    Project: Grant fulfilment › Grant stage fulfilment

View all () »

Activities

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

    Activity: Conference talk types › Oral presentation

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

    Activity: Conference talk types › Oral presentation

View all (2) »

ID: 218973