Md Rakib Hossain
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. 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 and enhancing developers’ productivity.
Research Interests
- Software Engineering: AI4SE, Software Analytics, Software Analysis
- Programming Language: Program Verification, Program Synthesis & Program Analysis
News
- [Oct. 24] Our paper on DafnyBench is accepted to MATH-AI Workshop at NeurIPS’24.
- [Sep. 24] Completed Research Internship @ MSR Systems Research Group.
- [Jul. 24] Our paper on Dafny Synthesis has been presented to @FSE-2024.
- [Jun. 24] Joined Microsoft Research (MSR) as a Research Intern.
- [May. 24] Advanced to PhD Candidacy.
Publications
-
MATH-AI-2024
The 4th Workshop on Mathematical Reasoning and AI (MATH-AI) at NeurIPS-24. -
FSE-2024
The 32nd ACM International Conference on the Foundations of Software Engineering (FSE) -
TOSEM-2023
ACM Transactions on Software Engineering and Methodology (TOSEM). -
ICPC-2022
The 30th International Conference on Program Comprehension (ICPC). -
SOAP-2022
The 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP).