Md Rakib Hossain Misu

According to our database, Md Rakib Hossain Misu authored at least 13 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

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

Hamed Taherkhani, Jiho Shin, Muhammad Ammar Tahir, Md Rakib Hossain Misu, Vineet Sunil Gattani, Hadi Hemmati

IEEE Trans. Software Eng., April, 2026

VeriAct: Beyond Verifiability - Agentic Synthesis of Correct and Complete Formal Specifications.

Md Rakib Hossain Misu, Iris Ma, Cristina V. Lopes

CoRR, April, 2026

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, Sarah Fakhoury

CoRR, August, 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

Trans. Mach. Learn. Res., 2025

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, Ziqiao Zhou, Shan Lu

Proc. ACM Program. Lang., 2025

Test smell: A parasitic energy consumer in software testing.

Md Rakib Hossain Misu, Jiawei Li, Adithya Bhattiprolu, Yang Liu, Eduardo Santana de Almeida, Iftekhar Ahmed

Inf. Softw. Technol., 2025

Automated Proof Generation for Rust Code via Self-Evolution.

Tianyu Chen, 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

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

SourcererJBF: A Java Build Framework For Large-Scale Compilation.

Md Rakib Hossain Misu, Rohan Achar, Cristina V. Lopes

ACM Trans. Softw. Eng. Methodol., March, 2024

Towards AI-Assisted Synthesis of Verified Dafny Methods.

Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble

Proc. ACM Softw. Eng., 2024

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

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

An exploratory study of analyzing JavaScript online code clones.

Md Rakib Hossain Misu, Abdus Satter

Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension, 2022

2017

An Exploratory Study on Interface Similarities in Code Clones.

Md Rakib Hossain Misu, Abdus Satter, Kazi Sakib

Proceedings of the 24th Asia-Pacific Software Engineering Conference Workshops, 2017

Interface Driven Code Clone Detection.

Md Rakib Hossain Misu, Kazi Sakib

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017