Moshood A. Fakorede | Louisiana State University

About Me

I am a PhD student in Computer Science at Louisiana State University, where I work as a Graduate Research Assistant advised by Dr. Umar Farooq in the Programming Systems Group. My research is driven by a core goal: improving the reliability, safety, and correctness of software systems in practice.

I work at the intersection of AI and software engineering, building neuro-symbolic systems to design and evaluate tools that make software development more reliable and verifiable. My work spans benchmarking LLMs on software engineering tasks (static analysis, specification synthesis, code generation), detecting platform-specific violations in Android applications, and ecosystem-scale studies of language safety in Java and Kotlin.

Research Interests

AI for Software Engineering (AI4SE): Building benchmarks and AI-driven tools to evaluate LLM capabilities on software engineering tasks (static analysis generation, fault localization, and program repair). [MobileDev-Bench, LintBench]
Software Reliability, Analysis & Verification: Studying failure mechanisms and language safety in real-world JVM systems through ecosystem-scale empirical analysis, and applying static analysis and LLM-assisted formal verification to advance program correctness and specification synthesis in Java and Kotlin. [AutoComply]

News

[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 and SOSP 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

PDF arXiv DOI Code Video BibTex Oral Presentation

arXiv

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

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

Code In Submission

arXiv

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

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

PDF Code Website Dataset BibTex Under Review

arXiv

Understanding Bugs in Quantum Simulators: An Empirical Study

Krishna Upadhyay, Moshood Fakorede, Umar Farooq

PDF 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

Artifact Evaluation PC

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

Academic Volunteering

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