Interface Driven Code Clone Detection. - Md Rakib Hossain Misu; Kazi Sakib (APSEC, 2017)

An Exploratory Study on Interface Similarities in Code Clones. - Md Rakib Hossain Misu; Abdus Satter; Kazi Sakib (APSEC Workshops, 2017)

An exploratory study of analyzing JavaScript online code clones. - Md Rakib Hossain Misu; Abdus Satter (ICPC, 2022)

ADA: a tool for visualizing the architectural overview of open-source repositories. - Md Rakib Hossain Misu; Aleksandar Sasa Janjanin; Zhiqiang Bian; Valentin-Sebastian Burlacu; Naum Anteski (SOAP@PLDI, 2022)

AutoVerus: Automated Proof Generation for Rust Code. - Chenyuan Yang; Xuheng Li; Md Rakib Hossain Misu; Jianan Yao; Weidong Cui; Yeyun Gong; Chris Hawblitzel; Shuvendu K. Lahiri; Jacob R. Lorch; Shuai Lu; Fan Yang 024; Ziqiao Zhou; et al. (CoRR, 2024)

Towards AI-Assisted Synthesis of Verified Dafny Methods. - Md Rakib Hossain Misu; Cristina V. Lopes; Iris Ma; James Noble 001 (Proc. ACM Softw. Eng., 2024)

SourcererJBF: A Java Build Framework For Large-Scale Compilation. - Md Rakib Hossain Misu; Rohan Achar; Cristina V. Lopes (ACM Trans. Softw. Eng. Methodol., 2024)

Automated Proof Generation for Rust Code via Self-Evolution. - Tianyu Chen; Shuai Lu; Shan Lu 001; Yeyun Gong; Chenyuan Yang; Xuheng Li; Md Rakib Hossain Misu; Hao Yu; Nan Duan; Peng Cheng 005; Fan Yang 024; Shuvendu K. Lahiri; et al. (ICLR, 2025)

Test smell: A parasitic energy consumer in software testing. - Md Rakib Hossain Misu; Jiawei Li 013; Adithya Bhattiprolu; Yang Liu; Eduardo Santana de Almeida; Iftekhar Ahmed 001 (Inf. Softw. Technol., 2025)

DafnyBench: A Benchmark for Formal Software Verification. - Chloe Loughridge; Qinyi Sun; Seth Ahrenbach; Federico Cassano; Chuyue Sun; Ying Sheng 007; Anish Mudide; Md Rakib Hossain Misu; Nada Amin; Max Tegmark (Trans. Mach. Learn. Res., 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 001; Sarah Fakhoury (CoRR, 2025)