2 papers
cs.SE2026
Scalable Deductive Verification of Data-Level Parallel Programs
Lars B. van den Haak, Anton Wijs, Marieke Huisman
This paper introduces several techniques that improve the scalability of the deductive verification of data-level programs working on arrays and matrices. First of all, we introduc…
cs.LO2026
Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
Ãmer Åakar, Soham Chakraborty, Marieke Huisman +1
Concurrent programming under weak memory concurrency faces substantial challenges to ensure correctness due to program behaviors that cannot be explained by thread interleaving, a.…