avatar

Md Rakib Hossain

Ph.D. Candidate
University of California, Irvine
mdrh@uci.edu


About Me

This is Rakib, a Ph.D. Candidate at the University of California, Irvine (UCI), working with Professor Cristina Lopes in Mondego Research Group. Prior to UCI, I earned a Master’s in Software Systems Engineering at the University College London (UCL) as a Commonwealth Scholar.

My research sits at the intersection of AI + Formal Verification, building Neuro-Symbolic Systems for verified, reliable software (AI4VerifiedCode). I currently focus on AI driven program verification, synthesis, and analysis, combining the generative strength of AI with the rigor of formal methods.

Research Interests

News

Publications

  1. arxiv-2026
    VeriAct: Beyond Verifiability – Agentic Synthesis of Correct and Complete Formal Specifications
    Md Rakib Hossain Misu, Iris Ma, Cristina V Lopes
    PDF Code

  2. arxiv-2025
    What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
    Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury
    PDF

  3. TSE-2026
    Toward Automated Validation of Language Model Synthesized Test Cases using Semantic Entropy
    Hamed Taherkhani, Jiho Shin, Muhammad Ammar Tahir, Md Rakib Hossain Misu , Vineet Sunil Gattani, Hadi Hemmati
    PDF

  4. OOPSLA-2025
    AutoVerus: Automated Proof Generation for Rust Code
    Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
    International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA).
    PDF Code

  5. ICLR-2025
    Automated Proof Generation for Rust Code via Self-Evolution
    Tianyu_Chen4, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng CHENG, Fan Yang, Shuvendu K Lahiri, Tao Xie, Lidong Zhou
    International Conference on Learning Representations (ICLR).
    PDF Code

  6. TMLR-2025
    DafnyBench: A Benchmark for Formal Software Verification
    Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
    Transactions on Machine Learning Research (TMLR).
    PDF Code

  7. IST-2025
    Test Smell: A Parasitic Energy Consumer in Software Testing
    Md Rakib Hossain Misu , Jiawei Lia , Adithya Bhattiprolua , Yang Liua , Eduardo Almeidab and Iftekhar Ahmeda
    Information and Software Technology (IST).
    PDF Code

  8. FSE-2024
    Towards AI-Assisted Synthesis of Verified Dafny Methods
    Md Rakib Hossain Misu, Cristina V Lopes, Iris Ma, James Noble
    The 32nd ACM International Conference on the Foundations of Software Engineering (FSE).
    PDF Code

  9. TOSEM-2023
    SourcererJBF A Java Build Framework for Large-Scale Compilation
    Md Rakib Hossain Misu, Rohan Achar, Cristina V Lopes
    ACM Transactions on Software Engineering and Methodology (TOSEM).
    PDF Code

  10. ICPC-2022
    An Exploratory Study of Analyzing JavaScript Online Code Clones
    Md Rakib Hossain Misu, Abdus Satter
    The 30th International Conference on Program Comprehension (ICPC).
    PDF Code

  11. SOAP-2022
    ADA A Tool for Visualizing The Architectural Overview of Open-Source Repositories
    Md Rakib Hossain Misu, Aleksandar Saša Janjanin, Zhiqiang Bian, Valentin-Sebastian Burlacu, Naum Anteski
    The 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP).
    PDF Code

Services

Journal Reviewers