Md Rakib Hossain Misu

Identifiers

• name variant Md Rakib Hossain Misu 0.60 · backfill

Papers (5)

1. What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus cs.SE · 2025 · author #4
2. AutoVerus: Automated Proof Generation for Rust Code cs.SE · 2024 · author #3
3. DafnyBench: A Benchmark for Formal Software Verification cs.SE · 2024 · author #8
4. Towards AI-Assisted Synthesis of Verified Dafny Methods cs.SE · 2024 · author #1
5. Test Smell: A Parasitic Energy Consumer in Software Testing cs.SE · 2023 · author #1

Mentions

• 2409.13082 #3 · arxiv_oai · confidence 0.70 Md Rakib Hossain Misu
• 2508.02733 #4 · arxiv_oai · confidence 0.70 Md Rakib Hossain Misu
• 2310.14548 #1 · arxiv_oai · confidence 0.70 Md Rakib Hossain Misu
• 2406.08467 #8 · arxiv_oai · confidence 0.70 Md Rakib Hossain Misu
• 2402.00247 #1 · arxiv_oai · confidence 0.70 Md Rakib Hossain Misu

Frequent Coauthors

• Shan Lu 2 shared papers
• Adithya Bhattiprolu 1 shared papers
• Anish Mudide 1 shared papers
• Chenyuan Yang 1 shared papers
• Chloe Loughridge 1 shared papers
• Chris Hawblitzel 1 shared papers
• Chuyue Sun 1 shared papers
• Cristina V. Lopes 1 shared papers
• Eduardo Almeida 1 shared papers
• Fan Yang 1 shared papers
• Federico Cassano 1 shared papers
• Gabriel Ebner 1 shared papers
• Iftekhar Ahmed 1 shared papers
• Iris Ma 1 shared papers
• Jacob R. Lorch 1 shared papers
• James Noble 1 shared papers
• Jianan Yao 1 shared papers
• Jiawei Li 1 shared papers
• Max Tegmark 1 shared papers
• Nada Amin 1 shared papers