Md Rakib Hossain | University of California, Irvine

About Me

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

My primary research area is Software Engineering, focused on AI for Reliable & Verifiable Software Engineering. Currently working on the applications of Large Language Models (LLMs) in Program Verification, Program Synthesis, and Program Analysis. I am motivated by developing approaches and tools for improving software correctness.

Research Interests

Software Engineering: AI4Code, AI4Proof, AI4SE
Programming Language: Program Verification, Program Synthesis & Program Analysis

News

[Feb. 2025] Joined Google as a Student Researcher Intern.
[Jan. 2025] Our paper on Automated Proof Generation for Rust is accepted to ICLR 2025.
[Jan. 2025] Our paper on Test Smell is accepted to Information and Software Technology (IST).
[Jan. 2025] DafnyBench is accepted to Transactions on Machine Learning Research (TMLR).
[Oct. 2024] Our paper on DafnyBench is accepted to MATH-AI Workshop at NeurIPS’24.
[Sep. 2024] Completed Research Internship @MSR Systems Research Group.
[Jul. 2024] Our paper on Dafny Synthesis has been presented to @FSE-2024.
[Jun. 2024] Joined Microsoft Research as a Research Intern.
[May. 2024] Advanced to PhD Candidacy.

Publications

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

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

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

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

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

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

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