Author

Md Rakib Hossain Misu

Observed names: Misu, Md Rakib Hossain, Misu, Rakib Hossain

Institution: University of California, Irvine

Observed institutions: University of California, Irvine, University of Dhaka, University College London

ORCID: 0000-0002-7931-6782

Observed ORCID: 0000-0002-7931-6782

OpenAlex ID: A5007920485

Towards AI-Assisted Synthesis of Verified Dafny Methods

2024 · Md Rakib Hossain Misu, Cristina V. Lopes, et al. · Proceedings of the ACM on software engineering. · 38

PDF

AutoVerus: Automated Proof Generation for Rust Code

2025 · Chenyuan Yang, Xuheng Li, et al. · Proceedings of the ACM on Programming Languages · 20

PDF

Interface Driven Code Clone Detection

2017 · Md Rakib Hossain Misu, Kazi Sakib · Asia-Pacific Software Engineering Conference (APSEC) · 10

An Exploratory Study on Interface Similarities in Code Clones

2017 · Md Rakib Hossain Misu, Abdus Satter, et al. · 7

DafnyBench: A Benchmark for Formal Software Verification

2024 · Loughridge, Chloe, Sun, Qinyi, et al. · arXiv (Cornell University) · 6

PDF

Test smell: A parasitic energy consumer in software testing

2025 · Md Rakib Hossain Misu, Jiawei Li, et al. · Information and Software Technology · 5

Toward Automated Validation of Language Model Synthesized Test Cases Using Semantic Entropy

2026 · Hamed Taherkhani, Jiho Shin, et al. · IEEE Transactions on Software Engineering · 4

PDF

SourcererJBF: A Java Build Framework For Large-Scale Compilation

2023 · Md Rakib Hossain Misu, Rohan Achar, et al. · ACM Transactions on Software Engineering and Methodology · 2

PDF

An exploratory study of analyzing JavaScript online code clones

2022 · Md Rakib Hossain Misu, Abdus Satter · IEEE International Conference on Program Comprehension (ICPC) · 2

PDF

Automated Proof Generation for Rust Code via Self-Evolution

2024 · Chen, Tianyu, Lu, Shuai, et al. · arXiv (Cornell University) · 1

PDF

JavaScript Online Code Clones

2022 · Misu, Rakib Hossain · Zenodo (CERN European Organization for Nuclear Research) · 1

PDF

The Geometry of Logic: Stratification Induces Semantic Structure and Robust Reasoning

2026 · Lopes, Cristina V., Li, Yuangang, et al. · arXiv (Cornell University)

PDF

Spec-Harness: Assessing and Guiding LLM-Synthesized Formal Specifications Beyond Verifiability

2026 · Misu, Md Rakib Hossain, Lopes, Cristina V., et al. · arXiv (Cornell University)

PDF

ADA: a tool for visualizing the architectural overview of open-source repositories

2022 · Md Rakib Hossain Misu, Aleksandar Saša Janjanin, et al. · State Of the Art in Java Program Analysis

Works count: 17

Citation count: 96

H-index: 5

I10-index: 3