Md Rakib Hossain Misu

16 papers A* 1A 1C 1Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
AutoVerus: Automated Proof Generation for Rust Code.
Proc. ACM Program. Lang.
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
2025 A* conf
Automated Proof Generation for Rust Code via Self-Evolution.
ICLR
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
2025 J jnl
DafnyBench: A Benchmark for Formal Software Verification.
Trans. Mach. Learn. Res.
Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
2025 J jnl
Test smell: A parasitic energy consumer in software testing.
Inf. Softw. Technol.
Md Rakib Hossain Misu, Jiawei Li, Adithya Bhattiprolu, Yang Liu, Eduardo Santana de Almeida, Iftekhar Ahmed
2025 J jnl
What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus.
CoRR
Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury
2024 J jnl
AutoVerus: Automated Proof Generation for Rust Code.
CoRR
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
2024 J jnl
Automated Proof Generation for Rust Code via Self-Evolution.
CoRR
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
2024 J jnl
DafnyBench: A Benchmark for Formal Software Verification.
CoRR
Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
2024 J jnl
SourcererJBF: A Java Build Framework For Large-Scale Compilation.
ACM Trans. Softw. Eng. Methodol.
Md Rakib Hossain Misu, Rohan Achar, Cristina V. Lopes
2024 J jnl
Towards AI-Assisted Synthesis of Verified Dafny Methods.
CoRR
Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble
2024 J jnl
Towards AI-Assisted Synthesis of Verified Dafny Methods.
Proc. ACM Softw. Eng.
Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble
2023 J jnl
Test Smell: A Parasitic Energy Consumer in Software Testing.
CoRR
Md Rakib Hossain Misu, Jiawei Li, Adithya Bhattiprolu, Yang Liu, Eduardo Santana de Almeida, Iftekhar Ahmed
2022 — conf
ADA: a tool for visualizing the architectural overview of open-source repositories.
SOAP@PLDI
Md Rakib Hossain Misu, Aleksandar Sasa Janjanin, Zhiqiang Bian, Valentin-Sebastian Burlacu, Naum Anteski
2022 A conf
An exploratory study of analyzing JavaScript online code clones.
ICPC
Md Rakib Hossain Misu, Abdus Satter
2017 — conf
An Exploratory Study on Interface Similarities in Code Clones.
APSEC Workshops
Md Rakib Hossain Misu, Abdus Satter, Kazi Sakib
2017 C conf
Interface Driven Code Clone Detection.
APSEC
Md Rakib Hossain Misu, Kazi Sakib