AXE
Turning localized vulnerability reports into reproducible proof-of-concept exploits through planning, source inspection, and sandboxed execution.
I study security risks in AI-generated code and develop methods for vulnerability analysis and exploitability confirmation.
My earlier work examined interpersonal trust and emotions in developer conversations, and the use of psycholinguistic tools in software engineering.
Exploitability confirmation, agent trajectory analysis, and planned exploit-based red teaming.
Papers and detailsTurning localized vulnerability reports into reproducible proof-of-concept exploits through planning, source inspection, and sandboxed execution.
Studying how the information in a vulnerability report affects an agent’s ability to produce a working exploit.
An interactive way to inspect how coding agents reason, use tools, repeat themselves, and arrive at a patch.
CodeQL false positives, query refinements, agent adaptation, and developer feedback.
Papers and detailsRecurring causes of false positives in CodeQL and query refinements evaluated on Java vulnerabilities.
Security awareness in programming assistance and vulnerabilities introduced by AI-generated patches.
Papers and detailsA large-scale study of security risks in LLM and agentic automated program repair on SWE-bench.
When developers ask programming questions, do models notice vulnerable code and volunteer useful security guidance?
Trust, emotions, and psycholinguistic analysis in developer communication.
Papers and detailsAn empirical study of how interpersonal trust appears in GitHub pull request discussions.
A study of emotions in developer chats, with a manually annotated dataset.
A systematic mapping study of psycholinguistic text analysis in software engineering.