About Me
I am a PhD student in Computer Science at Louisiana State University, working as a Graduate Research Assistant under Dr. Umar Farooq. My research sits at the intersection of static program analysis, LLM evaluation, and the applications of agentic AI, with a focus on building benchmarks and experimental pipelines to evaluate and improve developer tools. My work has been published at AST 2026, with manuscripts under review at EMNLP and OOPSLA, advancing the reliability and correctness of AI-powered developer experiences.
Research Interests
- LLM Evaluation & Benchmarking: Designing benchmarks and automated pipelines to evaluate frontier LLMs on software engineering tasks
- Agentic AI: Building LLM-powered agentic systems that integrate with formal verification and static analysis workflows
- Static Program Analysis: Developing static analysis techniques for Android and JVM programs (FlowDroid, Soot, SootUp)
- Formal Verification: Applying formal methods (OpenJML, KeY) to automated specification synthesis and bug detection
Recent Highlights
- March 2026:
- February 2026:
- Recognized with the Excellence in Computer Science Research award from the AIR Program (AGSA, LSU).
- Artifact Evaluation P.C., ACM MobiSys 2026.
- Artifact Evaluation P.C., The Web Conference (WWW) 2026.
- Artifact Evaluation P.C., PETS 2026 (Privacy Enhancing Technologies Symposium).
- January 2026: Paper accepted at AST 2026 — “Understanding and Detecting Platform-Specific Violations in Android Auto Apps”.
Funding & Support
Graduate Research Assistantship Louisiana State University, Department of Computer Science & Engineering Jan 2024 – Present
My research is supported in part by:
- National Science Foundation (NSF) Grant No. 2449694: Toward Personalized and Trustworthy Mobile App Recommendations via Grounding App Behaviors
- Louisiana Board of Regents: A Unified Framework for Static Analysis of Multi-Language Mobile Apps