PhD Student
ACM International Conference on AI-Powered Software (AIware) Can LLMs Really Reason about Code? Studying How Well LLMs Understand the Relation between Input, Code, and Output
Automated Software Engineering Conference (ASE) BASHIRI: Learning Failure Oracles from Execution Features
ACM Transactions on Software Engineering and Methodology Learning Program Behavioral Models from Synthesized Input-Output Pairs
International Conference on Software Engineering - Companion (ICSE-Companion)