Md Kamal Hossain Chowdhury

According to our database¹, Md Kamal Hossain Chowdhury authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification.

[DOI]

CoRR, April, 2026

2025

Exploring Dynamic Load Balancing Algorithms for Block-Structured Mesh-and-Particle Simulations in AMReX.

[DOI]

CoRR, May, 2025