Research output

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

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

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

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

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

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

View all (7) »