Md Rakib Hossain Misu

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

Collaborative distances:

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

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

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

CoRR, 2024

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

CoRR, 2024

2023

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

CoRR, 2023

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