Md Rakib Hossain Misu

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 9

Top Topics

Clone Detection

Fault Localization

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble
Towards AI-Assisted Synthesis of Verified Dafny Methods. CoRR (2024)
Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble
Towards AI-Assisted Synthesis of Verified Dafny Methods. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
DafnyBench: A Benchmark for Formal Software Verification. CoRR (2024)
Md Rakib Hossain Misu, Rohan Achar, Cristina V. Lopes
SourcererJBF: A Java Build Framework For Large-Scale Compilation. ACM Trans. Softw. Eng. Methodol. 33 (3) (2024)
Md Rakib Hossain Misu, Jiawei Li, Adithya Bhattiprolu, Yang Liu, Eduardo Santana de Almeida, Iftekhar Ahmed
Test Smell: A Parasitic Energy Consumer in Software Testing. CoRR (2023)
Md Rakib Hossain Misu, Aleksandar Sasa Janjanin, Zhiqiang Bian, Valentin-Sebastian Burlacu, Naum Anteski
ADA: a tool for visualizing the architectural overview of open-source repositories. SOAP@PLDI (2022)
Md Rakib Hossain Misu, Abdus Satter
An exploratory study of analyzing JavaScript online code clones. ICPC (2022)
Md Rakib Hossain Misu, Abdus Satter, Kazi Sakib
An Exploratory Study on Interface Similarities in Code Clones. APSEC Workshops (2017)
Md Rakib Hossain Misu, Kazi Sakib
Interface Driven Code Clone Detection. APSEC (2017)