2 papers
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.…
cs.PL2024
Cage: Hardware-Accelerated Safe WebAssembly
Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt +3
WebAssembly (WASM) is an immensely versatile and increasingly popular compilation target. It executes applications written in several languages (e.g., C/C++) with near-native perfo…