Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Achintya Desai
conf.researchr.org general profile
ASE 2024 profile
ASE 2026 profile
ICSE 2026 profile
SPLASH/ISSTA 2026 profile
Registered user since Mon 16 Sep 2024
Name:
Achintya Desai
Contributions
2026
KLEE
Author of Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery within the KLEE 2026-track
ISSTA
Author of PAGENT: Program Analysis Guided LLM Agent for Proof-of-Concept Generation within the Research papers-track
FORGE
Author of Assessing, Exploiting, and Mitigating Syntactic Robustness Failures in LLM-Based Code Generation within the Research Papers-track
2024
ASE
Author of STASE: Static Analysis Guided Symbolic Execution for UEFI Vulnerability Signature Generation within the Research Papers-track
Share
x
Thu 5 Nov 18:02