Marieke Huisman
2 papers · Latest:
Software Engineering
Scalable Deductive Verification of Data-Level Parallel Programs
This paper introduces techniques to significantly improve the scalability and reduce verification time for deductive verification of data-level parallel programs.
2605.13616
Software EngineeringCrash-free Deductive Verifiers
This paper proposes fuzzing to enhance the robustness and reliability of complex deductive verifiers, demonstrated with the AValAnCHE tool.
2604.19448
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.