Misu, Md Rakib Hossain

Towards AI-Assisted Synthesis of Verified Dafny Methods

Misu, M. R. H., Lopes, C. V., Ma, I., & Noble, J. (2024) · Proceedings of the ACM on Software Engineering

Logic, programming, and type systemsSoftware Engineering Research

Cited by 38

AutoVerus: Automated Proof Generation for Rust Code

Yang, C., Li, X., Misu, M. R. H., Yao, J., Cui, W., Gong, Y., Hawblitzel, C., Lahiri, S., Lorch, J. R., Lu, S., et al. (2024) · arXiv

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 20

AutoVerus: Automated Proof Generation for Rust Code

Yang, C., Li, X., Misu, M. R. H., Yao, J., Cui, W., Gong, Y., Hawblitzel, C., Lahiri, S., Lorch, J. R., Lu, S., et al. (2025) · Proceedings of the ACM on Programming Languages

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 20

DafnyBench: A Benchmark for Formal Software Verification

Loughridge, C., Sun, Q., Ahrenbach, S., Cassano, F., Sun, C., Sheng, Y., Mudide, A., Misu, M. R. H., Amin, N., & Tegmark, M. (2024) · arXiv

Logic, programming, and type systemsFormal Methods in Verification

Cited by 6

Automated Proof Generation for Rust Code via Self-Evolution

Chen, T., Lu, S., Lu, S., Gong, Y., Yang, C., Li, X., Misu, M. R. H., Yu, H., Duan, N., Cheng, P., et al. (2024) · arXiv

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 1