Scholar
Md Rakib Hossain Misu
Google Scholar ID: EkMW2McAAAAJ
Phd Student at University of California Irvine (UCI)
Citations & Impact
Citations
146
H-index
6
i10-index
5
Publications
12
Co-authors
11
list available
Publications
Resume (English only)
Academic Achievements
- Oct. 2025: AutoVerus received Distinguished Artifact Award at OOPSLA 2025
- Aug. 2025: Paper on Automated Verus Proof Synthesis accepted to OOPSLA 2025
- Jan. 2025: Paper on Automated Proof Generation for Rust accepted to ICLR 2025
- Jan. 2025: Paper on Test Smell accepted to Information and Software Technology (IST)
- Jan. 2025: DafnyBench accepted to Transactions on Machine Learning Research (TMLR)
- Oct. 2024: DafnyBench paper accepted to MATH-AI Workshop at NeurIPS’24
- Jul. 2024: Paper on Dafny Synthesis presented at FSE-2024
- May 2024: Advanced to Ph.D. Candidacy
- Published multiple papers in top venues including OOPSLA, ICLR, TMLR, IST, FSE, TOSEM, ICPC
