Moshood A. Fakorede | Louisiana State University

About Me

I am a PhD student in Computer Science at Louisiana State University, advised by Dr. Umar Farooq in the Programming Systems Group. My research sits at the intersection of Software Engineering and AI, where I build neuro-symbolic systems that ground LLM-generated hypotheses in program analysis and formal verification, with the goal of improving the reliability, security, and correctness of software systems in practice.

💼 Open to Summer 2027 internships

Research Interests

Program Analysis & Automated Reasoning: Designing and applying static program analysis and automated reasoning techniques to detect bugs, certify software behavior, and verify program properties in real-world systems. [AutoComply, VeriLens]
AI for Software Engineering & Security: Building benchmarks and AI-driven tools to evaluate and advance LLM capabilities on software engineering and security tasks, including program repair, static analysis generation, and vulnerability discovery. [MobileDev-Bench, LintBench]

News

[Jul. 2026] Serving on the Shadow PC for ICSE 2027.
[Jul. 2026] Serving on the Artifact Evaluation PC for OOPSLA 2026.
[Jun. 2026] LintBench — a benchmark evaluating LLMs on generating Android Lint checks from natural language descriptions — is now in submission.
[Jun. 2026] Serving on the Artifact Evaluation PC for PETS 2026, SOSP 2026, and ASE 2026.
[May. 2026] Serving on the Artifact Evaluation PC for CCS 2026 and ISSTA 2026.
[Apr. 2026] Serving on the Artifact Evaluation PC for CAIS 2026.
[Apr. 2026] Inducted into Sigma Xi, The Scientific Research Honor Society.
[Apr. 2026] Presented our work at AST 2026, co-located with ICSE 2026.
[Mar. 2026] Invited to join The Honor Society of Phi Kappa Phi.
[Mar. 2026] MobileDev-Bench — a benchmark to evaluate LLMs on Mobile Application Development — is now on arXiv.
[Mar. 2026] Understanding Bugs in Quantum Simulators is now on arXiv.
[Feb. 2026] Recognized with the Excellence in Computer Science Research award from the AIR Program at LSU.
[Feb. 2026] Serving on the Artifact Evaluation PC for MobiSys 2026 and WWW 2026.
[Jan. 2026] Paper accepted at AST 2026 — “Understanding and Detecting Platform-Specific Violations in Android Auto Apps”.
[Mar. 2025] Understanding and Detecting Platform-Specific Violations in Android Auto Apps is now on arXiv.

Publications

AST 2026

Understanding and Detecting Platform-Specific Violations in Android Auto Apps

Moshood A. Fakorede, Umar Farooq

IEEE/ACM International Conference on Automation of Software Test (AST), 2026

DOI Code Video BibTex Oral Presentation

arXiv

MobileDev-Bench: A Benchmark for Issue Resolution in Mobile Application Development

Moshood A. Fakorede, Krishna Upadhyay, A.B. Siddique, Umar Farooq

arXiv Code Website Dataset BibTex Under Review

arXiv

How Far Can LLMs Go in Generating Android Lint Checks from Natural Language?

Moshood A. Fakorede, A.B. Siddique, Manu Sridharan, Umar Farooq

PDF Code Under Review

arXiv

Understanding Bugs in Quantum Simulators: An Empirical Study

Krishna Upadhyay, Moshood Fakorede, Umar Farooq

arXiv BibTex Under Review

Teaching

Teaching Assistant, Louisiana State University, Department of Computer Science & Engineering

CSC 3380: Object Oriented Design — Spring 2024, Spring 2025
CSC 4101: Programming Languages — Fall 2024, Fall 2025

Services

Junior PC

2026: ICSE 2027

Artifact Evaluation PC

2026: WWW, MobiSys, CAIS, PETS, CCS, ISSTA, ASE, OOPSLA, SOSP, NDSS, ISSRE

Academic Volunteering

Judge, LSU Discover Day Undergraduate Research & Creativity Conference, Louisiana State University, 2026