• Sign in
  • Sign up
conf.researchr.org / Md Rakib Hossain Misu
  • FSE 2024 profile
  • ICFP/SPLASH 2025 profile
  • ICSE 2022 profile
  • PLDI 2022 profile
  • POPL 2025 profile
Md Rakib Hossain Misu

Registered user since Tue 8 Mar 2022

Name:Md Rakib Hossain Misu
Country:United States
Affiliation:University of California Irvine
Personal website: https://mrhmisu.github.io/
X (Twitter): https://x.com/MRHMisu
GitHub: https://github.com/MRHMisu
Research interests:Software Engineering & Programming Languages

Contributions

2025

SPLASH

  • Author of AutoVerus: Automated Proof Generation for Rust Code within the OOPSLA-track

Dafny

  • Author of DafnyBench: A Benchmark for Formal Software Verification within the Dafny 2025-track

2024

ESEC/FSE

  • Author of Towards AI-Assisted Synthesis of Verified Dafny Methods within the Research Papers-track

2022

SOAP

  • Presenter of ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories within the SOAP 2022-track

International Conference on Program Comprehension

  • Author of An Exploratory Study of Analyzing JavaScript Online Code Clones within the Early Research Achievements (ERA)-track
Share
xWed 24 Sep 08:25
using conf.researchr.org (v1.71.1)
Support page
Sign Up