Md Rakib Hossain Misu

Orcid: 0000-0002-7931-6782

According to our database1, Md Rakib Hossain Misu authored at least 11 papers between 2017 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus.
CoRR, August, 2025

DafnyBench: A Benchmark for Formal Software Verification.
Trans. Mach. Learn. Res., 2025

Test smell: A parasitic energy consumer in software testing.
Inf. Softw. Technol., 2025

Automated Proof Generation for Rust Code via Self-Evolution.
Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024
SourcererJBF: A Java Build Framework For Large-Scale Compilation.
ACM Trans. Softw. Eng. Methodol., March, 2024

Towards AI-Assisted Synthesis of Verified Dafny Methods.
Proc. ACM Softw. Eng., 2024

AutoVerus: Automated Proof Generation for Rust Code.
CoRR, 2024

2022
ADA: a tool for visualizing the architectural overview of open-source repositories.
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.
Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension, 2022

2017
An Exploratory Study on Interface Similarities in Code Clones.
Proceedings of the 24th Asia-Pacific Software Engineering Conference Workshops, 2017

Interface Driven Code Clone Detection.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017


  Loading...